Systems of explicit mathematics with non-constructive \(\mu\)-operator. II

DOI10.1016/0168-0072(95)00028-3zbMath0868.03026OpenAlexW4213356241MaRDI QIDQ1919537

Gerhard Jäger, Solomon Feferman

Publication date: 19 August 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(95)00028-3

zbMATH Keywords

conservative extensionexplicit mathematicsproof-theoretic analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Wellordering proofs for metapredicative Mahlo, Second order theories with ordinals and elementary comprehension, Realization of analysis into Explicit Mathematics, Theories with self-application and computational complexity., The Operational Perspective: Three Routes, Universes in explicit mathematics, Explicit mathematics: power types and overloading, Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms, EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS, THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES, Realisability in weak systems of explicit mathematics, The unfolding of non-finitist arithmetic, The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, Reflections on reflections in explicit mathematics, Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe, Universes over Frege structures

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Totality in applicative theories
• Second order theories with ordinals and elementary comprehension
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item