Intuitionistic Fixed Point Theories for Strictly Positive Operators

DOI10.1002/1521-3870(200202)48:2%3C195::AID-MALQ195%3E3.0.CO;2-SMaRDI QIDQ4531084zbMATH OpenOpenAlexFDO

Authors 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%3C195::aid-malq195%3E3.0.co;2-s

zbMATH Keywords

accessibility operatorsHeyting arithmeticintuitionistic fixed point theoriesstrictly positive operators

Mathematics Subject Classification ID

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

Recommendations

• An intuitionistic fixed point theory
• Elementary inductive definitions in HA: From strictly positive towards monotone
• Intuitionistic fixed point theories over Heyting arithmetic
• Intuitionistic fixed point theories over set theories
• Quick cut-elimination for strictly positive cuts

Cites work

• scientific article; zbMATH DE number 1420857 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Proof theory. An introduction

Cited in

(8)

• An intuitionistic fixed point theory
• Intuitionistic fixed point theories over Heyting arithmetic
• On Relating Theories: Proof-Theoretical Reduction
• A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction
• From hierarchies to well-foundedness
• Intuitionistic fixed point theories over set theories
• Revisiting the conservativity of fixpoints over intuitionistic arithmetic
• Quick cut-elimination for strictly positive cuts

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531084)