Format:
Online Ressource (2 volumes (xlvi, 1372 pages)
,
illustrations.
Edition:
Online-Ausg. 2007 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web
ISBN:
9780444500038
,
0444500030
Series Statement:
Studies in logic and the foundations of mathematics v. 138-139
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). & 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)
Content:
v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics
Note:
Includes bibliographical references. - Print version record
,
v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics.
,
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).
,
Electronic reproduction; Mode of access: World Wide Web
Additional Edition:
ISBN 044450107X
Additional Edition:
ISBN 9780444501073
Additional Edition:
Erscheint auch als Druck-Ausgabe Handbook of recursive mathematics ; Vol. 1: Recursive model theory Amsterdam [u.a.] : Elsevier, 1998 ISBN 0444500030
Additional Edition:
Print version Handbook of recursive mathematics
Language:
English
Keywords:
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)
Author information:
Eršov, Jurij Leonidovič 1940-
Bookmarklink
