Multitrees, model completeness, and decidability (Q1110501)
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: Multitrees, model completeness, and decidability |
scientific article; zbMATH DE number 4072933
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multitrees, model completeness, and decidability |
scientific article; zbMATH DE number 4072933 |
Statements
Multitrees, model completeness, and decidability (English)
0 references
1988
0 references
See the review in Zbl 0636.03026.
0 references
multitree
0 references
reticles
0 references
model companion
0 references
model complete theory
0 references
countably categorical
0 references
finitely axiomatizable
0 references