Model complete theories of trees (Q2277448)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model complete theories of trees |
scientific article |
Statements
Model complete theories of trees (English)
0 references
1990
0 references
The author investigates model-complete theories of trees. In {\S}1 he starts with some general facts of model-complete, strongly \(\forall\)- finite theories. In {\S}2 these results are used to characterize countable trees which have a model-complete theory. Further on it is shown that each model-complete theory of trees is decidable. In connection with his investigations the author asks if every model- complete, strongly \(\forall\)-finite theory is decidable.
0 references
categoricity
0 references
model-complete theories of trees
0 references
countable trees
0 references
