Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Relating first-order set theories, toposes and categories of classes
 

Summary: Relating first-order set theories, toposes
and categories of classes
Steve Awodey 1
Department of Philosophy, Carnegie Mellon University, Pittsburgh, USA
Carsten Butz 2
IT University, Copenhagen, Denmark
Alex Simpson 3
LFCS, School of Informatics, University of Edinburgh, UK
Thomas Streicher 4
Fachbereich Mathematik, Technische Universitšat Darmstadt, Germany
DRAFT OF 25 October 2007
THIS IS A DRAFT OF AN UNFISHED PAPER. IT HAS BEEN PLACED
ON-LINE IN SUPPORT OF OUR ACCOMPANYING BSL ANNOUNCE-
MENT (PUBLISHED SEPTEMBER 2007).
THE CURRENT STATUS OF THIS PAPER IS AS FOLLOWS. §12, MISS-
ING. ALL OTHER SECTIONS: MATHEMATICAL CONTENTS IN PLACE,
BUT MUCH TIDYING, INSERTING OF REFERENCES, ETC., REMAINS
TO BE DONE.
Contents
1 Introduction 3

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics