Buscar
Mostrando ítems 31-33 de 33
Tesis Doctoral
Extensiones de fragmentos de la Aritmética
(2003)
El presente trabajo se enmarca dentro del campo de estudio de los Modelos de la Aritmética de Peano: PA. En líneas generales, se desarrolla un estudio sistemático de Fragmentos de la Aritmética empleando como metodología ...
Tesis Doctoral
Optimization of high-throughput real-time processes in physics reconstruction
(2019-11-29)
La presente tesis se ha desarrollado en colaboración entre la Universidad de Sevilla y la Organización Europea para la Investigación Nuclear, CERN. El detector LHCb es uno de los cuatro grandes detectores situados en ...
Tesis Doctoral
Semilinear order property and infinite games
(2016-01-22)
En este trabajo se analiza la determinación de juegos de Lipschitz y Wadge, junto con la propiedad de ordenación semilineal, estrechamente relacionada con estos juegos, en el contexto de la Aritmética de segundo orden y ...