Some results on ordered structures in toposes

• Autorzy: Sbardellini L. , Coniglio M.
• Języki publikacji: EN

Abstrakty

EN

A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q;

Słowa kluczowe

EN

structures in toposes

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2006
• Tom: Nr 40
• Strony: 181--198
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Sbardellini L.

autor

Coniglio M.

Bibliografia

• [1] J. L. Bell. Toposes and Local Set Theories. Oxford University Press, 1988.
• [2] J. L. Bell and A. B. Slomson. Models and ultraproducts: an introduction. North-Holland, Amsterdam, 1971.
• [3] J. Lambek and P. J. Scott. Introduction to higher-order categorical logic. Cambridge University Press, 1986.
• [4] S. Mac Lane and I. Moerdijk. Sheaves in geometry and logic: a first introduction to topos theory. Springer-Verlag, New York, 1992.
• [5] A. S. Troelstra and D. van Dalen. Constructivism in mathematics: an introduction.North-Holland, Amsterdam, 1988.
• [6] W. Veldman and F. Waaldijk. Some elementary results in intuitionistic model theory. The Journal of Symbolic Logic, 61:3 (1996), pp. 745-767.