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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.apal.2005.05.024 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03F65,54A05 | Discrete mathematics,Combinatorics,Algebra,Type theory,Mathematics | Journal |
Volume | Issue | ISSN |
137 | 1 | 0168-0072 |
Citations | PageRank | References |
7 | 1.19 | 5 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erik Palmgren | 1 | 233 | 43.17 |