Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Constructive Models

Constructive Models

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780306110665
Condition
New
Product Description

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

Available Colors
Available Sizes
1 Offer Price Range: $219.99 - $219.99
BEST PRICE

Single Product Purchase

$219.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$219.99 $219.99

$219.99
See Site In stock Visit Store

Similar Products

Das Menschenrechtsbereinkommen zur Biomedizin des Europarates taugliches Vorbild fr eine weltwei

$59.99

Fluid-Structure Interaction and Biomedical Applications

$159.99

Computational Methods in Synthetic Biology

$219.99

Selforganization by Nonlinear Irreversible Processes

$84.99

Der chronische Beckenbodenschmerz

$49.99

Absolute Analysis

$99.99

Python-Rezepte fr die Geowissenschaften

$64.99

Ins Philosophieren finden mit Krzesttexten

$49.99

Elliptic Curves and Modular Forms in Algebraic Topology

$44.99

The Digital Playbook

$49.99

Waldeigentum

$99.00

Personendarstellung bei den Florentinischen Geschichtschreibern der Renaissance

$59.99

Group Model Building

$39.99

Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs

$109.99

Histopathology of the Endometrium

$84.99

Besser wirken, mehr bewirken!

$29.99

South & East Asian Characters Grades 6-8

$82.00

Development in Difficult Sociopolitical Contexts

$54.99

Obstetric Anesthesia

$99.99

Natriuretic Peptides in Health and Disease

$219.99

Globalization from the Bottom Up

$54.99

Toxicants in Terrestrial Ecosystems

$109.99

Juvenile Psychiatry and the Law

$54.99

Pragmatic Idealism and Scientific Prediction

$54.99

Basic and Clinical Perspectives in Vision Research

$169.99

Die Kommandos Winkbefehle, Pfeifsignale und Geheimzeichen der deutschen Pfadfinder

$54.99

Mythic-Symbolic Language and Philosophical Anthropology

$109.99

The Three Little Superpigs: The Three Little Superpigs

$4.49

Gesundes Vertrauen in Organisationen

$59.99

Knowledge, Innovation and Sustainable Development in Organizations

$99.00

The Practitioners Guide to Psychoactive Drugs

$109.99

Autophagy: Biology and Diseases

$249.99

Akustische Messtechnik

$37.99

Computational Logic in Multi-Agent Systems

$54.99

Fernsehen digital

$29.99

Arrays and Array Methods in Global Seismology

$109.99

Optics and Lasers in Biomedicine and Culture

$39.99

Financial Cryptography

$54.99

Antibiotic Policies

$129.00

Hybridity, Identity, and Monstrosity in Medieval Britain

$129.99