Admissible extensions of subtheories of second order arithmetic
From MaRDI portal
Publication:6390424
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: Admissible extensions of subtheories of second order arithmetic