InhaltsangabePreface. 1. Models, Computability, and Numberings. 2. Constructive Models. 3. Strongly Constructive and Decidable Models. 4. Theories with a Countable Set of Countable Models. 5. Algorithmic Dimensions and Computable Classes. 6. Models of Finite Algorithmic Dimension and Autostability. References. Subject Index.

Hersteller:
Springer Verlag GmbH
[email protected]
Tiergartenstr. 17
DE 69121 Heidelberg