On the collection of points of a formal space (Q2575767)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the collection of points of a formal space |
scientific article |
Statements
On the collection of points of a formal space (English)
0 references
6 December 2005
0 references
The paper deals with formal spaces in a range of constructive settings. It is shown that for any formal space \(S\) belonging to some important class of formal spaces (such as locally compact regular formal spaces), the collection Pt\((S)\) of the points of \(S\) is isomorphic to a set. The proof is independent from the constructive foundation adopted, and the proofs that the constructions of the considered classes of points indeed yield sets may be formulated in terms of E. Bishop's naive set and subset theory.
0 references
classes as sets
0 references
uniform formal spaces
0 references
gauge structures
0 references
(complete) regularity
0 references
(local) compactness
0 references