Screen LibraryHandbook of recursive mathematics /
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; ; ; ; |
| Published: |
Elsevier,
|
| Publisher Address: | Amsterdam : |
| Publication Dates: | 1998. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Studies in logic and the foundations of mathematics ;
v. 138-139 |
| Subjects: | |
| Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/138 |
| Carrier Form: | 1 online resource (2 volumes (xlvi, 1372 pages)) : illustrations. |
| Bibliography: | Includes bibliographical references. |
| ISBN: |
9780444500038 0444500030 |
| Index Number: | QA9 |
| CLC: | O141.3 |
| Contents: |
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). v. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics. |