Graduate studies at Western
Journal of Mathematical Logic 3 (01):67-83 (2003)
|Abstract||We present some new set and class theoretic independence results from ZFC and NBGC that are particularly simple and close to the primitives of membership and equality (see sections 4,5). They are shown to be equivalent to familiar small large cardinal hypotheses. We modify these independendent statements in order to give an example of a sentence in set theory with 5 quantifiers which is independent of ZFC (see section 6). It is known that all 3 quantifier sentences are decided in a weak fragment of ZF without power set (see [Fr02a]).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Fabio G. Cozman (2012). Sets of Probability Distributions, Independence, and Convexity. Synthese 186 (2):577-600.
D. Bellé & F. Parlamento (2006). Truth in V for Ǝ ∀∀-Sentences Is Decidable. Journal of Symbolic Logic 71 (4):1200 - 1222.
Thomas Weston (1976). Kreisel, the Continuum Hypothesis and Second Order Set Theory. Journal of Philosophical Logic 5 (2):281 - 298.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen (1991). The Härtig Quantifier: A Survey. Journal of Symbolic Logic 56 (4):1153-1183.
Itay Ben-Yaacov (2003). Discouraging Results for Ultraimaginary Independence Theory. Journal of Symbolic Logic 68 (3):846-850.
Saharon Shelah (1980). Independence Results. Journal of Symbolic Logic 45 (3):563-573.
Amir Leshem & Menachem Magidor (1999). The Independence of Δ1n. Journal of Symbolic Logic 64 (1):350 - 362.
Shaughan Lavine (1991). Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory. Journal of Symbolic Logic 56 (4):1290-1316.
Added to index2009-01-28
Total downloads3 ( #213,434 of 734,580 )
Recent downloads (6 months)1 ( #61,087 of 734,580 )
How can I increase my downloads?