Login / Signup
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.
Matteo Viale
Published in:
Bull. Symb. Log. (2008)
Keyphrases
</>
knowledge base
first order logic
graph theory
connected regions
action theories
information retrieval
information technology
special case
complete axiomatization