scientific article; zbMATH DE number 3585423
From MaRDI portal
Publication:4154553
zbMath0376.02043MaRDI QIDQ4154553
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard models (03H99)
Related Items (4)
Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ P, NP, Co-NP and weak systems of arithmetic ⋮ The Interpretation Existence Lemma
This page was built for publication:
