On comparability in a topos

Diaconescu, Radu

doi:10.1090/S0002-9939-1986-0857927-9

On comparability in a topos
HTML articles powered by AMS MathViewer

by Radu Diaconescu PDF

Proc. Amer. Math. Soc. 98 (1986), 389-393 Request permission

Abstract:

While studying the category of "finite" sets associated to a nonstandard model of arithmetic [4], it became apparent that the law of trichotomy plays an important role in that context. The object of this note is to point out the strength of the obvious variants of trichotomy in a general topos. At it turns out even its mildest form (COMP) is quite restrictive, the usual variants (M-COMP, E-COMP) force the topos to be equivalent to a category of sets with AC.

References

Michael Barr and Robert Paré, Molecular toposes, J. Pure Appl. Algebra 17 (1980), no. 2, 127–152. MR 567064, DOI 10.1016/0022-4049(80)90080-8
D. van Dalen, H. C. Doets, and H. C. M. de Swart, Sets: naïve, axiomatic and applied, International Series in Pure and Applied Mathematics, vol. 106, Pergamon Press, Inc., Elmsford, N.Y., 1978. A basic compendium with exercises for use in set theory for nonlogicians, working and teaching mathematicians and students; Translated from the Dutch. MR 519515
Radu Diaconescu, Axiom of choice and complementation, Proc. Amer. Math. Soc. 51 (1975), 176–178. MR 373893, DOI 10.1090/S0002-9939-1975-0373893-X
R. Diaconescu and L. A. S. Kirby, Models of arithmetic and categories with finiteness conditions, Ann. Pure Appl. Logic 35 (1987), no. 2, 123–148. MR 897386, DOI 10.1016/0168-0072(87)90059-5
P. T. Johnstone, Topos theory, London Mathematical Society Monographs, Vol. 10, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1977. MR 0470019
Herman Rubin and Jean E. Rubin, Equivalents of the axiom of choice, North-Holland Publishing Co., Amsterdam, 1963. MR 0153590