Large cardinals and definable well-orders, without the GCH.

Sy-David Friedman Philipp Lücke

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

Keyphrases

first order logic
transitive closure
real time
learning algorithm
face recognition
supply chain
expressive power
answer sets
knuth bendix