Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/181380
Title: | La consistencia del axioma de elección y la hipótesis generalizada del continuo |
Author: | Martı́nez Martı́nez, Raúl |
Director/Tutor: | Casanovas Ruiz-Fornells, Enrique |
Keywords: | Teoria de conjunts Treballs de fi de grau Lògica matemàtica Axioma d'elecció Set theory Bachelor's theses Mathematical logic Axiom of choice |
Issue Date: | 23-Jan-2021 |
Abstract: | [en] In this work we will prove that the axiom of choice (AC) and the generalized continuum hypothesis (GCH) are consistent with the axioms of Zermelo-Freankel if these are already consistent. For that we will define the concepts of model and relativized formula. With these tools we will be able to give a general proof of relative consistency. Once we have achieved that our purpose will be to find an adequate model so we can apply the general proof and obtain the relative consistency of AC and GCH. The model will be the constructible universe, which is what Gödel originally used to give the consistency proof. |
Note: | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Enrique Casanovas Ruiz-Fornells |
URI: | http://hdl.handle.net/2445/181380 |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_raul_martinerz_martinez.pdf | Memòria | 584.06 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License