Tame Theories with Hyperarithmetic Homogeneous Models (Q3815287)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tame Theories with Hyperarithmetic Homogeneous Models |
scientific article |
Statements
1989
0 references
decidable theory
0 references
recursive type
0 references
tame theory
0 references
recursive complexity of countable homogeneous models
0 references
hyperarithmetic hierarchy
0 references
Tame Theories with Hyperarithmetic Homogeneous Models (English)
0 references