13 search results - page 1 / 3 » aml 2000 |
74
Voted
AML
2008
14 years 11 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
71
Voted
AML
2006
14 years 11 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...
75
Voted
AML
2000
14 years 10 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...
73
Voted
AML
2000
14 years 10 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 ...
70
Voted
AML
2010
14 years 11 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 ...