DOS TÓPICOS DE LÓGICA MATEMÁTICA Y SUS FUNDAMENTOS
Palabras clave:
Church, completitud, propiedad-partición-polarizadaResumen
El objetivo de este artículo es presentar dos tópicos de Lógica matemáticay sus fundamentos: El primer tópico es una actualización de la demostraciónde Church del Teorema de completitud de Gödel para la Lógicade primer orden, la cual aparece en su texto “Introduction to MathematicalLogic” (1956) y usa el procedimiento efectivo de Forma normal de Skolem;el segundo tópico es una demostración de que la propiedad de partición(tipo Ramsey) del espacio de Baire llamada “Propiedad de partición polarizada”es falsa en el Modelo básico de Cohen.
Abstract: The aim of this paper is to present two topics of mathematicallogic and foundations: The first topic is an update of the Church’s demonstrationof the Gödel’s completeness Theorem for First-Order Logic,which appears in his text “Introduction to Mathematical Logic” (1956) anduses the effective procedure of Skolem normal form; the second topic is ademonstration that the partition property (Ramsey type) of the Baire spacecalled “polarized partition property” is false in the basic Cohen model.
