Full and hat inductive definitions are equivalent in NBG

DOI10.1007/s00153-014-0403-xzbMath1342.03042OpenAlexW1970376600MaRDI QIDQ2257106

Kentaro Sato

Publication date: 23 February 2015

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

Full work available at URL: https://boris.unibe.ch/61786/8/FPLFP.pdf

zbMATH Keywords

fixed pointproof-theoretic strengthinductive definitionstransfinite recursionelementarity of well-foundednesshigher-order number theorysubsystems of Morse-Kelley set theoryvon Neumann-Bernays-Gödel set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Higher-type and set recursion theory (03D65)

Related Items

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts ⋮ Forcing for hat inductive definitions in arithmetic ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ Deflationism beyond arithmetic ⋮ Stage comparison, fixed points, and least fixed points in Kripke-Platek environments ⋮ A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection ⋮ FINITIST AXIOMATIC TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• From hierarchies to well-foundedness
• The strength of extensionality. II: Weak weak set theories without infinity
• Operational set theory and small large cardinals
• The strength of extensionality. I: Weak weak set theories with infinity
• Full operational set theory with unbounded existential quantification and power set
• Set theory. An introduction to independence proofs
• Elementary induction on abstract structures
• Fixed point theories and dependent choice
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• Determinacy of Wadge classes and subsystems of second order arithmetic
• On the relationship between ATR₀ and