Realizability for constructive Zermelo-Fraenkel set theory
From MaRDI portal
Publication:5477363
Recommendations
- Constructive set theory and Brouwerian principles
- The formulae-as-classes interpretation of constructive set theory
- Realizability and existence property of a constructive set theory with types
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Generalizing realizability and Heyting models for constructive set theory
Cited in
(33)- 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
- Realizability and existence property of a constructive set theory with types
- Aspects of predicative algebraic set theory. I: Exact completion
- On some peculiar aspects of the constructive theory of point-free spaces
- The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
- The cumulative hierarchy and the constructible universe of ZFA
- Constructive set theory and Brouwerian principles
- The formulae-as-classes interpretation of constructive set theory
- Domain Theory and Realisability over Scott’s D∞ in Constructive Set Theory
- Lifschitz realizability as a topological construction
- Realisability for infinitary intuitionistic set theory
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
- Implementing fragments of ZFC within an r.e. Universe
- The complexity of completions in partial combinatory algebra
- Variations on realizability: realizing the propositional axiom of choice
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Ordinal analysis of partial combinatory algebras
- Generalizing realizability and Heyting models for constructive set theory
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
- Constructive Ackermann's interpretation
- scientific article; zbMATH DE number 832104 (Why is no real title available?)
- Realizability and recursive set theory
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- Induction, constructivity, and grounding
- Choice and independence of premise rules in intuitionistic set theory
- On Tarski’s fixed point theorem
- Aspects of predicative algebraic set theory. II: Realizability
This page was built for publication: Realizability for constructive Zermelo-Fraenkel set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477363)
