Admissible extensions of subtheories of second order arithmetic

DOI10.1016/j.apal.2024.103425arXiv2202.03476MaRDI QIDQ6390424

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

03F05: Cut-elimination and normal-form theorems

03E30: Axiomatics of classical set theory and its fragments

03F15: Recursive ordinals and ordinal notations

03F25: Relative consistency and interpretations

03C70: Logic on admissible sets