Intuitionistic fixed point theories over set theories

DOI10.1007/S00153-015-0426-YzbMATH Open1380.03073arXiv1312.1133OpenAlexW2056486018MaRDI QIDQ494642FDOQ494642

Authors: Toshiyasu Arai 

Publication date: 1 September 2015

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

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.

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

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

zbMATH Keywords

fixed pointintuitionistic logicconservative extensionstrictly positive

Mathematics Subject Classification ID

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

Cites Work

• Proof theory. 2nd ed
• Fine structure
• Title not available (Why is that?)
• Goodman's theorem and beyond
• Title not available (Why is that?)
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
• Consistency proof via pointwise induction
• 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
• Non-elementary speed-ups in logic calculi
• Title not available (Why is that?)
• On the relationship between ATR₀ and
• Quick cut-elimination for strictly positive cuts

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)