Intuitionistic Fixed Point Theories for Strictly Positive Operators
From MaRDI portal
Publication:4531084
DOI<195::AID-MALQ195>3.0.CO;2-S 10.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-SzbMath1031.03074MaRDI QIDQ4531084
Christian Rüede, Thomas Strahm
Publication date: 1 March 2004
Full work available at URL: https://doi.org/10.1002/1521-3870(200202)48:2<195::aid-malq195>3.0.co;2-s
Heyting arithmetic; strictly positive operators; accessibility operators; intuitionistic fixed point theories
03F30: First-order arithmetic and fragments
03F50: Metamathematics of constructive systems
03F55: Intuitionistic mathematics
Related Items
A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION, Revisiting the conservativity of fixpoints over intuitionistic arithmetic, From hierarchies to well-foundedness, Intuitionistic fixed point theories over set theories, Quick cut-elimination for strictly positive cuts, On Relating Theories: Proof-Theoretical Reduction
Cites Work