Transfinite dependent choice and ω-model reflection

DOI10.2178/jsl/1190150155zbMath1017.03035OpenAlexW2090752965MaRDI QIDQ4779657

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

hierarchiesreflection principlessubsystems of analysis\(\omega\)-models

Mathematics Subject Classification ID

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

Related Items (2)

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice

Cites Work

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

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