Maximal and partial points in formal spaces

DOI10.1016/J.APAL.2005.05.024MaRDI QIDQ2575773zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

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

zbMATH Keywords

Type theoryPredicativityDependent choicePoint-free topology

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• On the collection of points of a formal space
• scientific article; zbMATH DE number 202572
• The constructive maximal point space and partial metrizability
• On the formal points of the formal topology of the binary tree
• The constructive maximal point space

Cites work

• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 1302063 (Why is no real title available?)
• scientific article; zbMATH DE number 1795214 (Why is no real title available?)
• Algebraic and fixed point equations over inverse limits of algebras
• Aspects of general topology in constructive set theory
• Constructive completions of ordered sets, groups and fields
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Formal spaces and their effective presentations
• On the collection of points of a formal space
• Representability of locally compact regular spaces by domains and formal spaces
• Some points in formal topology.

Cited in

(12)

• Equivalents of the finitary non-deterministic inductive definitions
• The constructive maximal point space
• 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
• Constructive characterizations of bar subsets

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)