scientific article; zbMATH DE number 4039884

MaRDI QIDQ3778743zbMATH OpenFDO

Authors Antonín Sochor

Publication date 1987

zbMATH Keywords

models of the theory of finite sets

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• A note on recursive models of set theories
• scientific article; zbMATH DE number 3889522
• Bounded finite set theory
• scientific article; zbMATH DE number 4142027
• ∑ n Definable Sets without ∑ n Induction

Cited in

(6)

• A note on recursive models of set theories
• scientific article; zbMATH DE number 3889522 (Why is no real title available?)
• ∑ n Definable Sets without ∑ n Induction
• An induction principle and pigeonhole principles for K-finite sets
• Bounded finite set theory
• Some new double induction and superinduction principles

This page was built for publication:

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