On hereditarily small sets in ZF

M. Randall Holmes

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

We show in ZF (the usual set theory without Choice) that for any set X, the collection of sets Y such that each element of the transitive closure of {Y} is strictly smaller in size than X (the collection of sets hereditarily smaller than X) is a set. This result has been shown by Jech in the case X=ω1 (where the collection under consideration is the set of hereditarily countable sets).

Original languageEnglish
Pages (from-to)228-229
Number of pages2
JournalMathematical Logic Quarterly
Volume60
Issue number3
DOIs
StatePublished - May 2014

Fingerprint

Dive into the research topics of 'On hereditarily small sets in ZF'. Together they form a unique fingerprint.

Cite this