scientific article; zbMATH DE number 3585423
From MaRDI portal
Publication:4154553
zbMATH Open0376.02043MaRDI QIDQ4154553FDOQ4154553
Publication date: 1977
Title of this publication is not available (Why is that?)
Model-theoretic algebra (03C60) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard models (03H99)
Cited In (5)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- The Interpretation Existence Lemma
- Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
- Duality, non-standard elements, and dynamic properties of r.e. sets
- P, NP, Co-NP and weak systems of arithmetic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154553)
