A note on $k$-finite objects in a boolean topos with the natural numbers object

Fecha

2012-07-01 00:00:00

Tipo

artículo original

Autores

Acuña Ortega, Osvaldo

Título de la revista

ISSN de la revista

Título del volumen

Editor

Resumen

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.Keywords: Topoi, $k$-finite objects, natural numbers.Mathematics Subject Classification: 03G30, 18B25.
Probamos que todo objeto -finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito.Palabras clave: teoría de topos, objetos -finitos, números naturales.Mathematics Subject Classification: 03G30, 18B25.

Descripción

Palabras clave