Bounded finite set theory

DOI10.1002/MALQ.202000056MaRDI QIDQ6047677zbMATH OpenOpenAlexFDO

Authors Laurence Kirby

Publication date 12 September 2023

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

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

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 1163985
• scientific article; zbMATH DE number 5778051
• scientific article; zbMATH DE number 4039884
• Model theory of bounded arithmetic with applications to independence results
• Bounded Induction and Satisfaction Classes

Cites work

• Addition and multiplication of sets
• Digraph parameters and finite set arithmetic
• Finitary set theory
• Finite mathematics.
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• Induction and foundation in the theory of hereditarily finite sets
• On interpretations of arithmetic and set theory
• On interpretations of bounded arithmetic and bounded set theory
• On the axiom of union
• Ordinal exponentiations of sets
• Ordinal operations on graph representations of sets
• Some problems in logic and number theory, and their connections
• The Number of Full Sets with n Elements

Cited in

(9)

• Wholly \((o)\)-bounded sets
• Extremal Finite Set Theory
• scientific article; zbMATH DE number 3889588 (Why is no real title available?)
• scientific article; zbMATH DE number 4039884 (Why is no real title available?)
• scientific article; zbMATH DE number 1163985 (Why is no real title available?)
• scientific article; zbMATH DE number 1863393 (Why is no real title available?)
• Finite sets and frege structures
• scientific article; zbMATH DE number 7158385 (Why is no real title available?)
• Finite-tight sets

This page was built for publication: Bounded finite set theory

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