Title

On Hereditarily Small Sets in ZF

Document Type

Article

Publication Date

5-2014

Abstract

We show in (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 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 (where the collection under consideration is the set of hereditarily countable sets).