Finitely generic models of <i>T</i><sub>UH</sub>, for certain model companionable theories <i>T</i> (Q3698783)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3922628
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finitely generic models of <i>T</i><sub>UH</sub>, for certain model companionable theories <i>T</i> |
scientific article; zbMATH DE number 3922628 |
Statements
Finitely generic models of <i>T</i><sub>UH</sub>, for certain model companionable theories <i>T</i> (English)
0 references
1985
0 references
finite genericity
0 references
universal Horn class
0 references
discriminator
0 references
model companion
0 references
0.7534793615341187
0 references
0.7118598818778992
0 references
0.7116896510124207
0 references
0.710623025894165
0 references
