Abstract
In this chapter, we shall construct various models of Set Theory in which the Axiom of Choice fails. In particular, we shall construct a model in which C(ℵ0,2) fails, and another one in which a cardinal \(\mathfrak {m}\) exists such that \(\mathfrak {m}^{2} < [\mathfrak {m}]^{2}\). These somewhat strange models are constructed in a similar way to models of ZF (see the cumulative hierarchy introduced in Chapter 3). However, instead of starting with the empty set (in order to build the cumulative hierarchy) we start with a set of atoms and define a certain group \(G\)of permutations of these atoms. Roughly speaking, a set x is in the model if x is “stable” under certain subgroups \(H \subseteq G\) (i.e., for all permutations \(\pi \in H\), πx=x). In this way we can make sure that some particular sets (e.g., choice functions for a given family in the model) do not belong to the model. Unfortunately, since we have to introduce atoms to construct these models, we do not get models of ZF; however, using the Jech–Sochor Embedding Theorem 17.2, we can embed arbitrarily large fragments of these models into models of ZF, which is sufficient for our purposes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ulrich Felgner, John K. Truss: The independence of the prime ideal theorem from the order-extension principle. J. Symb. Log. 64, 199–215 (1999)
Adolf Fraenkel: Der Begriff “definit” und die Unabhängigkeit des Auswahlaxioms. Sitz.ber. Preuss. Akad. Wiss. Berl. Phys. - Math. Kl. 21, 253–257 (1922) (see [24] for a translation into English)
Adolf Fraenkel: Über die Ordnungsfähigkeit beliebiger Mengen. Sitz.ber. Preuss. Akad. Wiss. Berl. Phys. - Math. Kl. 29, 90–91 (1928)
Adolf Fraenkel: Gelöste und ungelöste Probleme im Umkreis des Auswahlprinzips. Atti del congresso internationale dei matematici, Bologna, 3–10 Settembre 1928, Vol. II, pp. 255–259. Bologna (1930)
Adolf Fraenkel: Sur l’axiome du choix. Enseign. Math. 34, 32–51 (1935)
Adolf Fraenkel: Über eine abgeschwächte Fassung des Auswahlaxioms. J. Symb. Log. 2, 1–25 (1937)
Lorenz Halbeisen: Vergleiche Zwischen Unendlichen Kardinalzahlen in Einer Mengenlehre Ohne Auswahlaxiom. Diplomarbeit, University of Zürich (Switzerland) (1990)
Lorenz Halbeisen, Saharon Shelah: Consequences of arithmetic for set theory. J. Symb. Log. 59, 30–40 (1994)
Lorenz Halbeisen, Saharon Shelah: Relations between some cardinals in the absence of the axiom of choice. Bull. Symb. Log. 7, 237–261 (2001)
James D. Halpern: The independence of the axiom of choice from the Boolean prime ideal theorem. Fundam. Math. 55, 57–66 (1964)
James D. Halpern: On a question of Tarski and a maximal theorem of Kurepa. Pac. J. Math. 41, 111–121 (1972)
James D. Halpern, Azriel Lévy: The Boolean prime ideal theorem does not imply the Axiom of Choice. In: Axiomatic Set Theory, Dana S. Scott (ed.). Proceedings of Symposia in Pure Mathematics, vol. XIII, Part I, pp. 83–134. Am. Math. Soc., Providence (1971)
Thomas Jech: The Axiom of Choice. Studies in Logic and the Foundations of Mathematics, vol. 75. North-Holland, Amsterdam (1973)
Hans Läuchli: Auswahlaxiom in der Algebra. Comment. Math. Helv. 37, 1–18 (1962)
Hans Läuchli: The independence of the ordering principle from a restricted axiom of choice. Fundam. Math. 54, 31–43 (1964)
Azriel Lévy: Axioms of multiple choice. Fundam. Math. 50, 475–483 (1961)
Azriel Lévy: The Fraenkel–Mostowski method for independence proofs in set theory. In: The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, J.W. Addison, L. Henkin, A. Tarski (eds.). Studies in Logic and the Foundation of Mathematics, pp. 221–228. North-Holland, Amsterdam (1965)
Adolf Lindenbaum, Andrzej Mostowski: Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen. C. R. Séances Soc. Sci. et des Lettres de Varsovie, Cl. III 31, 27–32 (1938)
Elliott Mendelson: The independence of a weak axiom of choice. J. Symb. Log. 21, 350–366 (1956)
Andrzej Mostowski: Über den Begriff einer endlichen Menge. C. R. Séances Soc. Sci. et des Lettres de Varsovie, Cl. III 31, 13–20 (1938)
Andrzej Mostowski: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. Fundam. Math. 32, 201–252 (1939)
Andrzej Mostowski: Axiom of choice for finite sets. Fundam. Math. 33, 137–168 (1945)
Ernst Specker: Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Z. Math. Log. Grundl. Math. 3, 173–210 (1957)
Jean van Heijenoort: From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Source Books in the History of Science. Harvard University Press, Cambridge (1967)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer-Verlag London Limited
About this chapter
Cite this chapter
Halbeisen, L.J. (2012). Models of Set Theory with Atoms. In: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, London. https://doi.org/10.1007/978-1-4471-2173-2_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2173-2_7
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2172-5
Online ISBN: 978-1-4471-2173-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)