Intuitionistic Fixed Point Theories for Strictly Positive Operators

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-S" /><195::AID-MALQ195>3.0.CO;2-S 10.1002/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-SzbMath1031.03074OpenAlexW2164727095MaRDI 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

zbMATH Keywords

Heyting arithmeticstrictly positive operatorsaccessibility operatorsintuitionistic fixed point theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (6)

Revisiting the conservativity of fixpoints over intuitionistic arithmetic ⋮ Quick cut-elimination for strictly positive cuts ⋮ A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION ⋮ From hierarchies to well-foundedness ⋮ Intuitionistic fixed point theories over set theories ⋮ On Relating Theories: Proof-Theoretical Reduction

Cites Work

• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Proof theory. An introduction
• Unnamed Item

This page was built for publication: Intuitionistic Fixed Point Theories for Strictly Positive Operators