Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

The computable Models of uncountably categorical Theories

An Inquiry in Recursive Model Theory
BuchKartoniert, Paperback
112 Seiten
Englisch
AV Akademikerverlagerschienen am30.01.2014
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)mehr

Produkt

KlappentextAlex 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)
Details
ISBN/GTIN978-3-639-45946-3
ProduktartBuch
EinbandartKartoniert, Paperback
Erscheinungsjahr2014
Erscheinungsdatum30.01.2014
Seiten112 Seiten
SpracheEnglisch
Artikel-Nr.31193919

Autor

Alexander Linsbichler studied mathematics, mathematical logic and foundations, and history and philosophy of science at the University of Vienna. He taught mathematics for mechanical engineering and process technology at the Vienna University of Technology and teaches philosophical logic at the University of Vienna.