Intuitionistic fixed point theories over set theories

DOI10.1007/s00153-015-0426-yzbMath1380.03073arXiv1312.1133OpenAlexW2056486018MaRDI QIDQ494642

Toshiyasu Arai

Publication date: 1 September 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.1133

zbMATH Keywords

fixed pointintuitionistic logicconservative extensionstrictly positive

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55)

Related Items (1)

Cut-elimination for \(\omega_{1}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quick cut-elimination for strictly positive cuts
• Proof theory. 2nd ed
• Consistency proof via pointwise induction
• Goodman's theorem and beyond
• Some results on cut-elimination, provable well-orderings, induction and reflection
• An intuitionistic fixed point theory
• Notation systems for infinitary derivations
• PROOF THEORY OF WEAK COMPACTNESS
• LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
• CONSERVATIONS OF FIRST-ORDER REFLECTIONS
• Intuitionistic fixed point theories over Heyting arithmetic
• Fine Structure
• Non-elementary speed-ups in logic calculi
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
• On the relationship between ATR₀ and

This page was built for publication: Intuitionistic fixed point theories over set theories