Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
From MaRDI portal
Publication:5253934
DOI10.1007/978-94-007-4435-6_15zbMath1312.03038MaRDI QIDQ5253934
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
Kripke-Platek set theory; type theory; power set axiom; constructive Zermelo-Fraenkel set theory; full separation axiom
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