Realizability for constructive Zermelo-Fraenkel set theory

zbMATH Open1102.03053MaRDI QIDQ5477363FDOQ5477363

Authors: Michael Rathjen 

Publication date: 3 July 2006

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

zbMATH Keywords

constructive set theoryequiconsistencyKleene realizabilityself-validating semantics for CZF

Mathematics Subject Classification ID

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

Cited In (33)

• From the weak to the strong existence property
• Realizability and existence property of a constructive set theory with types
• On some peculiar aspects of the constructive theory of point-free spaces
• Aspects of predicative algebraic set theory. I: Exact completion
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• The cumulative hierarchy and the constructible universe of ZFA
• Domain Theory and Realisability over Scott’s D_∞ in Constructive Set Theory
• Constructive set theory and Brouwerian principles
• The formulae-as-classes interpretation of 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
• Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
• Generalizing realizability and Heyting models for constructive set theory
• Constructive Ackermann's interpretation
• Title not available (Why is that?)
• Realizability and recursive set theory
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
• Choice and independence of premise rules in intuitionistic set theory
• Induction, constructivity, and grounding
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• On Tarski’s fixed point theorem
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Aspects of predicative algebraic set theory. II: Realizability
• CZF does not have the existence property

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)