Admissible extensions of subtheories of second order arithmetic
Logic
2023-06-23 v3
Abstract
In this paper we study admissible extensions of several theories T of reverse mathematics. The idea is that in such an extension the structure M = (N,S,\in) of the natural numbers N and collection of sets of natural numbers S has to obey the axioms of T while simultaneously one also has a set-theoretic world with transfinite levels erected on top of M governed by the axioms of Kripke-Platek set theory, KP.
Keywords
Cite
@article{arxiv.2202.03476,
title = {Admissible extensions of subtheories of second order arithmetic},
author = {Gerhard Jäger and Michael Rathjen},
journal= {arXiv preprint arXiv:2202.03476},
year = {2023}
}