Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/214769
Title: | A classification of the set-theoretic total recursive functions of KPl |
Author: | Fernández Dejean, Anton |
Director/Tutor: | Joosten, Joost J. Aguilera, Juan Pablo |
Keywords: | Lògica Teoria de conjunts Funcions recursives Teoria de la prova Treballs de fi de màster Logic Set theory Recursive functions Proof theory Master's thesis |
Issue Date: | Jul-2024 |
Abstract: | The set theory KPl, which stands for Kripke-Platek-limit, roughly stipulates that there are unboundedly many admissible sets. Admissible sets are models of the Kripke-Platek set-theory KP which is a very weak fragment of ZFC. In [1], J. Cook and M. Rathjen classify the provably total set functions in KP using a proof system based on an ordinal notation system for the Bachmann-Howard ordinal relativized to a fixed set. In this paper, we adapt this result to the KPl set theory. We consider set functions which are provably total in KPl and Σ-definable by the same formula in any admissible set. We prove that, if f is such a function then, for any set x in the universe, the value f(x) always belongs to an initial segment of L(x), the constructible hierarchy relativized to the transitive closure of x, at a level below the relativized Takeuti-Feferman-Buchholz ordinal (the TFB ordinal is the prooftheoretic ordinal of KPl). To prove this result, we first construct an ordinal notation system based on [2] for KPl relativized to a fixed set that we will use in order to build a logic dependent on this fixed set where we will embed KPl. Thanks to this relativized system, we will be able to bound the value of the function at this fixed set. |
Note: | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Joost J. Joosten and Juan Pablo Aguilera |
URI: | http://hdl.handle.net/2445/214769 |
Appears in Collections: | Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TFM_Fernandez Dejean_Anton.pdf | 612.26 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License