Large Cardinals and Lightface Definable Well-Orders, without the GCH.

Sy-David Friedman Peter Holy Philipp Lücke

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

Keyphrases

first order logic
databases
decision making
metadata
reinforcement learning
video sequences
transitive closure