scientific article; zbMATH DE number 23426

MaRDI QIDQ3981173zbMATH OpenFDO

Authors Perry Smith

Publication date 26 June 1992

zbMATH Keywords

definabilitymodels of arithmetic

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Interpolation, preservation, definability (03C40) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Cited in

(5)

• Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)
• A Note on Definability and Approximations
• scientific article; zbMATH DE number 4055587 (Why is no real title available?)
• scientific article; zbMATH DE number 622016 (Why is no real title available?)
• scientific article; zbMATH DE number 1418435 (Why is no real title available?)

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