Intuitionistic fixed point theories over set theories

DOI10.1007/S00153-015-0426-YMaRDI QIDQ494642zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: In this paper we show that the intuitionistic fixed point theory FiX^{i}(X) over set theories T is a conservative extension of T if T can manipulate finite sequences and has the full foundation schema.

Recommendations

• Intuitionistic fixed point theories over Heyting arithmetic
• Intuitionistic set theory
• An intuitionistic fixed point theory
• scientific article; zbMATH DE number 3841848
• On the quantificational logic of intuitionistic set theory
• An intensional fixed point theory over first order arithmetic
• The intuitionistic alternative set theory
• Sets, Topoi and Intuitionism
• Extensional realizability for intuitionistic set theory
• Transference theorems and intuitionistic set theory

Cites work

• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 2051382 (Why is no real title available?)
• An intuitionistic fixed point theory
• CONSERVATIONS OF FIRST-ORDER REFLECTIONS
• Consistency proof via pointwise induction
• Fine structure
• Goodman's theorem and beyond
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
• Intuitionistic fixed point theories over Heyting arithmetic
• Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory
• Non-elementary speed-ups in logic calculi
• Notation systems for infinitary derivations
• On the relationship between ATR₀ and
• Proof theory of weak compactness
• Proof theory. 2nd ed
• Quick cut-elimination for strictly positive cuts
• Some results on cut-elimination, provable well-orderings, induction and reflection

Cited in

(9)

• On the crispness of \(\omega\) and arithmetic with a bisimulation in a constructive naive set theory
• Intuitionistic fixed point theories over Heyting arithmetic
• Globalization of intuitionistic set theory
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
• Cut-elimination for \(\omega_{1}\)
• Intuitionistic sets and ordinals
• The intuitionistic alternative set theory
• An intuitionistic fixed point theory
• Transference theorems and intuitionistic set theory

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

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