Results (1 - 30) of 42 1 2

Ershov, Yuri L.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

Used

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 47.04
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 1996. Book Condition: Very Good. 1996th Edition. N/A. Former Library book. Great condition for a used book! Minimal wear. Bookseller Inventory # GRP76670898

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

Ershov, Yuri L.

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

Used

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 47.04
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 1996. Book Condition: Good. 1996th Edition. N/A. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP78061096

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

Yuri L. Ershov

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

Used Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 60.45
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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

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

Ershov, Yuri L.

Published by Springer

ISBN 10: 0306110393 ISBN 13: 9780306110399

New Hardcover

Quantity Available: 1

From: MARK_BOOKS (Delhi, India)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 162.15
Convert Currency
Shipping: US$ 4.47
From India to U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Hardcover. Book Condition: New. 0306110393 Brand New. Softcover Edition. We Always Deliver In 6-14 Business Days. We Do Not Ship PO BOX APO And FPO. Bookseller Inventory # A22-A4825A-9780306110399

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

Yuri L. Ershov

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 170.26
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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 5.

Ershov, Yuri L.

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

Add Book to Shopping Basket
Price: US$ 253.54
Convert Currency
Shipping: US$ 3.36
From Germany to U.S.A.

Destination, Rates & Speeds

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

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

Yuri L. Ershov

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 249.94
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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

Yuri L. Ershov

