AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS

DOI10.1142/S0219061302000126zbMath1016.03060MaRDI QIDQ4551993

Jeremy Avigad

Publication date: 25 July 2003

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

zbMATH Keywords

Kripke-Platek set theoryordinal notationsordinal analysisfoundation schema

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Recursive ordinals and ordinal notations (03F15) Logic on admissible sets (03C70)

Related Items (1)

Unnamed Item

Cites Work

• On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• A proof-theoretic characterization of the primitive recursive set functions
• The model-theoretic ordinal analysis of theories of predicative strength

This page was built for publication: AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS