product iamge

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Hardbound.

Author(s): Yu.L.Ershov, S.S.Goncharov, A.Nerode, J.B.Remmel
Series: Studies in Logic and the Foundations of Mathematics 138
Publisher: Elsevier
Year: 1998

Language: English
Pages: 664

Contents......Page 6
Introduction to the Handbook of Recursive Mathematics (Yu.L. Ershov, S.S. Goncharov, A. Nerode and J.B. Remmel)......Page 8
1 Pure Computable Model Theory (V.S. Harizanov)......Page 49
2 Elementary Theories and their Constructive Models (Yu.L. Ershov and S.S. Goncharov)......Page 161
3 Isomorphic Recursive Structures (C.J. Ash)......Page 212
4 Computable Classes of Constructive Models (V.P. Dobritsa)......Page 227
5 E-Definability of Algebraic Structures (Yu.L. Ershov)......Page 278
6 Autostable Models and Algorithmic Dimensions (S.S. Goncharov)......Page 304
7 Degrees of Models (J.F. Knight)......Page 331
8 Groups of Computable Automorphisms (A.S. Morozov)......Page 352
9 Constructive Models of Finitely Axiomatizable Theories (M.G. Peretyat'kin)......Page 387
10 Complexity Theoretic Model Theory and Algebra (D. Cenzer and J.B. Remmel)......Page 420
11 A Bibliography of Recursive Algebra and Recursive Model Theory (J. Kalantari)......Page 553
12 A Bibliography of Recursive Analysis and Recursive Topology (V. Brattka and I. Kalantari)......Page 620