Abstract
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already existing set of a single new element drawn from the already existing sets. The structure of the lowest levels of this hierarchy is examined, and some results are obtained about the cardinalities of levels of the hierarchy.
Similar content being viewed by others
References
Givant S., Tarski A.: Peano arithmetic and the Zermelo-like theory of sets with finite ranks. Not. Am. Math. Soc. 77T-E51, A-437 (1977)
Kirby L.: Addition and multiplication of sets. Math. Log. Q. 53(1), 52–65 (2007)
Kirby, L.: Finitary set theory. Notre Dame J. Formal Log. (to appear)
Mathias A.R.D.: Slim models of Zermelo set theory. J. Symb. Log. 66(2), 487–496 (2001)
Previale F.: Induction and foundation in the theory of the hereditarily finite sets. Arch. Math. Log. 33, 213–241 (1994)
Shepherdson J.C.: Inner models for set theory—Part I. J. Symb. Log. 16(3), 161–190 (1951)
Tait W.W.: Finitism. J. Philos. 78(9), 524–546 (1981)
Tarski A.: Sur les ensembles finis. Fundam. Math. 6, 45–95 (1924)
Wolfram S.: A New Kind of Science. Wolfram Media, Champaign (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kirby, L. A hierarchy of hereditarily finite sets. Arch. Math. Logic 47, 143–157 (2008). https://doi.org/10.1007/s00153-008-0073-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-008-0073-7