Some Results on Ordered Structures in Toposes. - Luís A. Sbardellini; Marcelo E. Coniglio (Reports Math. Log., 2006)