Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Equalisers of frames in constructive set theory Peter Aczel petera@cs:man:ac:uk
 

Summary: Equalisers of frames in constructive set theory
DRAFT
Peter Aczel petera@cs:man:ac:uk
Departments of Mathematics and Computer Science
Manchester University
January 18, 2005
Contents
1 Introduction 1
2 MV-set-bases 2
3 The set-presentation of ^
A 3
4 Proof of Lemma 1 4
1 Introduction
In a recent note Erik Palmgren has shown that the category of set-presented
formal topologies has coequalisers in a suĂciently strong version of Martin-
Lof's type theory.
Here we want to get a version of Palmgren's result in a suĂciently 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. So we want to show that the

  

Source: Aczel, Peter - Departments of Mathematics & Computer Science, University of Manchester

 

Collections: Mathematics