The formulae-as-classes interpretation of constructive set theory
From MaRDI portal
Recommendations
- Characterizing the interpretation of set theory in Martin-Löf type theory
- Realizability for constructive Zermelo-Fraenkel set theory
- Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
- Constructive sets in computable sets
- Functional interpretation of Aczel's constructive set theory
Cited in
(20)- CZF does not have the existence property
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- From the weak to the strong existence property
- On the compatibility between the minimalist foundation and constructive set theory
- scientific article; zbMATH DE number 4012604 (Why is no real title available?)
- Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
- A constructive interpretation of the full set theory
- Characterizing the interpretation of set theory in Martin-Löf type theory
- Monotone inductive definitions in a constructive theory of functions and classes
- Proof theory of constructive systems: inductive types and univalence
- The natural numbers in constructive set theory
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Realizability for constructive Zermelo-Fraenkel set theory
- Stratified and positive comprehension seen as superclass rules over ordinary set theory
- Constructive theory of enumerable species
- scientific article; zbMATH DE number 6307929 (Why is no real title available?)
- scientific article; zbMATH DE number 857449 (Why is no real title available?)
- Heyting-valued interpretations for constructive set theory
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
This page was built for publication: The formulae-as-classes interpretation of constructive set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5435636)
