Publication:4531084
From MaRDI portal
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
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, 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