Carregant...
Miniatura

Tipus de document

Treball de fi de grau

Data de publicació

Llicència de publicació

cc-by-nc-nd (c) Joan Florit Rodrı́guez, 2024
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/219762

El teorema de completesa de Solovay

Títol de la revista

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2024, Director: Joan Bagaria

Citació

Citació

FLORIT RODRÍGUEZ, Joan. El teorema de completesa de Solovay. [consulta: 21 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/219762]

Exportar metadades

JSON - METS

Compartir registre