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