No label defined (Q4034796)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 175743
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 175743 |
Statements
18 May 1993
0 references
atomic model
0 references
countable theory
0 references
minimal model
0 references
simple model
0 references
0.7778919339179993
0 references
0.769605815410614
0 references
Using results of D. Saks, the author proves the following Theorem: Let \(T\) be a complete and countable theory such that over an arbitrary countable set there is a simple and minimal model. Then over an arbitrary set there is a simple and minimal model; each model \(\mathcal A\) being atomic over a certain of its subsets is simple over it; a subset \(B\) of a model \(\mathcal A\) is atomic over a subset \(C\) of \(\mathcal A\) iff \(B\) is contained in a certain submodel of \(\mathcal A\) which is simple over \(C\); in a simple model which is minimal over a certain set, infinite sequences do not exist which are not distinguishable over this set. [For the entire collection see Zbl 0745.00015.]
0 references
