Author(s): J. Becker, J. Denef, L. Lipshitz (auth.), Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie (eds.)
Series: Lecture Notes in Mathematics 834
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1980
Language: English-French
Pages: 412
Tags: Mathematical Logic and Foundations; Algebra
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
