Umfang:
Online Ressource (2 volumes (xlvi, 1372 pages)
,
illustrations.
Ausgabe:
Online-Ausg. 2007 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web
ISBN:
9780444500038
,
0444500030
Serie:
Studies in logic and the foundations of mathematics v. 138-139
Inhalt:
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)
Inhalt:
v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics
Anmerkung:
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
Weitere Ausg.:
ISBN 044450107X
Weitere Ausg.:
ISBN 9780444501073
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Handbook of recursive mathematics ; Vol. 1: Recursive model theory Amsterdam [u.a.] : Elsevier, 1998 ISBN 0444500030
Weitere Ausg.:
Print version Handbook of recursive mathematics
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Electronic books
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Eršov, Jurij Leonidovič 1940-
Bookmarklink
