Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics.

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