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 [1 ed.] 9780387102696, 0-387-10269-8 [DJVU]

154 61 3MB

English-French Pages 412 [428] Year 1980

Report DMCA / Copyright

DOWNLOAD DJVU FILE

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

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 [1 ed.] 9780387102696, 0-387-10269-8 [DJVU]

  • 0 0 0
  • Gefällt Ihnen dieses papier und der download? Sie können Ihre eigene PDF-Datei in wenigen Minuten kostenlos online veröffentlichen! Anmelden
Papiere empfehlen
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 [1 ed.] 9783540102694, 3540102698
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 [1 ed.] 9783540102694, 3540102698

121 18 2MB Read more

Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 [1 ed.] 3540119612, 9783540119616, 0387119612, 9780387119618
Category Theory: Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 [1 ed.] 3540119612, 9783540119616, 0387119612, 9780387119618

104 0 11MB Read more

Measure Theory and its Applications: Proceedings of a Conference held at Sherbrooke, Québec, Canada, June 7–18, 1982 [1 ed.] 9780387127033, 0-387-12703-8
Measure Theory and its Applications: Proceedings of a Conference held at Sherbrooke, Québec, Canada, June 7–18, 1982 [1 ed.] 9780387127033, 0-387-12703-8

108 44 2MB Read more

Chapter 1 Theory and Applications of Transmission Lines - Part 2
Chapter 1 Theory and Applications of Transmission Lines - Part 2

0 0 5MB Read more

Turbulence and Navier Stokes Equations: Proceedings of the Conference Held at the University of Paris-Sud Orsay June 10–13 1975 [1 ed.] 9780387080604, 0387080600
Turbulence and Navier Stokes Equations: Proceedings of the Conference Held at the University of Paris-Sud Orsay June 10–13 1975 [1 ed.] 9780387080604, 0387080600

97 37 1MB Read more

Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach April 25 – May 1, 1976 [1 ed.] 9780387080697, 0-387-08069-4
Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach April 25 – May 1, 1976 [1 ed.] 9780387080697, 0-387-08069-4

116 76 2MB Read more

Turbulence and Navier Stokes Equations: Proceedings of the Conference Held at the University of Paris-Sud Orsay June 10–13 1975 [1 ed.] 3540080600, 9783540080602
Turbulence and Navier Stokes Equations: Proceedings of the Conference Held at the University of Paris-Sud Orsay June 10–13 1975 [1 ed.] 3540080600, 9783540080602

105 8 1MB Read more

Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach April 25 – May 1, 1976 [1 ed.] 9780387080697, 0-387-08069-4
Constructive Theory of Functions of Several Variables: Proceedings of a Conference Held at Oberwolfach April 25 – May 1, 1976 [1 ed.] 9780387080697, 0-387-08069-4

109 64 2MB Read more

The Theory of Magic
The Theory of Magic

0 0 25MB Read more

Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland September 19–23, 1977 [1 ed.] 3540084428, 9783540084426
Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland September 19–23, 1977 [1 ed.] 3540084428, 9783540084426

107 91 6MB Read more

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree Cookies