The computable Models of uncountably categorical Theories An Inquiry in Recursive Model Theory
-
- Englisch ausgewählt
28,99 €
UVP
33,90 €
inkl. gesetzl. MwSt.,
- Kostenlose Lieferung ab 30 € Einkaufswert
- Versandkostenfrei für Bonuscard-Kund*innen
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
30.01.2014
Verlag
AV AkademikerverlagSeitenzahl
112
Maße (L/B/H)
22/15/0,8 cm
Gewicht
185 g
Sprache
Englisch
ISBN
978-3-639-45946-3
Alex 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)
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice