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

Description

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