Items related to Constructive Models (Siberian School of Algebra and...

Constructive Models (Siberian School of Algebra and Logic) - Softcover

 
9781461369325: Constructive Models (Siberian School of Algebra and Logic)
View all copies of this ISBN edition:
 
 
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.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2012
  • ISBN 10 1461369320
  • ISBN 13 9781461369325
  • BindingPaperback
  • Number of pages305

Other Popular Editions of the Same Title

9780306110665: Constructive Models (Siberian School of Algebra and Logic)

Featured Edition

ISBN 10:  ISBN 13:  9780306110665
Publisher: Springer, 2000
Hardcover

Top Search Results from the AbeBooks Marketplace

Seller Image

Sergei S. Goncharov
Published by Springer US Sep 2012 (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Taschenbuch Quantity: 2
Print on Demand
Seller:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germany)

Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 308 pp. Englisch. Seller Inventory # 9781461369325

More information about this seller | Contact seller

Buy New
US$ 178.39
Convert currency

Add to Basket

Shipping: US$ 24.82
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Yuri L. Ershov|Sergei S. Goncharov
Published by Springer US (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Softcover Quantity: > 20
Print on Demand
Seller:
moluna
(Greven, Germany)

Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4195085

More information about this seller | Contact seller

Buy New
US$ 158.38
Convert currency

Add to Basket

Shipping: US$ 52.87
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Ershov, Yuri L.
Published by Springer (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Soft Cover Quantity: 1
Seller:
booksXpress
(Bayonne, NJ, U.S.A.)

Book Description Soft Cover. Condition: new. Seller Inventory # 9781461369325

More information about this seller | Contact seller

Buy New
US$ 213.46
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Seller Image

Sergei S. Goncharov
Published by Springer US (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Taschenbuch Quantity: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9781461369325

More information about this seller | Contact seller

Buy New
US$ 182.33
Convert currency

Add to Basket

Shipping: US$ 35.60
From Germany to U.S.A.
Destination, rates & speeds
Stock Image

Ershov, Yuri L.; Goncharov, Sergei S.
Published by Springer (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Softcover Quantity: > 20
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)

Book Description Condition: New. Seller Inventory # ABLIING23Mar2716030033451

More information about this seller | Contact seller

Buy New
US$ 229.98
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds
Stock Image

Yuri L. Ershov
Published by Springer (2012)
ISBN 10: 1461369320 ISBN 13: 9781461369325
New Softcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781461369325_lsuk

More information about this seller | Contact seller

Buy New
US$ 248.75
Convert currency

Add to Basket

Shipping: US$ 12.60
From United Kingdom to U.S.A.
Destination, rates & speeds