scientific article; zbMATH DE number 1870413
From MaRDI portal
Publication:4793024
zbMath1040.03043MaRDI QIDQ4793024
Publication date: 18 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items (4)
Graph Minors and Parameterized Algorithm Design ⋮ Independence of Ramsey theorem variants using $\varepsilon _0$ ⋮ The metamathematics of ergodic theory ⋮ A Fast-Growing Sequence Inspired by TREE(k)
This page was built for publication:
