First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo

DOI10.2307/2695093zbMath0989.03064OpenAlexW2113343895MaRDI QIDQ2758045

Gerhard Jäger

Publication date: 14 July 2002

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

Full work available at URL: https://doi.org/10.2307/2695093

zbMATH Keywords

proof theoryordinal analysisnonmonotone inductive definitionsrecursively inaccessible and Mahlo ordinals

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Inductive definability (03D70)

Related Items (5)

The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories ⋮ Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms ⋮ Reflections on reflections in explicit mathematics ⋮ A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS ⋮ Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe

Cites Work

• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Unnamed Item

This page was built for publication: First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo