Ultrapowers as sheaves on a category of ultrafilters |
| |
Authors: | Email author" target="_blank">Jonas?EliassonEmail author |
| |
Institution: | (1) Department of Mathematics, Uppsala University, P.O. Box 480, S-751 06 Uppsala, Sweden |
| |
Abstract: | In the paper we investigate the topos of sheaves on a category of ultrafilters. The category is described with the help of the Rudin-Keisler ordering of ultrafilters. It is shown that the topos is Boolean and two-valued and that the axiom of choice does not hold in it. We prove that the internal logic in the topos does not coincide with that in any of the ultrapowers. We also show that internal set theory, an axiomatic nonstandard set theory, can be modeled in the topos.Mathematics Subject Classification (2000): Primary 03G30, 03C20, Secondary 03E05, 03E70, 03H05The author would like to thank the Mittag-Leffler Institute for partial suport. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|