Admissible extensions of subtheories of second order arithmetic

DOI10.1016/J.APAL.2024.103425MaRDI QIDQ6390424zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger, Michael Rathjen

Publication date 7 February 2022

Full work available at URL https://doi.org/10.1016/j.apal.2024.103425

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Axiomatics of classical set theory and its fragments (03E30) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25) Logic on admissible sets (03C70)

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.

Cited in

(1)

• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).

This page was built for publication: Admissible extensions of subtheories of second order arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6390424)