| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662688 | Annals of Pure and Applied Logic | 2006 | 8 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
