Published by Springer

ISBN 10: 0306110660 ISBN 13: 9780306110665

**New**
**Hardcover**

Quantity Available: 1

From: Secondsource Books Inc. (Bolton, ON, Canada)

**Item Description: **Springer. Hardcover. Book Condition: New. 0306110660 **NEW** Book is in excellent condition, binding tight, pages crisp & clean. No remainder marks. Shipped with delivery confirmation inside US. *gc BN-Q2-57. Bookseller Inventory # SKU12182014-2170

More Information About This Seller | Ask Bookseller a Question 1.

Published by Springer (2000)

ISBN 10: 0306110660 ISBN 13: 9780306110665

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2000. Hardcover. Book Condition: New. 2000. This item is printed on demand. Bookseller Inventory # DADAX0306110660

More Information About This Seller | Ask Bookseller a Question 2.

Published by Springer (2000)

ISBN 10: 0306110660 ISBN 13: 9780306110665

**New**
**Hardcover**

Quantity Available: 1

From: Irish Booksellers (Rumford, ME, U.S.A.)

**Item Description: **Springer, 2000. Hardcover. Book Condition: New. book. Bookseller Inventory # 0306110660

More Information About This Seller | Ask Bookseller a Question 3.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**Used**

Quantity Available: 1

From: Nearfine Books (Brooklyn, NY, U.S.A.)

**Item Description: **Springer, 1996. Book Condition: very good. Gently used. Expect delivery in 2-3 weeks. Bookseller Inventory # 9780306110399-3

More Information About This Seller | Ask Bookseller a Question 4.

Published by Springer (2000)

ISBN 10: 0306110660 ISBN 13: 9780306110665

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2000. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # SONG0306110660

More Information About This Seller | Ask Bookseller a Question 5.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 1996. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # SONG0306110393

More Information About This Seller | Ask Bookseller a Question 6.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 1996. Hardcover. Book Condition: New. 1996. This item is printed on demand. Bookseller Inventory # DADAX0306110393

More Information About This Seller | Ask Bookseller a Question 7.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2001. Hardcover. Book Condition: New. 2001. This item is printed on demand. Bookseller Inventory # DADAX0306110687

More Information About This Seller | Ask Bookseller a Question 8.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: Irish Booksellers (Rumford, ME, U.S.A.)

**Item Description: **Springer, 2001. Hardcover. Book Condition: New. book. Bookseller Inventory # 0306110687

More Information About This Seller | Ask Bookseller a Question 9.

Published by Springer

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**
**First Edition**

Quantity Available: 1

From: Kennys Bookshop and Art Galleries Ltd. (Galway, Ireland)

**Item Description: **Springer. Book Condition: New. Deals with the theory of valued fields and mutli-valued fields. This work shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prufer rings that correspond to Boolean and near Boolean families of valuation rings. Series: Siberian School of Algebra and Logic. Num Pages: 270 pages, biography. BIC Classification: PBF; PBH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 18. Weight in Grams: 1270. . 2001. 2001st Edition. Hardcover. . . . . Bookseller Inventory # V9780306110689

More Information About This Seller | Ask Bookseller a Question 10.

Published by Springer

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: Kennys Bookstore (Olney, MD, U.S.A.)

**Item Description: **Springer. Book Condition: New. Deals with the theory of valued fields and mutli-valued fields. This work shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prufer rings that correspond to Boolean and near Boolean families of valuation rings. Series: Siberian School of Algebra and Logic. Num Pages: 270 pages, biography. BIC Classification: PBF; PBH. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 18. Weight in Grams: 1270. . 2001. 2001st Edition. Hardcover. . . . . Bookseller Inventory # V9780306110689

More Information About This Seller | Ask Bookseller a Question 11.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: English-Book-Service Mannheim (Mannheim, Germany)

**Item Description: **Springer, 2001. Book Condition: New. Bookseller Inventory # EA9780306110689

More Information About This Seller | Ask Bookseller a Question 12.

