El teorema de completesa de Solovay

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.