Document type
Bachelor thesisPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/219762
El teorema de completesa de Solovay
Journal Title
Authors
Director/Tutor
Journal ISSN
Volume Title
Related resource
Abstract
L’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.
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.
Description
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Joan Bagaria
Subject (English)
Citation
Collections
Citation
FLORIT RODRÍGUEZ, Joan. El teorema de completesa de Solovay. [consulted: 17 of June of 2026]. Available at: https://hdl.handle.net/2445/219762