Constructive set theory and Brouwerian principles
From MaRDI portal
Publication:5310885
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
Cited in
(15)- scientific article; zbMATH DE number 5064954 (Why is no real title available?)
- Exercising Nuprl's open-endedness
- A note on Bar Induction in Constructive Set Theory
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Realizability for constructive Zermelo-Fraenkel set theory
- Constructive strong regularity and the extension property of a compactification
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- scientific article; zbMATH DE number 5994597 (Why is no real title available?)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- Lifschitz realizability as a topological construction
- Realizability Models Separating Various Fan Theorems
- Validating Brouwer's continuity principle for numbers using named exceptions
- Classical descriptive set theory as a refinement of effective descriptive set theory
- scientific article; zbMATH DE number 6307929 (Why is no real title available?)
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)