Formal Baire space in constructive set theory

MaRDI QIDQ4981443zbMATH OpenFDO

Authors Giovanni Curi, Michael Rathjen

Publication date 24 June 2014

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65) Frames, locales (06D22) Baire category, Baire spaces (54E52)

Recommendations

• Topological inductive definitions
• Aspects of general topology in constructive set theory
• Constructive characterizations of bar subsets
• scientific article; zbMATH DE number 202572
• Inductively generated formal topologies.

Cited in

(8)

• Extensive forms and set-theoretic forms
• Aspects of general topology in constructive set theory
• Regular universes and formal spaces
• The Vitali covering theorem in constructive mathematics
• scientific article; zbMATH DE number 3900745 (Why is no real title available?)
• A realizability semantics for inductive formal topologies, Church's thesis and axiom of choice
• On Small Types in Univalent Foundations
• Constructive characterizations of bar subsets

This page was built for publication: Formal Baire space in constructive set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4981443)