Constructive Models

by Sergei S. Goncharov and Yu. L. Ershov

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 1461369320
• ISBN13: 9781461369325
• Release Date: September 2012
• Publisher: Springer
• Length: 293 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"