Handbook of recursive mathematics. Vol. 1: Recursive model theory (Q1276268)

[The articles of this volume will be reviewed individually.] Indexed articles: \textit{Harizanov, Valentina S.}, Pure computable model theory, 3-114 [Zbl 0952.03037] \textit{Ershov, Yu. L.; Goncharov, S. S.}, Elementary theories and their constructive models, 115-165 [Zbl 0952.03036] \textit{Ash, C. J.}, Isomorphic recursive structures, 167-181 [Zbl 0933.03042] \textit{Dobritsa, V. P.}, Computable classes of constructive models, 183-233 [Zbl 0976.03039] \textit{Ershov, Yu. L.}, \(\Sigma\)-definability of algebraic structures, 235-260 [Zbl 0940.03043] \textit{Goncharov, S. S.}, Autostable models and algorithmic dimensions, 261-287 [Zbl 0958.03030] \textit{Knight, J. F.}, Degrees of models, 289-309 [Zbl 0933.03043] \textit{Morozov, A. S.}, Groups of computable automorphisms, 311-345 [Zbl 0940.03047] \textit{Peretyat'kin, M. G.}, Constructive models of finitely axiomatizable theories, 347-379 [Zbl 0952.03035] \textit{Cenzer, D.; Remmel, J. B.}, Complexity theoretic model theory and algebra, 381-513 [Zbl 0941.03035] \textit{Kalantari, I.}, A bibliography of recursive algebra and recursive model theory, 515-581 [Zbl 0927.03070] \textit{Brattka, V.; Kalantari, I.}, A bibliography of recursive analysis and recursive topology, 583-620 [Zbl 0927.03071] \textit{Ershov, Y. L.; Goncharov, S. S.; Nerode, A.; Remmel, J. B.}, Introduction to the Handbook of recursive mathematics, vii-xlvi [Zbl 0930.03037]