Baumgartner's conjecture and bounded forcing axioms.

David Asperó Sy-David Friedman Miguel Angel Mota Marcin Sabok

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

Keyphrases

knowledge base
first order logic
real time
real world
machine learning
similarity measure
np hard
asymptotically optimal
continuous functions
complete axiomatization