A hierarchy of hereditarily finite sets

DOI10.1007/s00153-008-0073-7zbMath1153.03030OpenAlexW2130471901MaRDI QIDQ948912

Laurence Kirby

Publication date: 16 October 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-008-0073-7

zbMATH Keywords

hierarchyadjunctionfinite set theoryadduction

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items

Digraph parameters and finite set arithmetic, Ordinal operations on graph representations of sets, Substandard models of finite set theory, Addition and multiplication of sets

Cites Work

• Unnamed Item
• Finitary set theory
• Induction and foundation in the theory of hereditarily finite sets
• Slim models of Zermelo set theory
• Addition and multiplication of sets
• Inner models for set theory—Part I