Buscar
Mostrando ítems 1-10 de 26451
K-finite decidable objects and finite cardinals in an arbitrary toposObjetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2012)
Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
(Jagiellonian University, 2014-05)
We consider the Σ1 0-fragment of second-order logic over the vocabulary h+, ×, 0, 1, <, S1, ..., Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semi-algebraic sets. We show that, in this ...
K-finite decidable objects and finite cardinals in an arbitrary toposObjetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(2012-03-08)
In an elemetary topos $\varepsilo$, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that $X \longrightarrow 1$ ...
K-finite decidable objects and finite cardinals in an arbitrary toposObjetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(2012-03-08)
In an elemetary topos $\varepsilo$, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that $X \longrightarrow 1$ ...
El decide
El decide
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2014)
Objetos k-finitos decidibles y cardinales finitos en un topos abitrario
(Centro de Investigaciones en Matemática Pura y Aplicada (CIMPA) y Escuela de Matemática, San José, Costa Rica., 2012)
EUTANASIA, ENTRE LA VIDA Y LA MUERTE ¿QUIÉN Y QUÉ LA DECIDE?
(Universidad Santo Tomas de Aquino Seccional Tunja, 2014-05-30)
K-finite objects and decidabilityObjetos K-finitos y decidibilidad
(2014-01-01)
We study the k-finite and decidable objects in an elementary topos. We prove some results concerning k-finite and decidable objects.