Buscar
Mostrando ítems 11-20 de 25
Truthmaker maximalism defended again
(Oxford University Press, 2015-01)
In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne (2005, Not every truth has a truthmaker. Analysis 65: 221–4; ...
Nociones de completud
(2013)
Formalización de fundaciones de la matemática y compiladores correctos por construcción
(2019)
Dentro de las teorías fundacionales de la matemática se encuentran la Teoría de Conjuntos y la Teoría de Tipos. La primera es bien conocida en la comunidad matemática; la teoría de tipos además de ser una posible fundación, ...
Sobre a Consistência da Hipótese do Contínuo
(Universidade Federal do TocantinsAraguaínaCURSO::ARAGUAÍNA::PRESENCIAL::LICENCIATURA::MATEMÁTICAAraguaínaGraduação, 2023)
Conservative Translations
(, 2001)
A rejeição do princípio do terceiro excluído e suas consequências na aritmética de Heyting
(Universidade Federal de Minas GeraisUFMG, 2014-08-05)
During the transition from the XIX to the XX century, mathematics got important developments. However, these developments were followed by the discovery of paradoxes, including the known paradoxes of Russell and Cantor, ...
El método de los (L, n)-modelos: una posible respuesta sobre la independencia de la versión a la Paris-Harrington del teorema de Folkman
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasDepartamento de MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2021)
En esta tesis estudiamos la versión de Switzer del método de los (L, n)-modelos, originalmente desarrollado por Shelah como una manera más modelo-teórica de demostrar el teorema de Paris-Harrington, y para encontrar una ...
Frege e as Leis da Aritmética: do ideal de fundamentação ao paradoxo
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Educação - PPGECâmpus São Carlos, 2015-07-08)
Since the end of the nineteenth century and early twentieth century, some scholars
such as Frege, Russell, Dedekind, Wittgenstein, among others, started to seek the
foundations of the mathematics. Specifically, Frege ...
Constructible sets in lattice-valued models
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - MatemáticasFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2023)
We investigate different set-theoretic constructions in Residuated Logic based on Fitting’s
work on Intuitionistic Kripke models of Set Theory.
Firstly, we consider constructable sets within valued models of Set Theory. ...