recursive model theory (5 resultados)

Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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).

Taschenbuch. Condición: Neu. Admissible Ordinal | Set theory, Ordinal number, Constructible universe, Admissible set, Inner model, Kripke-Platek set theory, Recursive ordinal, Church-Kleene ordinal | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131827013 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.

Paperback. Condición: Brand New. 672 pages. 9.00x5.90x1.52 inches. This item is printed on demand.