Keywords
Topoi
k-finite objects
natural numbers
teoría de topos
objetos k-finitos
números naturales
k-finite objects
natural numbers
teoría de topos
objetos k-finitos
números naturales
How to Cite
Acuña Ortega, O. (2012). A note on k–finite objects in a boolean topos with the natural numbers object. Revista De Matemática: Teoría Y Aplicaciones, 19(2), 239–245. https://doi.org/10.15517/rmta.v19i2.1336
Abstract
We prove that every $k$-finite object in a boolean topos with nat-ural number object is internally the quotient of a natural number object.
References
Acuña-Ortega, O. (1977) Finiteness in Topoi, Ph. D. Dissertation, Wesleyan University, Middletown, CT.
Acuña-Ortega, O.; Linton, F.E.J. (1979) “Finiteness and decidability I”, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer–Verlag, New York: 80–100.
Sols, I.M. (1975) “Bon ordre dans des nombres naturels dans un topos booléan”, C.R. Acad. Sc. Paris 281: 601–603.
Comments
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Copyright (c) 2012 Revista de Matemática: Teoría y Aplicaciones
Downloads
Download data is not yet available.