Finding model-companions via the skeleton (Q1813662)
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: Finding model-companions via the skeleton |
scientific article; zbMATH DE number 4797
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding model-companions via the skeleton |
scientific article; zbMATH DE number 4797 |
Statements
Finding model-companions via the skeleton (English)
0 references
25 June 1992
0 references
existentially closed structures
0 references
skeleton
0 references
atomic structure
0 references
joint- embedding property
0 references
finitely generated universal Horn class
0 references
model- companion
0 references
