Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1980

Overview

Editors:
  1. Leszek Pacholski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jedrzej Wierzejewski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages N2-VI
    Download chapter PDF

  2. Further remarks on the elementary theory of formal power series rings

    • J. Becker, J. Denef, L. Lipshitz
    Pages 1-9

  3. Elimination of quantifiers for non semi-simple rings of characteristic p

    • Chantal Berline
    Pages 10-19

  4. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings

    • M. Boffa, A. Macintyre, F. Point
    Pages 20-30

  5. Existentially closed modules: Types and prime models

    • Elisabeth Bouscaren
    Pages 31-43

  6. Rings of continuous functions: Decision problems

    • Gregory Cherlin
    Pages 44-91

  7. Weak partition relations, finite games, and independence results in Peano arithmetic

    • Peter Clote
    Pages 92-107

  8. Hensel fields in equal characteristic p > 0

    • Françoise Delon
    Pages 108-116

  9. On polynomials over real closed rings

    • M. A. Dickmann
    Pages 117-135

  10. Les corps faiblement algebriquement clos non separablement clos ont la propriete d ’independance

    • Jean-Louis Duret
    Pages 136-162

  11. Horn-theories of abelian groups

    • Ulrich Felgner
    Pages 163-173

  12. Two orderings of the class of all countable models of peano arithmetic

    • Petr Hájek, Pavel Pudlák
    Pages 174-185

  13. Ramsey quantifiers in arithmetic

    • Angus Macintyre
    Pages 186-210

  14. Computational complexity of decision problems in elementary number theory

    • Kenneth L. Manders
    Pages 211-227

  15. Some diophantine nullstellensätze

    • Kenneth McKenna
    Pages 228-247

  16. A tree analysis of unprovable combinatorial statements

    • George Mills
    Pages 248-311

  17. A hierarchy of cuts in models of arithmetic

    • J. B. Paris
    Pages 312-337

  18. Cofinal extension preserves recursive saturation

    • C. SmoryÅ„ski, J. Stavi
    Pages 338-345

  19. Some model theory and number theory for models of weak systems of arithmetic

    • Lou van den Dries
    Pages 346-362

  20. Applications of complexity theory to Σo-definability Problems in arithmetic

    • A. J. Wilkie
    Pages 363-369
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation