On some peculiar aspects of the constructive theory of point-free spaces
From MaRDI portal
Publication:3583800
DOI10.1002/malq.200910037zbMath1200.03043OpenAlexW1995836454MaRDI QIDQ3583800
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
localeconstructive type theoryindependence resultsformal spaceconstructive set theorytopos logicuniformity principle
Frames, locales (06D22) Consistency and independence results in general topology (54A35) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items (10)
Exact approximations to Stone-Čech compactification ⋮ On Tarski’s fixed point theorem ⋮ Relative formal topology: the binary positivity predicate comes first ⋮ On Small Types in Univalent Foundations ⋮ Overlap Algebras as Almost Discrete Locales ⋮ Unnamed Item ⋮ Topological inductive definitions ⋮ Remarks on the Stone-Čech and Alexandroff compactifications of locales ⋮ Towards formal Baer criteria ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem
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
This page was built for publication: On some peculiar aspects of the constructive theory of point-free spaces
