Finding model-companions via the skeleton (Q1813662)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding model-companions via the skeleton |
scientific article |
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
