2006.370: Equalisers of frames in constructive set theory
2006.370: Peter Aczel (2006) Equalisers of frames in constructive set theory.
Full text available as:
 | Postscript - Requires a viewer, such as GSview 364 Kb |
Abstract
In a recent note Erik Palmgren has shown that the category of set-presented formal topologies has coequalisers in a sufficiently strong version of Martin-Lof's Type Theory. Here we get a version of Palmgren's result in a sufficiently strong version of constructive set theory. We prefer to work with the category of set-presented class frames, a category that is equivalent to the opposite of the category of set-presented formal topologies.
| Item Type: | MIMS Preprint |
|---|---|
| Uncontrolled Keywords: | equalizers frames constructive set theory |
| Subjects: | MSC 2000 > 03 Mathematical logic and foundations |
| MIMS number: | 2006.370 |
| Deposited By: | Professor Peter H G Aczel |
| Deposited On: | 20 September 2006 |
Download Statistics: last 4 weeks
Repository Staff Only: edit this item