Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
From MaRDI portal
Publication:1919537
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
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
