The Axiom of Choice Is False Intuitionistically (in Most Contexts).

Charles McCarty Stewart Shapiro Ansten Mørch Klev

Published in: Bull. Symb. Log. (2023)

Keyphrases

computer vision
database
special case
inference rules
databases
real world
image processing
clustering algorithm
video sequences
multiresolution
social context