scientific article; zbMATH DE number 2236636
From MaRDI portal
Publication:5711887
zbMath1088.03047MaRDI QIDQ5711887
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Ordinal and cardinal numbers (03E10)
Related Items
On the strength of the finite intersection principle, PREDICATIVITY THROUGH TRANSFINITE REFLECTION, The maximal linear extension theorem in second order arithmetic, Ranked structures and arithmetic transfinite recursion