Intuitionistic fixed point theories over set theories

2013/12/04 by Toshiyau Arai, Arai, Toshiyau
Computer Science · Mathematics · #03F99 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Numerical Methods and Algorithms

paper · pdf · doi:10.48550/arxiv.1312.1133

openalex publication_date 2013/12/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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

Citations

• Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory

Related

• Revisiting the conservativity of fixpoints over intuitionistic arithmetic
• The Essence of Intuitive Set Theory
• Extending the extensional level of the Minimalist Foundation to axiomatic set theories
• The independence of premise rule in intuitionistic set theories
• Supervaluations, truth, and intuitionistic logic