El pròxim dijous 7 de maig, el Dipòsit Digital no estarà operatiu de 8:00 a 12:00 h per tasques d'actualització. Disculpeu les molèsties.
El próximo jueves 7 de mayo, el Dipòsit Digital no estará operativo de 8:00 a 12:00 h debido a tareas de actualización. Disculpen las molestias.
Our digital repository will be temporarily unavailable on Thursday, May 7th, from 8:00 a.m. to 12:00 p.m. due to a system update.
 
Miniatura

Fitxers

TFM_Papafilippou Konstantinos.pdf (985.25 KB)

Tipus de document

Treball de fi de màster

Data de publicació

2020-09

Llicència de publicació

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

Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

In this thesis we study Beklemishev’s combinatorial principle Every Worm Dies, EWD which although true, it is unprovable in Peano Arithmetic (PA). The principle talks about sequences of modal formulas, the finiteness of all of them being equivalent to the one-consistency of PA. We present the elements of proof theory at play here and perform two attempts at generalizing this theorem. One is directed towards its relationship with some known fragments of PA while the other aims to see its connection with fragments of second order arithmetic.

Descripció

Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Joost J. Joosten

Matèries

Lògica matemàtica, Aritmètica, Treballs de fi de màster

Matèries (anglès)

Mathematical logic, Arithmetic, Master's theses

Citació

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citació

PAPAFILIPPOU, Konstantinos. Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond. [consulta: 6 de maig de 2026]. [Disponible a: https://hdl.handle.net/2445/170755]

Exportar metadades

JSON - METS

Compartir registre