1-ary functions and the f.c.p (Q752696)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 1-ary functions and the f.c.p |
scientific article; zbMATH DE number 4179353
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 1-ary functions and the f.c.p |
scientific article; zbMATH DE number 4179353 |
Statements
1-ary functions and the f.c.p (English)
0 references
1991
0 references
A full classification of theories of 1-ary functions that do not satisfy the finite cover property is given. The proof uses the superstability of these theories, and the characterization of the finite cover property in terms of nice pairs; more precisely, the fact that if T is a stable theory then T does not satisfy the finite cover property if and only if every \(\omega_ 1\)-saturated model of the theory of nice pairs of models of T is a nice pair.
0 references
classification
0 references
theories of 1-ary functions
0 references
finite cover property
0 references
superstability
0 references
nice pairs
0 references
0.8567988276481628
0 references
0.822641909122467
0 references
0.8114370703697205
0 references
0.7900601029396057
0 references
