Bagaria, JoanFlorit Rodríguez, Joan2025-03-172025-03-172024-06-10https://hdl.handle.net/2445/219762Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Joan BagariaL’objectiu d’aquest TFG és demostrar de manera exhaustiva i detallada el Teorema de Completesa de Solovay. Per dur-ho a terme es farà una anàlisi detallada de la teoria prèvia necessària per a entendre tant el teorema com la seva demostració, i finalment s’estudiarà aquesta mateixa demostració de manera rigorosa.The goal of this TFG is to demonstrate in a thorough and datailed way the Solovay’s Completeness Theorem. To carry it out it will be done a detailed analysis of the previous theory needed to understand both the theorem and its demonstration, and finally this same demonstration will be studied rigorously.40 p.application/pdfcatcc-by-nc-nd (c) Joan Florit Rodrı́guez, 2024http://creativecommons.org/licenses/by-nc-nd/3.0/es/Lògica matemàticaModalitat (Lògica)AritmèticaTreballs de fi de grauMathematical logicModality (Logic)ArithmeticBachelor's thesesinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess