Conference proceedings
© 1980

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

Editors:

Leszek Pacholski,
Jedrzej Wierzejewski,
Alec J. Wilkie

Leszek Pacholski

View editor publications

You can also search for this editor in PubMed Google Scholar
Jedrzej Wierzejewski

View editor publications

You can also search for this editor in PubMed Google Scholar
Alec J. Wilkie

View editor publications

You can also search for this editor in PubMed Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 834)

9634 Accesses
115 Citations

Sections

Table of contents
Keywords
Bibliographic Information

eBook USD 44.99

Price excludes VAT (USA)

Softcover Book USD 59.00

Price excludes VAT (USA)

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

Front Matter

Pages N2-VI

PDF
Further remarks on the elementary theory of formal power series rings
- J. Becker, J. Denef, L. Lipshitz
Pages 1-9
Elimination of quantifiers for non semi-simple rings of characteristic p
- Chantal Berline
Pages 10-19
The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings
- M. Boffa, A. Macintyre, F. Point
Pages 20-30
Existentially closed modules: Types and prime models
- Elisabeth Bouscaren
Pages 31-43
Rings of continuous functions: Decision problems
- Gregory Cherlin
Pages 44-91
Weak partition relations, finite games, and independence results in Peano arithmetic
- Peter Clote
Pages 92-107
Hensel fields in equal characteristic p > 0
- Françoise Delon
Pages 108-116
On polynomials over real closed rings
- M. A. Dickmann
Pages 117-135
Les corps faiblement algebriquement clos non separablement clos ont la propriete d ’independance
- Jean-Louis Duret
Pages 136-162
Horn-theories of abelian groups
- Ulrich Felgner
Pages 163-173
Two orderings of the class of all countable models of peano arithmetic
- Petr Hájek, Pavel Pudlák
Pages 174-185
Ramsey quantifiers in arithmetic
- Angus Macintyre
Pages 186-210
Computational complexity of decision problems in elementary number theory
- Kenneth L. Manders
Pages 211-227
Some diophantine nullstellensätze
- Kenneth McKenna
Pages 228-247
A tree analysis of unprovable combinatorial statements
- George Mills
Pages 248-311
A hierarchy of cuts in models of arithmetic
- J. B. Paris
Pages 312-337
Cofinal extension preserves recursive saturation
- C. Smoryński, J. Stavi
Pages 338-345
Some model theory and number theory for models of weak systems of arithmetic
- Lou van den Dries
Pages 346-362
Applications of complexity theory to Σo-definability Problems in arithmetic
- A. J. Wilkie
Pages 363-369

Keywords

Arithmetic
Modell (Math. Logik)
algebra
differential equation
minimum
model theory

Bibliographic Information

Book Title: Model Theory of Algebra and Arithmetic
Book Subtitle: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
Editors: Leszek Pacholski, Jedrzej Wierzejewski, Alec J. Wilkie
Series Title: Lecture Notes in Mathematics
DOI: https://doi.org/10.1007/BFb0090155
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1980
Softcover ISBN: 978-3-540-10269-4Published: 01 November 1980
eBook ISBN: 978-3-540-38393-2Published: 15 November 2006
Series ISSN: 0075-8434
Series E-ISSN: 1617-9692
Edition Number: 1
Number of Pages: VIII, 412
Topics: Mathematical Logic and Foundations, Algebra

Access via your institution

eBook USD 44.99

Price excludes VAT (USA)

Softcover Book USD 59.00

Price excludes VAT (USA)

Learn about institutional subscriptions