| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662689 | Annals of Pure and Applied Logic | 2006 | 18 Pages |
Abstract
We present an alternative solution to the problem of inductive generation of covers in formal topology by using a restricted form of type universes. These universes are at the same time constructive analogues of regular cardinals and sets of infinitary formulae. The technique of regular universes is also used to construct canonical positivity predicates for inductively generated covers.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