Published by Springer Aug 2001 (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New

Quantity Available: 2

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 253.62
Convert Currency
Shipping: US$ 17.38
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Springer Aug 2001, 2001. Buch. Book Condition: Neu. 235x155x21 mm. This item is printed on demand - Print on Demand Titel. 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 # 9780306110689

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

Ershov, Yuri L.

Published by Springer

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover First Edition

Quantity Available: 1

Add Book to Shopping Basket
Price: US$ 272.47
Convert Currency
Shipping: FREE
From Ireland to U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Book Condition: New. 2001. 2001st Edition. Hardcover. . . . . . Bookseller Inventory # V9780306110689

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

Yuri L. Ershov

Published by Springer Apr 1996 (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

New

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 282.96
Convert Currency
Shipping: US$ 17.38
From Germany to U.S.A.

Destination, Rates & Speeds

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 10.

Ershov, Yuri L.

Published by Springer

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 304.02
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Book Condition: New. 2001. 2001st Edition. Hardcover. . . . . . Books ship from the US and Ireland. Bookseller Inventory # V9780306110689

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

Yuri L. Ershov

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

ISBN 10: 0306110393 ISBN 13: 9780306110399

New Hardcover

Quantity Available: 10

From: The Book Depository US (London, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 325.98
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 12.

Yuri L. Ershov

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)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 335.72
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 13.

Ershov, Yuri L.

Published by Springer

ISBN 10: 1461354897 ISBN 13: 9781461354895

New

Quantity Available: > 20

From: Firehouse Liquidation (Vancouver, WA, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 327.45
Convert Currency
Shipping: US$ 3.25
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Book Condition: New. Ships next business day! Brand New!. Bookseller Inventory # ING-9781461354895

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

Yuri L. Ershov

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

From: Revaluation Books (Exeter, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 338.06
Convert Currency
Shipping: US$ 9.25
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2001. Hardcover. Book Condition: Brand New. 270 pages. 9.25x6.25x0.75 inches. In Stock. Bookseller Inventory # zk0306110687

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

Yuri L. Ershov

Published by Springer Sep 2012 (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Taschenbuch

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 344.74
Convert Currency
Shipping: US$ 17.38
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Springer Sep 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x15 mm. This item is printed on demand - Print on Demand Titel. 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 16.

Ershov, Yuri L.

Published by SPRINGER VERLAG GMBH 01/08/2015 (2015)

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Paperback

Quantity Available: > 20

From: Books2Anywhere (Fairford, GLOS, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 342.88
Convert Currency
Shipping: US$ 13.87
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: SPRINGER VERLAG GMBH 01/08/2015, 2015. Paperback. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand. Bookseller Inventory # IQ-9781461354895

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

Yuri L. Ershov

Published by Springer Science+Business Media

ISBN 10: 0306110393 ISBN 13: 9780306110399

New Hardcover

Quantity Available: 5

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 349.39
Convert Currency
Shipping: US$ 9.16
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Springer Science+Business Media. Hardback. Book Condition: new. BRAND NEW PRINT ON DEMAND., Definability and Computability, Yuri L. Ershov, 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 # B9780306110399

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

Ershov, Yuri L.

Published by Springer (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Softcover

Quantity Available: 5

Add Book to Shopping Basket
Price: US$ 369.36
Convert Currency
Shipping: US$ 3.36
From Germany to U.S.A.

Destination, Rates & Speeds

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 19.

YURI L. ERSHOV

Published by Springer (1996)

ISBN 10: 0306110393 ISBN 13: 9780306110399

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 360.66
Convert Currency
Shipping: US$ 12.33
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 # 268690

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

Yuri L. Ershov

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 US (London, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 370.86
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 21.

Yuri L. Ershov

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)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 381.95
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 22.

Yuri L. Ershov

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 385.34
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

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 23.

Yuri L. Ershov

Published by Springer Mrz 2000 (2000)

ISBN 10: 0306110660 ISBN 13: 9780306110665

New

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 406.52
Convert Currency
Shipping: US$ 17.38
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Springer Mrz 2000, 2000. Buch. Book Condition: Neu. 235x155x21 mm. This item is printed on demand - Print on Demand Titel. - 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. 308 pp. Englisch. Bookseller Inventory # 9780306110665

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

Yuri L. Ershov

Published by Springer Sep 2012 (2012)

ISBN 10: 1461369320 ISBN 13: 9781461369325

New Taschenbuch

Quantity Available: 1

From: AHA-BUCH GmbH (Einbeck, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 406.52
Convert Currency
Shipping: US$ 17.38
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Springer Sep 2012, 2012. Taschenbuch. Book Condition: Neu. 235x155x16 mm. This item is printed on demand - Print on Demand Titel. Neuware - 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. 293 pp. Englisch. Bookseller Inventory # 9781461369325

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

Yuri L. Ershov

Published by Springer (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 439.97
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, 2012. Paperback. Book Condition: New. Softcover reprint of the origina. This item is printed on demand. Bookseller Inventory # SONG1461354897

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

YURI L. ERSHOV

Published by Springer (2012)

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Paperback

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 439.26
Convert Currency
Shipping: US$ 12.33
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 # 301808

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

YURI L. ERSHOV

Published by Springer (2001)

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 439.26
Convert Currency
Shipping: US$ 12.33
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 # 268701

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

Yuri L. Ershov

Published by Springer

ISBN 10: 1461354897 ISBN 13: 9781461354895

New Paperback

Quantity Available: 20

From: BuySomeBooks (Las Vegas, NV, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 479.21
Convert Currency
Shipping: US$ 3.95
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Paperback. Book Condition: New. Paperback. 270 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.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 Prfer 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 Prfer 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9781461354895

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

Yuri L. Ershov

Published by Springer

ISBN 10: 0306110687 ISBN 13: 9780306110689

New Hardcover

Quantity Available: 20

From: BuySomeBooks (Las Vegas, NV, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 482.96
Convert Currency
Shipping: US$ 3.95
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer. Hardcover. Book Condition: New. Hardcover. 280 pages. Dimensions: 9.0in. x 5.8in. x 0.8in.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 Prfer 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 Prfer 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Bookseller Inventory # 9780306110689

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

Condition

Binding

Collectible Attributes

Free Shipping

Bookseller Location

  • All Locations

Bookseller Rating

Results (1 - 30) of 42 1 2