13 search results - page 1 / 3 » aml 2000 |
AML
2008
13 years 5 months ago
2008
Using GCH, we force the following: There are continuum many simple cardinal characteristics with pairwise different values. Mathematics Subject Classification (2000) 03E17
AML
2006
13 years 5 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
AML
2000
13 years 5 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...
AML
2000
13 years 5 months ago
2000
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
AML
2010
13 years 5 months ago
2010
Abstract We prove that a sequence of sets containing representatives of cupping partners for every nonzero 0 2 enumeration degree cannot have a 0 2 enumeration. We also prove that ...