{"product_id":"the-computable-models-of-uncountably-categorical-theories-von-alexander-linsbichler","title":"The computable Models of uncountably categorical Theories","description":"\u003cp\u003eAlex has written an excellent thesis in the area of computable model theory. The   latter is a subject that nicely combines model-theoretic ideas with delicate recursion-theoretic   constructions.  In his thesis, Alex begins by reviewing the essential model-theoretic facts, especially   the Baldwin-Lachlan result about uncountably categorical theories. This he follows   with a brief discussion of recursion theory, including mention of the priority method.   The deepest part of the thesis concerns the study of the recursive spectrum of an uncountably   categorical theory, i.e. the set of natural numbers n such that the n-th model of the theory   (in the Baldwin-Lachlan sense) has a computable presentation. This is a deep and very   active area of contemporary research in computable model theory which Alex discusses   in considerable detail.  The exposition is very good and therefore the thesis makes a nice introduction to the   subject for a wide community of logicians.     (Sy-David Friedman, Professor of Mathematical Logic, Director of the Kurt Gödel Research Center for Mathematical Logic,   University of Vienna)\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783639459463\"\u003e\u003ch3\u003eAn Inquiry in Recursive Model Theory\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783639459463","offer_id":39482400407645,"sku":"9783639459463","price":32.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/c41bc3c8-1542-4491-a0a1-434b909358ee.jpg?v=1773554295","url":"https:\/\/shop.autorenwelt.de\/products\/the-computable-models-of-uncountably-categorical-theories-von-alexander-linsbichler","provider":"Autorenwelt Shop","version":"1.0","type":"link"}