Recursive Model Theory
Elsevier (Publisher)
Published on 30. November 1998
619 pages
978-0-08-053369-8 (ISBN)
Description
Recursive Model Theory
More details
Other editions
Additional editions
Yu L. Ershov | S.S. Goncharov | Anil Nerode
Handbook of Recursive Mathematics: Recursive Model Theory v.1
Book
11/1998
Elsevier
€102.14
Article exhausted; check different version
Persons
Content
Introduction to the Handbook of Recursive Mathematics (Yu.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel). Pure computable model theory (V.S. Harizanov). Elementary theories and their constructive models (Yu.L. Ershov, S.S. Goncharov). Isomorphic recursive structures (C.J. Ash). Computable classes of contructive models (V.P. Dobritsa). Σ-Definability of algebraic structures (Yu.L. Ershov). Autostable models and algorithmic dimensions (S.S. Goncharov). Degrees of models (J.F. Knight). Groups of computable automorphisms (A.S. Morozov). Constructive models of finitely axiomatizable theories (M.G. Peretyat'kin). Complexity theoretic model theory and algebra (D. Cenzer, J.B. Remmel). A bibliography of recursive algebra and recursive model theory (I. Kalantari). A bibliography of recursive analysis and recursive topology (V. Brattka, I. Kalantari).
