Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/176007
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Casanovas Ruiz-Fornells, Enrique | - |
dc.contributor.author | Berdugo Parada, Sandra | - |
dc.date.accessioned | 2021-04-09T07:55:07Z | - |
dc.date.available | 2021-04-09T07:55:07Z | - |
dc.date.issued | 2020-06-19 | - |
dc.identifier.uri | http://hdl.handle.net/2445/176007 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells | ca |
dc.description.abstract | [en] The system of Peano Arithmetic is a system more than enough for proving almost all statements of the natural numbers. We will work with a version of this system adapted to first-order logic, denoted as PA. The aim of this work will be showing that there is no equivalent finitely axiomatizable system. In order to do this, we will introduce some concepts about the complexity of formulas and codification of sequences to prove Ryll-Nardzewski’s theorem, which states that there is no consistent extension of PA finitely axiomatized. | ca |
dc.format.extent | 51 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.rights | cc-by-nc-nd (c) Sandra Berdugo Parada, 2020 | - |
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 | Teoria de models | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Teoria de la prova | ca |
dc.subject.other | Model theory | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Proof theory | en |
dc.title | Non-finite axiomatizability of first-order Peano Arithmetic | 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 | |
---|---|---|---|---|
176007.pdf | Memòria | 513.82 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License