Forcing lightface definable well-orders without the GCH.

David Asperó Peter Holy Philipp Lücke

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

transitive closure
artificial intelligence
information systems
answer sets
total order
data mining
computer vision
feature selection
knowledge base
bayesian networks
data structure
pattern recognition
first order logic