# name
Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond

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

# metadata.dc.description.abstract[].value
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.

# metadata.dc.rights[].value
cc by-nc-nd (c) Papafilippou, Konstantinos, 2020

# metadata.dc.source[].value
Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

# metadata.dc.title[].value
Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond