scientific article
From MaRDI portal
Publication:3927238
zbMath0473.03048MaRDI QIDQ3927238
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
accessibilitysecond order arithmeticself-iterating schemes of ordinal diagramsuniform inductive definition
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
This page was built for publication: