Back to School Savings: Save up to 30% on print books and eBooks. No promo code needed.
Back to School Savings: Save up to 30%
Recursive Model Theory
1st Edition - November 30, 1998
Editors: Y.L. Ershov, A. Nerode, S.S. Goncharov, J.B. Remmel
eBook ISBN:9780080533698
9 7 8 - 0 - 0 8 - 0 5 3 3 6 9 - 8
Purchase Options
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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). &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).
No. of pages: 619
Language: English
Published: November 30, 1998
Imprint: North Holland
eBook ISBN: 9780080533698
YE
Y.L. Ershov
Affiliations and expertise
Sobolev Institute of Mathematics, Novosibirsk, Russia
AN
A. Nerode
Affiliations and expertise
Cornell University, Mathematical Sciences Institute, Ithaca, NY, USA
SG
S.S. Goncharov
Affiliations and expertise
Sobolev Institute of Mathematics, Novosibirsk, Russia
JR
J.B. Remmel
Affiliations and expertise
University of California at San Diego, La Jolla, CA, USA