Degrees of types and independent sequences (Q3328526)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Degrees of types and independent sequences |
scientific article |
Statements
Degrees of types and independent sequences (English)
0 references
1983
0 references
recursive saturation
0 references
independent sequence of formulas
0 references
countable theories
0 references
complete theories
0 references
complete types
0 references
