Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/202971
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Casanovas Ruiz-Fornells, Enrique | - |
dc.contributor.author | Fernández Sánchez, José María | - |
dc.date.accessioned | 2023-10-20T07:36:56Z | - |
dc.date.available | 2023-10-20T07:36:56Z | - |
dc.date.issued | 2023-06-13 | - |
dc.identifier.uri | http://hdl.handle.net/2445/202971 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Enrique Casanovas Ruiz-Fornells | ca |
dc.description.abstract | [en] The goal of this project is to study the axiomatic systems typically used to present two versions of axiomatic set theory: ZF and NBG. Specifically, we will analyze whether some of their axioms are independent of the other ones or consistent with the remaining, being always assumed that the initial theory is consistent. Furthermore, we will also prove various theorems in order to answer the question about whether it is possible to axiomatize ZF or NBG with a finite amount of axioms, being the answer negative for the first and affirmative for the second. We will conclude with a result that asserts that NBG is a conservative extension of ZF, that is, both prove the same theorems regarding sets only. To that end, we will have to first introduce some basic set theory preliminaries, study the Axiom of Foundation and the Cummulative Hierarchy and define the concepts of relativization and absoluteness for formulas. | ca |
dc.format.extent | 61 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | spa | ca |
dc.rights | cc-by-nc-nd (c) autor, 2023 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Lògica matemàtica | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Teoria de models | ca |
dc.subject.classification | Teoria de conjunts | ca |
dc.subject.other | Mathematical logic | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Model theory | en |
dc.subject.other | Set theory | en |
dc.title | Resultados sobre la axiomatización de las teorías de conjuntos ZF y NBG | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_jose_maria_fernandez_sanchez.pdf | Memòria | 940.48 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License