Relative predicativity and dependent recursion in second-order set theory and higher-order theories

DOI10.1017/JSL.2014.28MaRDI QIDQ2933671zbMATH OpenOpenAlexFDO

Authors Kentaro Sato

Publication date 5 December 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/61784/1/sat12.pdf

zbMATH Keywords

second-order set theoryhigher-order number theoryautonomous progression of autonomous progressiondependent transfinite recursionrelative predicativity

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Recommendations

• Transfinite dependent choice and ω-model reflection
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• scientific article; zbMATH DE number 2204757
• Universes in metapredicative analysis
• scientific article; zbMATH DE number 1420857

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• From hierarchies to well-foundedness

Cited in

(14)

• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• Classes and truths in set theory
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
• Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
• Minimum models of second-order set theories
• Open determinacy for class games
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• From hierarchies to well-foundedness
• Full and hat inductive definitions are equivalent in NBG
• The exact strength of the class forcing theorem
• Deflationism beyond arithmetic
• A few more dissimilarities between second-order arithmetic and set theory
• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
• FINITIST AXIOMATIC TRUTH

This page was built for publication: Relative predicativity and dependent recursion in second-order set theory and higher-order theories

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