On some peculiar aspects of the constructive theory of point-free spaces

DOI10.1002/malq.200910037zbMath1200.03043MaRDI QIDQ3583800

Giovanni Curi

Publication date: 18 August 2010

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200910037

zbMATH Keywords

locale; constructive type theory; independence results; formal space; constructive set theory; topos logic; uniformity principle

Mathematics Subject Classification ID

06D22: Frames, locales

54A35: Consistency and independence results in general topology

03F65: Other constructive mathematics

03F50: Metamathematics of constructive systems

Related Items

Topological inductive definitions, Exact approximations to Stone-Čech compactification, Remarks on the Stone-Čech and Alexandroff compactifications of locales, Relative formal topology: the binary positivity predicate comes first

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects of predicative algebraic set theory. II: Realizability
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• Exact approximations to Stone-Čech compactification
• The Gleason cover of a topos. I
• Inductively generated formal topologies.
• Aspects of general topology in constructive set theory
• Heyting-valued interpretations for constructive set theory
• On the existence of Stone-Čech compactification
• ABOUT MODEST SETS
• A logical approach to abstract algebra
• Forcing in intuitionistic systems without power-set
• An intuitionistic proof of Tychonoff's theorem
• Formal topologies on the set of first-order formulae
• Pretopologies and completeness proofs