Effective model theory vs. recursive model theory (Q5753942)
From MaRDI portal
scientific article; zbMATH DE number 4189710
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective model theory vs. recursive model theory |
scientific article; zbMATH DE number 4189710 |
Statements
Effective model theory vs. recursive model theory (English)
0 references
1990
0 references
recursive model theory
0 references
effectiveness in model theory
0 references
effective model theory
0 references
algorithmic complexity
0 references
complexity of models
0 references
recursive stability
0 references
effective stability
0 references
recursive categoricity
0 references
effective categoricity
0 references
