The Recursively Mahlo Property in Second Order Arithmetic

DOI10.1002/malq.19960420106zbMath0836.03032OpenAlexW2046497718MaRDI QIDQ4868241

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

admissible setKripke-Platek set theory\(\beta\)-modelsecond order arithmeticMahlo ordinalsuperjump

Mathematics Subject Classification ID

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

Related Items

Well-Ordering Principles in Proof Theory and Reverse Mathematics, Set-theoretic reflection is equivalent to induction over well-founded classes, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), On the mathematical and foundational significance of the uncountable, The constructive Hilbert program and the limits of Martin-Löf type theory

Cites Work

• Set theory. An introduction to large cardinals
• Unnamed Item