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. Peretyatkin 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
