Enumeration of the adjunctive hierarchy of hereditarily finite sets

Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner

Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of…