-definability at uncountable regular cardinals.

Published in: J. Symb. Log. (2012)

Keyphrases

fixed point
propositional logic
artificial intelligence
high level
image processing
data structure
object recognition
data sets
real world
search engine
image sequences
multi agent
search algorithm
special case