Substandard models of finite set theory

DOI10.1002/MALQ.200910114MaRDI QIDQ3066294zbMATH OpenOpenAlexFDO

Authors Laurence Kirby

Publication date 10 January 2011

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200910114

zbMATH Keywords

adjunctionfinite set theoryhereditarily finite setsstandard modelsubstandard modelsystems of submodels

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• -models of finite set theory
• scientific article; zbMATH DE number 4142027
• scientific article; zbMATH DE number 3855080
• scientific article; zbMATH DE number 3941533
• scientific article; zbMATH DE number 2167511

Cites work

• A hierarchy of hereditarily finite sets
• Addition and multiplication of sets
• Finitary set theory
• Induction and foundation in the theory of hereditarily finite sets
• On interpretations of arithmetic and set theory
• Operating on the universe

Cited in

(4)

• -models of finite set theory
• scientific article; zbMATH DE number 3887675 (Why is no real title available?)
• Ordinal operations on graph representations of sets
• Every countable model of set theory embeds into its own constructible universe

This page was built for publication: Substandard models of finite set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066294)