Dos Tópicos de Lógica Matemática y sus Fundamentos

Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 34 (1):41-66. (2014)
  Copy   BIBTEX

Abstract

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Los fundamentos onto-lógicos de la metafísica de Alain Badiou: la relación entre ser y ser-ahí.Mikel Varela Pequeño - 2019 - Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 52:139-159.
Lo que nos dio y no nos dio Bourbaki.Enetz Ezenarro - 2017 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 32 (1):25-40.
Lorenzo PEÑA: Rudimentos de Lógica Matemática. [REVIEW]F. Marcelo VÁsconez - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):1245-1248.

Analytics

Added to PP
2022-05-28

Downloads
105 (#154,158)

6 months
36 (#88,008)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Franklin Galindo
Universidad Central de Venezuela

Citations of this work

No citations found.

Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Perfect set properties in models of ZF.Franklin Galindo & Carlos Di Prisco - 2010 - Fundamenta Mathematicae 208 (208):249-262.

Add more references