Abstract
We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.
Similar content being viewed by others
REFERENCES
D. Mirimanov, “Les antinomies de Russell et de Burali-Forti et le probléme fondamental de la théorie des ensembles,” L’Enseignment Math., 19 (1917), 37–52.
J. von Neumann, “Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre, ” J. Reine Angew. Math., 160 (1929), 227–241.
E. Zermelo, “Über Grenzzahlen und Mengenbereiche,” Fund. Math., 16 (1930), 29–47.
W. Sierpiński and A. Tarski, “Sur une propriété caracteristique des nombres inaccessibles,” Fund. Math., 15 (1930), 292–300.
J. Shepherdson, “Inner models for set theory. I,” J. Symbolic Logic, 16 (1951), 161–190, “II,” J. Symbolic Logic, 17 (1952), 225–237, “III,” J. Symbolic Logic, 18 (1953), 145–167.
A. Tarski, “Über unerreichbare Kardinalzahlen,” Fund. Math., 30 (1938), 68–89.
K. Kuratowski and A. Mostowski, Set Theory, PWN, Warszawa, 1967; Russian translation: Mir, Moscow, 1970.
T. Jech, Lectures in Set Theory, Springer-Verlag, Berlin, 1971; Russian translation: Set Theory and the Method of Forcing, Mir, Moscow, 1973.
T. Jech, Set Theory, Springer-Verlag, Berlin, 2003.
R. Goldblatt, Topoi: the Categorial Analysis of Logic, North-Holland, Amsterdam, 1979; Russian translation: Mir, Moscow, 1983.
S. MacLane, Categories for the Working Mathematician, Springer-Verlag, Berlin, 1971.
T. Forster, Set Theory with a Universal Set, Oxford Univ. Press, New York, 1995.
M. R. Holmes, Elementary Set Theory with a Universal Set, Academia-Bruylant, Louvain-la-Neuve, 1998.
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 323–333.
Original Russian Text Copyright © 2005 by E. I. Bunina, V. K. Zakharov.
Rights and permissions
About this article
Cite this article
Bunina, E.I., Zakharov, V.K. Canonical form of Tarski sets in Zermelo-Fraenkel set theory. Math Notes 77, 297–306 (2005). https://doi.org/10.1007/s11006-005-0030-2
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11006-005-0030-2