The structure of saturated free algebras (Q792314): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Chantal Berline / rank | |||
Property / reviewed by | |||
Property / reviewed by: Chantal Berline / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A combinatorial fact about free algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counting models in universal Horn classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification theory and the number of non-isomorphic models / rank | |||
Normal rank |
Latest revision as of 12:34, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The structure of saturated free algebras |
scientific article |
Statements
The structure of saturated free algebras (English)
0 references
1983
0 references
Let M be a free algebra with a countable similarity type and suppose that M is \(\aleph_ 1-saturated\), then M has a finite dimensional \(\omega\)- stable theory, precisely: Theorem 1. There is a finite set of regular types \(q_ 1,q_ 2,...,q_ k\) such that every model N of Th(M) is prime over a union \(Y_ 1\cup...\cup Y_ k\) of indiscernible sets \(Y_ i\), each based on the corresponding \(q_ i\). (With the consequence that Th(M) has at most \(\alpha +\aleph_ o\) models of cardinality \(\aleph_{\alpha}\geq 2^{\aleph_ o}.)\) The authors announce also the following more algebraic result (which relies on Theorem 1), but their proof is quite incomplete: Theorem 2. There is a finite set of types of weight one, say \(q_ 1,...,q_ k,\) such that each model N of Th(M) is generated, in the usual algebraic sense, by a union \(Y_ 1\cup...\cup Y_ k\) of indiscernible sets \(Y_ i\), each based on the corresponding \(q_ i.\) Concrete examples are given, illustrating for example the difference between the notions of regular types and of types of weight one.
0 references
saturated algebras
0 references
weight one types
0 references
free algebra
0 references
regular types
0 references
indiscernible sets
0 references