Mawanda , Mbila-Mambu
[UCL]
(eng)
The aim is to show that Zermelo's Theorem fails in general toposes. A weak form of the well-ordering hypothesis (WOT) and two weak forms of choice (AC) and (ACS) are introduced, in order to give sense to Zermelo's Theorem in non-classical toposes. Toposophical models are constructed to show the non validity of Zermelo's Theorem.
| Bibliographic reference |
Mawanda , Mbila-Mambu. Well-ordering and Choice in Toposes. In: Journal of Pure and Applied Algebra, Vol. 50, no. 2, p. 171-184 (1988) |
| Permanent URL |
http://hdl.handle.net/2078.1/53180 |
