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

DOI10.1007/978-94-007-4435-6_15zbMath1312.03038MaRDI 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 theory; type theory; power set axiom; constructive Zermelo-Fraenkel set theory; full separation axiom

Mathematics Subject Classification ID

03E70: Nonclassical and second-order set theories

03F35: Second- and higher-order arithmetic and fragments

03F50: Metamathematics of constructive systems

Related Items

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

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