Admissible extensions of subtheories of second order arithmetic

From MaRDI portal
Revision as of 10:28, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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