Summary: UPPSALA DISSERTATIONS IN MATHEMATICS
Department of Mathematics
Dissertation for the degree of Doctor of Philosophy in mathematical logic presented
at Uppsala University in 2003.
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 Lo´s'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