Recursive Model Theory

Recursive Model Theory

1st Edition - November 30, 1998

Write a review

  • Editors: Y.L. Ershov, A. Nerode, S.S. Goncharov, J.B. Remmel
  • eBook ISBN: 9780080533698

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

Table of 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).

Product details

  • No. of pages: 619
  • Language: English
  • Copyright: © North Holland 1998
  • Published: November 30, 1998
  • Imprint: North Holland
  • eBook ISBN: 9780080533698

About the Series Editors

Y.L. Ershov

Affiliations and Expertise

Sobolev Institute of Mathematics, Novosibirsk, Russia

A. Nerode

Affiliations and Expertise

Cornell University, Mathematical Sciences Institute, Ithaca, NY, USA

S.S. Goncharov

Affiliations and Expertise

Sobolev Institute of Mathematics, Novosibirsk, Russia

J.B. Remmel

Affiliations and Expertise

University of California at San Diego, La Jolla, CA, USA

Ratings and Reviews

Write a review

There are currently no reviews for "Recursive Model Theory"