Published by Springer Science+Business Media (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**

Quantity Available: > 20

From: PBShop (Secaucus, NJ, U.S.A.)

Print on Demand

**Item Description: **Springer Science+Business Media, 1996. HRD. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # I1-9780306110399

More Information About This Seller | Ask Bookseller a Question 13.

Published by Springer Science+Business Media (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**

Quantity Available: > 20

From: Books2Anywhere (Fairford, GLOS, United Kingdom)

Print on Demand

**Item Description: **Springer Science+Business Media, 1996. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # I1-9780306110399

More Information About This Seller | Ask Bookseller a Question 14.

Published by Springer Aug 2001 (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Print on Demand

**Item Description: **Springer Aug 2001, 2001. Buch. Book Condition: Neu. 235x155x21 mm. This item is printed on demand - Print on Demand Neuware - For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable. The book deals with the theory of valued fields and mutli-valued fields. The theory of Prüfer rings is discussed from the `geometric' point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prüfer rings that correspond to Boolean and near Boolean families of valuation rings. Also, algebraic and model-theoretic properties of multi-valued fields with near Boolean families of valuation rings satisfying the local-global principle are studied. It is important that this principle is elementary, i.e., it can be expressed in the language of predicate calculus. The most important results obtained in the book include a criterion for the elementarity of an embedding of a multi-valued field and a criterion for the elementary equivalence for multi-valued fields from the class defined by the additional natural elementary conditions (absolute unramification, maximality and almost continuity of local elementary properties). The book concludes with a brief chapter discussing the bibliographic references available on the material presented, and a short history of the major developments within the field. 284 pp. Englisch. Bookseller Inventory # 9780306110689

More Information About This Seller | Ask Bookseller a Question 15.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 15

From: English-Book-Service Mannheim (Mannheim, Germany)

Print on Demand

**Item Description: **Springer, 1996. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9780306110399

More Information About This Seller | Ask Bookseller a Question 16.

Published by Springer Apr 1996 (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Print on Demand

**Item Description: **Springer Apr 1996, 1996. Buch. Book Condition: Neu. 235x155x20 mm. This item is printed on demand - Print on Demand Titel. - In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types. 284 pp. Englisch. Bookseller Inventory # 9780306110399

More Information About This Seller | Ask Bookseller a Question 17.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 1

From: Herb Tandree Philosophy Books (Stroud, GLOS, United Kingdom)

**Item Description: **Springer, 1996. Hardback. Book Condition: NEW. 9780306110399 Hardback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0268690

More Information About This Seller | Ask Bookseller a Question 18.

Published by Springer Science+Business Media, United States (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

Print on Demand

**Item Description: **Springer Science+Business Media, United States, 1996. Hardback. Book Condition: New. 1996 ed.. 236 x 157 mm. Language: English . Brand New Book ***** Print on Demand *****.In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Godel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory s development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types. Bookseller Inventory # APC9780306110399

More Information About This Seller | Ask Bookseller a Question 19.

Published by Springer-Verlag New York Inc., United States (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**
**Paperback**

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

Print on Demand

**Item Description: **Springer-Verlag New York Inc., United States, 2012. Paperback. Book Condition: New. 235 x 155 mm. Language: English . Brand New Book ***** Print on Demand *****.For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable. The book deals with the theory of valued fields and mutli-valued fields. The theory of Prufer rings is discussed from the geometric point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prufer rings that correspond to Boolean and near Boolean families of valuation rings. Also, algebraic and model-theoretic properties of multi-valued fields with near Boolean families of valuation rings satisfying the local-global principle are studied. It is important that this principle is elementary, i.e., it can be expressed in the language of predicate calculus. The most important results obtained in the book include a criterion for the elementarity of an embedding of a multi-valued field and a criterion for the elementary equivalence for multi-valued fields from the class defined by the additional natural elementary conditions (absolute unramification, maximality and almost continuity of local elementary properties). The book concludes with a brief chapter discussing the bibliographic references available on the material presented, and a short history of the major developments within the field. Softcover reprint of the original 1st ed. 2001. Bookseller Inventory # AAV9781461354895

More Information About This Seller | Ask Bookseller a Question 20.

Published by Springer-Verlag New York Inc. (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**

Quantity Available: > 20

From: Books2Anywhere (Fairford, GLOS, United Kingdom)

Print on Demand

**Item Description: **Springer-Verlag New York Inc., 2012. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9781461354895

More Information About This Seller | Ask Bookseller a Question 21.

Published by Springer Science+Business Media 1996-04-30 (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 10

From: Blackwell's (Oxford, OX, United Kingdom)

**Item Description: **Springer Science+Business Media 1996-04-30, 1996. hardback. Book Condition: New. Bookseller Inventory # 9780306110399

More Information About This Seller | Ask Bookseller a Question 22.

Published by Springer-Verlag New York Inc. (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**

Quantity Available: > 20

From: PBShop (Secaucus, NJ, U.S.A.)

Print on Demand

**Item Description: **Springer-Verlag New York Inc., 2012. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9781461354895

More Information About This Seller | Ask Bookseller a Question 23.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

**New**
**Hardcover**

Quantity Available: 1

From: Irish Booksellers (Rumford, ME, U.S.A.)

**Item Description: **Springer, 1996. Hardcover. Book Condition: New. book. Bookseller Inventory # 0306110393

More Information About This Seller | Ask Bookseller a Question 24.

Published by Springer (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**
**Softcover**

Quantity Available: 5

From: English-Book-Service Mannheim (Mannheim, Germany)

Print on Demand

**Item Description: **Springer, 2012. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # KP9781461354895

More Information About This Seller | Ask Bookseller a Question 25.

Published by Springer Sep 2012 (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**
**Taschenbuch**

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Print on Demand

**Item Description: **Springer Sep 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x mm. This item is printed on demand - Print on Demand Neuware - For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable. The book deals with the theory of valued fields and mutli-valued fields. The theory of Prüfer rings is discussed from the `geometric' point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to distinguish two important subfamilies of Prüfer rings that correspond to Boolean and near Boolean families of valuation rings. Also, algebraic and model-theoretic properties of multi-valued fields with near Boolean families of valuation rings satisfying the local-global principle are studied. It is important that this principle is elementary, i.e., it can be expressed in the language of predicate calculus. The most important results obtained in the book include a criterion for the elementarity of an embedding of a multi-valued field and a criterion for the elementary equivalence for multi-valued fields from the class defined by the additional natural elementary conditions (absolute unramification, maximality and almost continuity of local elementary properties). The book concludes with a brief chapter discussing the bibliographic references available on the material presented, and a short history of the major developments within the field. 270 pp. Englisch. Bookseller Inventory # 9781461354895

More Information About This Seller | Ask Bookseller a Question 26.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: Herb Tandree Philosophy Books (Stroud, GLOS, United Kingdom)

**Item Description: **Springer, 2001. Hardback. Book Condition: NEW. 9780306110689 Hardback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0268701

More Information About This Seller | Ask Bookseller a Question 27.

Published by Springer (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

**New**
**Paperback**

Quantity Available: 1

From: Herb Tandree Philosophy Books (Stroud, GLOS, United Kingdom)

**Item Description: **Springer, 2012. Paperback. Book Condition: NEW. 9781461354895 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0301808

More Information About This Seller | Ask Bookseller a Question 28.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

**New**
**Hardcover**

Quantity Available: 1

From: Ergodebooks (RICHMOND, TX, U.S.A.)

Print on Demand

**Item Description: **Springer, 2001. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # SONG0306110687

More Information About This Seller | Ask Bookseller a Question 29.

Published by Springer-Verlag New York Inc., United States (2012)

ISBN 10: 1461369320 ISBN 13: 9781461369325

**New**
**Paperback**

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

**Item Description: **Springer-Verlag New York Inc., United States, 2012. Paperback. Book Condition: New. 235 x 155 mm. Language: English . Brand New Book. The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues). The main themes are the existence of recursive models and applications to fields, algebras, and ordered sets (Ershov), the existence of decidable prime models (Goncharov, Harrington), the existence of decidable saturated models (Morley), the existence of decidable homogeneous models (Goncharov and Peretyat kin), properties of the Ehrenfeucht theories (Millar, Ash, and Reed), the theory of algorithmic dimension and conditions of autostability (Goncharov, Ash, Shore, Khusainov, Ventsov, and others), and the theory of computable classes of models with various properties. Future perspectives of the theory of constructive models are also discussed. Most of the results in the book are presented in monograph form for the first time. The theory of constructive models serves as a basis for recursive mathematics. It is also useful in computer science, in particular, in the study of programming languages, higher level languages of specification, abstract data types, and problems of synthesis and verification of programs. Therefore, the book will be useful for not only specialists in mathematical logic and the theory of algorithms but also for scientists interested in the mathematical fundamentals of computer science. The authors are eminent specialists in mathematical logic. They have established fundamental results on elementary theories, model theory, the theory of algorithms, field theory, group theory, applied logic, computable numberings, the theory of constructive models, and the theoretical computer science. Softcover reprint of the original 1st ed. 2000. Bookseller Inventory # KNV9781461369325

More Information About This Seller | Ask Bookseller a Question 30.

Condition

- All Conditions
- New Books (56)
- Used Books (2)

Binding

- All Bindings
- Hardcover (25)
- Softcover (22)

Collectible Attributes

- First Edition (1)
- Signed Copy
- Dust Jacket
- Seller-Supplied Images (7)
- Not Printed On Demand

Free Shipping

- Free US Shipping (11)

Bookseller Location

- All Locations

Bookseller Rating

- All Booksellers
- and up
- and up
- and up (57)
- (41)