Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Notes on Constructive Set Theory Peter Aczel
 

Summary: Notes on Constructive Set Theory
DRAFT
Peter Aczel
Manchester
May 20, 1997
Contents
1 Introduction 11
2 Some Axiom Systems 21
2.1 Classical Set Theory . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Intuitionistic Set Theory . . . . . . . . . . . . . . . . . . . . . 22
2.3 Constructive Set Theory . . . . . . . . . . . . . . . . . . . . . 22
2.3.1 CZF 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.2 Constructive Zermelo Fraenkel, CZF . . . . . . . . . . 23
2.3.3 Basic Constructive Set Theory, BCST . . . . . . . . . 23
3 Elementary Mathematics in Constructive Set Theory 31
3.1 Class Notation . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2 Pairing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2.1 Ordered Pairs . . . . . . . . . . . . . . . . . . . . . . . 32
3.2.2 Cartesian Products of Classes . . . . . . . . . . . . . . 32
3.2.3 Relations and Functions between Classes . . . . . . . . 33

  

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

 

Collections: Mathematics