scientific article; zbMATH DE number 23426
From MaRDI portal
Publication:3981173
zbMATH Open0745.03031MaRDI QIDQ3981173
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
A Note on Definability and Approximations ⋮ 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)
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)
