Constructive set theory and Brouwerian principles
From MaRDI portal
Publication:5310885
zbMATH Open1124.03034MaRDI QIDQ5310885FDOQ5310885
Authors: Michael Rathjen 
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_set_theory_and
Recommendations
- Realizability for constructive Zermelo-Fraenkel set theory
- A note on Bar Induction in Constructive Set Theory
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)
Cited In (15)
- Lifschitz realizability as a topological construction
- Exercising Nuprl's open-endedness
- Title not available (Why is that?)
- A note on Bar Induction in Constructive Set Theory
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Validating Brouwer's continuity principle for numbers using named exceptions
- Classical descriptive set theory as a refinement of effective descriptive set theory
- Realizability for constructive Zermelo-Fraenkel set theory
- Title not available (Why is that?)
- Realizability Models Separating Various Fan Theorems
- Title not available (Why is that?)
- Constructive strong regularity and the extension property of a compactification
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
This page was built for publication: Constructive set theory and Brouwerian principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310885)
