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

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