On the ordered Dedekind real numbers in toposes
by
L.A. Sbardellini and M.E. Coniglio
BibTeX
@MISC{Coniglio_onthe,
author = {L.A. Sbardellini and M.E. Coniglio},
title = {On the ordered Dedekind real numbers in toposes},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper it is shown that the ordered structure of the Dedekind real numbers is effectively homogeneous in any topos with natural numbers object. This result is obtained within the framework of local set theory.
Citations
| 157 | Topos theory - Johnstone - 1977 |
| 150 | Sheaves in Geometry and Logic: A First Introduction to Topos Theory - Lane, S, et al. - 1992 |
| 37 | Slomson, Models and Ultraproducts: an Introduction - Bell, B - 1971 |
| 36 | Toposes and Local Set Theories - Bell - 1988 |
| 2 | The development of categorical logic - Bell - 2005 |
| 2 | Some elementary results in intuitionistic model theory - Veldman, Waaldijk - 1996 |
| 1 | Some results on ordered structures in toposes - Sbardellini, Coniglio |
