arXiv Analytics

Sign in

arXiv:2202.03476 [math.LO]AbstractReferencesReviewsResources

Admissible extensions of subtheories of second order arithmetic

Gerhard Jäger, Michael Rathjen

Published 2022-02-07Version 1

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.

Categories: math.LO
Subjects: 03F05, 03F15, 03F25, 03E30, 03B15, 03C70
Related articles: Most relevant | Search more
arXiv:1410.3649 [math.LO] (Published 2014-10-14)
Categorical characterizations of the natural numbers require primitive recursion
arXiv:1009.3242 [math.LO] (Published 2010-09-16, updated 2010-09-30)
Reverse mathematics and equivalents of the axiom of choice
arXiv:1701.01387 [math.LO] (Published 2017-01-05)
Stability and sparsity in sets of natural numbers

Links

Toolbox