Title of article
Maximal and partial points in formal spaces
Author/Authors
Palmgren، نويسنده , , Erik، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
8
From page
291
To page
298
Abstract
The class of points in a set-presented formal topology is a set, if all points are maximal. To prove this constructively a strengthening of the dependent choice principle to infinite well-founded trees is used.
Keywords
Dependent choice , Point-free topology , Type theory , Predicativity
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443710
Link To Document