Semilinear order property and infinite games

• Autores: Manuel José Simões Loureiro
• Directores de la Tesis: Andrés Cordón Franco (dir. tes.)
• Lectura: En la Universidad de Sevilla ( España ) en 2016
• Idioma: español
• Número de páginas: 157
• Tribunal Calificador de la Tesis: Enrique Casanovas Ruiz-Fornells (presid.) , Francisco Félix Lara Martín (secret.) , Mario de Jesús Pérez Jiménez (voc.) , Margarita Otero Domínguez (voc.) , Manuel Ojeda Aciego (voc.)
• Enlaces
  • Tesis en acceso abierto en: Idus
• Resumen
  • español

    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 el programa de la Matemática inversa (Reverse Mathematics). En primer lugar, se obtienen pruebas directas, formalizables en la Aritmética de segundo orden, de la determinación de los juegos de Lipschitz y Wadge para los primeros niveles de la Jerarquía de diferencias de Hausdorff. A continuación, se determinan los axiomas de existencia suficientes para la formalización de dichas pruebas dentro de los subsistemas clásicos de la Aritmética de segundo orden (fórmula). Finalmente, en algunos casos se muestra que dichos axiomas de existencia son óptimos, probando que resultan ser equivalentes (sobre un subsistema débil adecuado, como RCA0 o ACA0) a las correspondientes formalizaciones de los principios de determinación o de ordenación semilineal. Los principales resultados obtenidos son los siguientes:

    Teorema A. Sobre RCA0 son equivalentes:

    (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos del espacio de Cantor que son diferencia de dos cerrados).

    (fórmula) (la propiedad de ordenación semilineal de la reducibilidadLipschitz entre subconjuntos del espacio de Cantor que son diferencia de dos cerrados).

    Teorema B. Sobre RCA0 son equivalentes:

    (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos abiertos o cerrados del espacio de Baire).

    Teorema C. Sobre ACA0 son equivalentes:

    (fórmula) (el principio de determinación para juegos de Lipschitz entre subconjuntos del espacio de Baire que son simultáneamente abiertos y cerrados).

    (fórmula) (la propiedad de ordenación semilineal de la reducibilidadLipschitzentre subconjuntos del espacio de Baire simultáneamente abiertos y cerrados).

  • English

    In this thesis we analyze the determinacy of the Lipschitz and Wadge games, as well as the tightly related semilinear ordering principle, in the setting of second order arithmetic and of the program of Reverse Mathematics. Firstly, we obtain direct proofs, formalizable in second order arithmetic, of the determinacy of Lipschitz and Wadge games for the first levels of the Hausdorff's hierarchy of differences. Then we determine the set existence axioms needed to formalize such proofs within the classical subsystems of second order arithmetic (fórmula). Finally, in some cases we show that these axioms of existence are optimal, proving that they turn out to be equivalent (over a suitable weak subsystem asRCA0 orACA0) to the corresponding formalization of the principles of determinacy or semilinear ordering. The main results are:

    Theorem A.The following assertions are pairwise equivalent over RCA0:

    (fórmula) (determinacy of Lipschitz games for subsets of the Cantor space which are differences of closed sets).

    (fórmula) (Lipschitz semilinear ordering for subsets of the Cantor space which are differences of closed sets).

    Theorem B.The following assertions are pairwise equivalent over RCA0:

    (fórmula) (determinacy of Lipschitz games for open or closed subsets of the Baire space).

    Theorem C.The following assertions are pairwise equivalent over ACA0:

    (fórmula) (determinacy of Lipschitz games for clopen subsets of the Baire space).

    (fórmula) (Lipschitz semilinear ordering for clopen subsets of the Baire space).