Carregant...
Tipus de document
Treball de fi de màsterData de publicació
Llicència de publicació
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 (anglès)
Citació
Citació
PAPAFILIPPOU, Konstantinos. Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond. [consulta: 25 de febrer de 2026]. [Disponible a: https://hdl.handle.net/2445/170755]