scientific article; zbMATH DE number 7183897
From MaRDI portal
Publication:5222077
zbMath1432.03135MaRDI QIDQ5222077
Publication date: 30 March 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Tanaka's theorem revisited ⋮ Fixed points of self-embeddings of models of arithmetic ⋮ Categorical characterizations of the natural numbers require primitive recursion
This page was built for publication:
