Recursive Model Theory
- 1st Edition, Volume 1 - November 30, 1998
- Imprint: North Holland
- Editors: Y.L. Ershov, A. Nerode, S.S. Goncharov, J.B. Remmel
- Language: English
- Paperback ISBN:9 7 8 - 0 - 4 4 4 - 5 4 4 2 4 - 7
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 5 3 3 6 9 - 8
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteIntroduction 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). &Sgr;-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).
- Edition: 1
- Volume: 1
- Published: November 30, 1998
- No. of pages (eBook): 619
- Imprint: North Holland
- Language: English
- Paperback ISBN: 9780444544247
- eBook ISBN: 9780080533698
YE
Y.L. Ershov
Affiliations and expertise
Sobolev Institute of Mathematics, Novosibirsk, RussiaAN
A. Nerode
Affiliations and expertise
Cornell University, Mathematical Sciences Institute, Ithaca, NY, USASG
S.S. Goncharov
Affiliations and expertise
Sobolev Institute of Mathematics, Novosibirsk, RussiaJR
J.B. Remmel
Affiliations and expertise
University of California at San Diego, La Jolla, CA, USARead Recursive Model Theory on ScienceDirect