Miniatura

Fitxers

176007.pdf (513.82 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2020-06-19

Llicència de publicació

cc-by-nc-nd (c) Sandra Berdugo Parada, 2020
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/176007

Non-finite axiomatizability of first-order Peano Arithmetic

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2020, Director: Enrique Casanovas Ruiz-Fornells

Matèries

Teoria de models, Treballs de fi de grau, Teoria de la prova

Matèries (anglès)

Model theory, Bachelor's theses, Proof theory

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

BERDUGO PARADA, Sandra. Non-finite axiomatizability of first-order Peano Arithmetic. [consulta: 23 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/176007]

Exportar metadades

JSON - METS

Compartir registre