Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

DOI10.1007/978-94-007-4435-6_15zbMath1312.03038OpenAlexW2144925863MaRDI QIDQ5253934

Michael Rathjen

Publication date: 5 June 2015

Published in: Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_15

zbMATH Keywords

Kripke-Platek set theorytype theorypower set axiomconstructive Zermelo-Fraenkel set theoryfull separation axiom

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (6)

Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ Constructing the constructible universe constructively ⋮ From the weak to the strong existence property ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture

Cites Work

• Type-theoretic interpretation of iterated, strictly positive inductive definitions
• Constructivism in mathematics. An introduction. Volume I
• Proof-theoretic investigations on Kruskal's theorem
• The strength of some Martin-Löf type theories
• Power set recursion
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• CZF and second order arithmetic
• Characterizing the interpretation of set theory in Martin-Löf type theory
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Lifschitz' realizability
• Constructive set theory
• CT 0 is Stronger than CT 0 !
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
• A quasi-intumonistic set theory
• Semi-intuitionistic set theory
• The strength of Mac Lane set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions