Introduction to the Handbook of Recursive Mathematics
vii
Yu. L. Ershov
S. S. Goncharov
A. Nerode
J. B. Remmel
Part One Recursive Model Theory
Pure Computable Model Theory
3
(112)
V. S. Harizanov
Elementary Theories and their Constructive Models
115
(52)
Yu. L. Ershov
S. S. Goncharov
Isomorphic Recursive Structures
167
(16)
C. J. Ash
Computable Classes of Constructive Models
183
(52)
V. P. Dobritsa
Σ-Definability of Algebraic Structures
235
(26)
Yu. L. Ershov
Autostable Models and Algorithmic Dimensions
261
(28)
S. S. Goncharov
Degrees of Models
289
(22)
J. F. Knight
Groups of Computable Automorphisms
311
(36)
A. S. Morozov
Constructive Models of Finitely Axiomatizable Theories
347
(34)
M. G. Peretyat'kin
Complexity Theoretic Model Theory and Algebra
381
(134)
D. Cenzer
J. B. Remmel
A Bibliography of Recursive Algebra and Recursive Model Theory
515
(68)
I. Kalantari
A Bibliography of Recursive Analysis and Recursive Topology
583
(40)
V. Brattka
I. Kalantari
Part Two Recursive Algebra, Analysis, and Combinatorics
Π01 Classes in Mathematics
623
(200)
D. Cenzer
J. B. Remmel
Computability Theory and Linear Orderings
823
(154)
R. G. Downey
Computable Algebras and Closure Systems: Coding Properties
977
(64)
R. G. Downey
J. B. Remmel
A Survey of Recursive Combinatorics
1041
(136)
W. Gasarch
Constructive Abelian Groups
1177
(56)
N. G. Khisamiev
Recursive and On-Line Graph Coloring
1233
(38)
H. A. Kierstead
Polynomial-Time Computability in Analysis
1271
(48)
K. Ko
Generally Constructive Boolean Algebras
1319
(36)
S. P. Odintsov
Reverse Algebra
1355
S. G. Simpson
J. Rao
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.
Please wait while the item is added to your bag...