Title of article
On the collection of points of a formal space
Author/Authors
Curi، نويسنده , , Giovanni، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
21
From page
126
To page
146
Abstract
The collection of points of a locally compact regular formal space is shown to be isomorphic to a set in the context of Martin-Lِf type theory. By introducing the notion of uniform formal space, this result is refined and generalized in the subcategory of open formal spaces.
Keywords
(Local) compactness , (Complete) regularity , Uniform formal spaces , Gauge structures , Classes as sets
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443698
Link To Document