You are here: MIMS > EPrints
MIMS EPrints

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