A few more dissimilarities between second-order arithmetic and set theory

DOI10.1007/S00153-022-00829-3OpenAlexW4284976574MaRDI QIDQ2700817

Kentaro Fujimoto

Publication date: 27 April 2023

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

Full work available at URL: https://doi.org/10.1007/s00153-022-00829-3

zbMATH Keywords

Kripke-Platek set theoryreverse mathematicssecond-order arithmeticclass theorysecond-order set theory

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Full operational set theory with unbounded existential quantification and power set
• Reverse mathematics and well-ordering principles: a pilot study
• Set theory. An introduction to large cardinals
• Elementary induction on abstract structures
• Bar induction and \(\omega\) model reflection
• Short note: least fixed points versus least closed points
• Full and hat inductive definitions are equivalent in NBG
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• Inaccessible cardinals without the axiom of choice
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY
• The next admissible set
• On the relationship between ATR₀ and

This page was built for publication: A few more dissimilarities between second-order arithmetic and set theory