Model complete theories of trees (Q2277448)
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: Model complete theories of trees |
scientific article; zbMATH DE number 4197970
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model complete theories of trees |
scientific article; zbMATH DE number 4197970 |
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
0.8292559385299683
0 references
0.8148046135902405
0 references
