Admissible extensions of subtheories of second order arithmetic

DOI10.1016/j.apal.2024.103425arXiv2202.03476OpenAlexW4393282626MaRDI 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

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)