The Recursively Mahlo Property in Second Order Arithmetic

DOI10.1002/MALQ.19960420106MaRDI QIDQ4868241zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 6 March 1996

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420106

zbMATH Keywords

\(\beta\)-modeladmissible setKripke-Platek set theoryMahlo ordinalsecond order arithmeticsuperjump

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Ordinal notations based on a weakly Mahlo cardinal
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
• Ordinal diagrams for recursively Mahlo universes
• Iterating the recursively Mahlo operations

Cites work

• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• Set theory. An introduction to large cardinals

Cited in

(8)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Incompleteness and jump hierarchies
• On the mathematical and foundational significance of the uncountable
• The maximal linear extension theorem in second order arithmetic
• The constructive Hilbert program and the limits of Martin-Löf type theory

This page was built for publication: The Recursively Mahlo Property in Second Order Arithmetic

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