[Lecture Notes in Mathematics] Cambridge Summer School in Mathematical Logic Volume 337 || A preservation theorem for interpretations
- 作者Mathias, A. R. D.; Rogers, H.
- 文件大小185.14KB
- 发表时间1973
- DOI10.1007/BFb0066793
- 页码618-621
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Minimally saturated modelsPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Ramsey quantifiers in arithmeticPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Cofinal extension preserves recursive saturationPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Some diophantine nullstellensätzePacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Rings of continuous functions: Decision problemsPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || On polynomials over real closed ringsPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Horn-theories of abelian groupsPacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980
[Lecture Notes in Mathematics] Model Theory of Algebra and Arithmetic Volume 834 || Hensel fields in equal characteristic p>0Pacholski, Leszek; Wierzejewski, Jedrzej; Wilkie, Alec J. · 1980