<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1409-2433</journal-id>
<journal-title><![CDATA[Revista de Matemática Teoría y Aplicaciones]]></journal-title>
<abbrev-journal-title><![CDATA[Rev. Mat]]></abbrev-journal-title>
<issn>1409-2433</issn>
<publisher>
<publisher-name><![CDATA[Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica.]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1409-24332017000100001</article-id>
<article-id pub-id-type="doi">10.15517/rmta.v24i1.27745</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Emiretículos y objetos k-finitos]]></article-title>
<article-title xml:lang="en"><![CDATA[Semilattices and k-finite objects]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Acuña-Ortega]]></surname>
<given-names><![CDATA[Osvaldo]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de Costa Rica  Escuela de Matemática]]></institution>
<addr-line><![CDATA[ San José]]></addr-line>
<country>CR</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>06</month>
<year>2017</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2017</year>
</pub-date>
<volume>24</volume>
<numero>1</numero>
<fpage>1</fpage>
<lpage>7</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.sa.cr/scielo.php?script=sci_arttext&amp;pid=S1409-24332017000100001&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.sa.cr/scielo.php?script=sci_abstract&amp;pid=S1409-24332017000100001&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.sa.cr/scielo.php?script=sci_pdf&amp;pid=S1409-24332017000100001&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[ResumenSe prueba que si X es un objeto de un topos elemental entonces las propiedades siguientes son equivalentes: (a) X es K&#8722;finito, (b) para todo semiretículo con uniones binarias B, la diagonal B &#8594;BX tiene un adjunto izquierdo.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[AbstractWe prove that for X &#1013; &#448;E&#448;, E elementary topos, the following properties are equivalent: (a) X is K&#8722;finite, (b) for every upper semilattice B, the diagonal B &#8594;BX has a left adjoint.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[topos]]></kwd>
<kwd lng="es"><![CDATA[objetos k-finitos]]></kwd>
<kwd lng="es"><![CDATA[semiretículos]]></kwd>
<kwd lng="es"><![CDATA[decidibilidad]]></kwd>
<kwd lng="en"><![CDATA[topoi]]></kwd>
<kwd lng="en"><![CDATA[k-finite objects]]></kwd>
<kwd lng="en"><![CDATA[semilattice]]></kwd>
<kwd lng="en"><![CDATA[decidability]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Acuña-Ortega]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<source><![CDATA[Finiteness in Topoi]]></source>
<year>1977</year>
<publisher-loc><![CDATA[Middletown, CT ]]></publisher-loc>
<publisher-name><![CDATA[Wesleyan University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Una nota sobre objetos k-finitos en un topos Booleano con el objeto de los números naturales]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Acuña-Ortega]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<source><![CDATA[Revista de Matemática: Teoría y Aplicaciones]]></source>
<year>2011</year>
<volume>19</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>239-45</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Birkhoff]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Lattice Theory]]></source>
<year>1973</year>
<volume>XXV</volume>
<edition>3rd</edition>
<publisher-loc><![CDATA[Providence RI ]]></publisher-loc>
<publisher-name><![CDATA[American Mathematical Society Colloquium Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[On a characterization of the lattice of all ideals of a Boolean ring]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nachbin]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Fundamenta Mathematicae]]></source>
<year>1949</year>
<volume>36</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>137-42</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
