Title of article :
Maximal and partial points in formal spaces
Author/Authors :
Palmgren، نويسنده , , Erik، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
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
Journal title :
Annals of Pure and Applied Logic
