scientific article; zbMATH DE number 3585423

MaRDI QIDQ4154553zbMATH OpenFDO

Authors A. J. Wilkie

Publication date 1977

Mathematics Subject Classification ID

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)