On inverse Goodstein sequences
From MaRDI portal
Publication:6514923
arXiv2312.06542MaRDI QIDQ6514923FDOQ6514923
Authors: Patrick Uftring 
Foundations of classical theories (including reverse mathematics) (03B30) Ordinal and cardinal numbers (03E10) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
This page was built for publication: On inverse Goodstein sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6514923)
