Bounding prime models (Q5311770)
From MaRDI portal
scientific article; zbMATH DE number 2199975
Language | Label | Description | Also known as |
---|---|---|---|
English | Bounding prime models |
scientific article; zbMATH DE number 2199975 |
Statements
Bounding prime models (English)
0 references
29 August 2005
0 references
complete atomic decidable theory
0 references
prime model
0 references
prime bounding sets
0 references
computable model theory
0 references