Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979

J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)9783540102694, 3540102698

Table of contents :
Further remarks on the elementary theory of formal power series rings….Pages 1-9
Elimination of quantifiers for non semi-simple rings of characteristic p….Pages 10-19
The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings….Pages 20-30
Existentially closed modules: Types and prime models….Pages 31-43
Rings of continuous functions: Decision problems….Pages 44-91
Weak partition relations, finite games, and independence results in Peano arithmetic….Pages 92-107
Hensel fields in equal characteristic p>0….Pages 108-116
On polynomials over real closed rings….Pages 117-135
Les corps faiblement algebriquement clos non separablement clos ont la propriete d’independance….Pages 136-162
Horn-theories of abelian groups….Pages 163-173
Two orderings of the class of all countable models of peano arithmetic….Pages 174-185
Ramsey quantifiers in arithmetic….Pages 186-210
Computational complexity of decision problems in elementary number theory….Pages 211-227
Some diophantine nullstellensätze….Pages 228-247
A tree analysis of unprovable combinatorial statements….Pages 248-311
A hierarchy of cuts in models of arithmetic….Pages 312-337
Cofinal extension preserves recursive saturation….Pages 338-345
Some model theory and number theory for models of weak systems of arithmetic….Pages 346-362
Applications of complexity theory to Σ o -definability Problems in arithmetic….Pages 363-369
Minimally saturated models….Pages 370-380
Totally categorical theories: Structural properties and the non-finite axiomatizability….Pages 381-410