Beschreibung
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.
Produktsicherheitsverordnung
Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg
Inhalt
Preface. 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.
