Constructive set theory and Brouwerian principles

MaRDI QIDQ5310885zbMATHFDO

Authors Michael Rathjen

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/constructive_set_theory_and

zbMATH Keywords

partial combinatory algebraconstructive set theoryBrouwerian principles

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

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)