Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
UPPSALA DISSERTATIONS IN MATHEMATICS Ultrasheaves
 

Summary: UPPSALA DISSERTATIONS IN MATHEMATICS
30
Ultrasheaves
Jonas Eliasson
Department of Mathematics
Uppsala University
UPPSALA 2003
Dissertation for the degree of Doctor of Philosophy in mathematical logic presented
at Uppsala University in 2003.
Abstract
Eliasson, J. 2003: Ultrasheaves. Uppsala dissertations in Mathematics 30. 54 pp.
Uppsala. ISBN 91-506-1716-8.
This thesis treats ultrasheaves, sheaves on the category of ultrafilters.
In the classical theory of ultrapowers, you start with an ultrafilter (I, U) and,
given a structure S, you construct the ultrapower SI
/U. The fundamental result
is Los's theorem for ultrapowers giving the connection between what formulas are
satisfied in the ultrapower and in the original structure S. In this thesis we instead
start with the category of ultrafilters (denoted U). On this category we build the
topos Sh(U) of sheaves on U (the ultrasheaves), which we think of as generalized

  

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

 

Collections: Mathematics