Maximal and partial points in formal spaces
From MaRDI portal
Publication:2575773
DOI10.1016/J.APAL.2005.05.024zbMATH Open1079.03060OpenAlexW2067863523MaRDI QIDQ2575773FDOQ2575773
Publication date: 6 December 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.024
Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some points in formal topology.
- Formal spaces and their effective presentations
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Aspects of general topology in constructive set theory
- On the collection of points of a formal space
- Algebraic and fixed point equations over inverse limits of algebras
- Constructive completions of ordered sets, groups and fields
- Representability of locally compact regular spaces by domains and formal spaces
Cited In (10)
- Equivalents of the finitary non-deterministic inductive definitions
- Maximal point spaces of closed interval posets
- Topological inductive definitions
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
- Generalized geometric theories and set-generated classes
- Exact approximations to Stone-ฤech compactification
- Aspects of general topology in constructive set theory
- On the collection of points of a formal space
- Non-deterministic inductive definitions
- Regular universes and formal spaces
Recommendations
This page was built for publication: Maximal and partial points in formal spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575773)
