K-finite objects and decidability

vol.21 issue1

Regularized functions on the plane and nemytskii operators

author index

subject index

articles search

Home Page

alphabetic serial listing

Services on Demand

Journal

Article

Indicators

Cited by SciELO
Access statistics

Related links

Similars in SciELO

Share

Permalink

Revista de Matemática Teoría y Aplicaciones

Print version ISSN 1409-2433

Abstract

ACUNA ORTEGA, Osvaldo. K-finite objects and decidability. Rev. Mat [online]. 2014, vol.21, n.1, pp.1-10. ISSN 1409-2433.

We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.

Keywords : Topoi; k-finite objects; decidability.

· abstract in Spanish · text in Spanish · Spanish (

pdf )

All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License