scientific article; zbMATH DE number 1531928

MaRDI QIDQ4513971zbMATH OpenFDO

Authors J. F. Knight

Publication date 18 June 2001

zbMATH Keywords

completions of PAdegrees of modelsenumerationsmodels of arithmeticScott setssurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Models of arithmetic and set theory (03C62) Theory of numerations, effectively presented structures (03D45) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 3106592
• Arithmetical problems with numbers of special type

Cited in

(4)

• Minimality and completions of PA
• Completions of PA: Models and enumerations of representable sets
• scientific article; zbMATH DE number 2222018 (Why is no real title available?)
• Solovay's theorem cannot be simplified

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 Q4513971)