Transfinite dependent choice and ω-model reflection

DOI10.2178/JSL/1190150155MaRDI QIDQ4779657zbMATH OpenOpenAlexFDO

Authors Christian Rüede

Publication date 24 August 2003

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

Full work available at URL https://doi.org/10.2178/jsl/1190150155

zbMATH Keywords

\(\omega\)-modelshierarchiesreflection principlessubsystems of analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
• scientific article; zbMATH DE number 1215496
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Thinning operators and \(\Pi_4\)-reflection
• scientific article; zbMATH DE number 193575

Cites work

• Fixed point theories and dependent choice
• Reverse mathematics and ordinal exponentiation
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• The strength of Martin-Löf type theory with a superuniverse. I

Cited in

(5)

• The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
• Transfinite update procedures for predicative systems of analysis
• Relative predicativity and dependent recursion in second-order set theory and higher-order theories
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• A model of second-order arithmetic satisfying AC but not DC

This page was built for publication: Transfinite dependent choice and ω-model reflection

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