The natural numbers in constructive set theory

DOI10.1002/malq.200710036zbMath1134.03040OpenAlexW2066072993MaRDI QIDQ5448619

Michael Rathjen

Publication date: 7 March 2008

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

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

zbMATH Keywords

proof-theoretic strengthconstructive set theoryfunctional interpretationnatural number objectrecursively saturated models

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items

Constructive Ackermann's interpretation, Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory, Extending constructive operational set theory by impredicative principles

Cites Work

• Unnamed Item
• Unnamed Item