Quelques remarques sur l'équivalence élémentaire entre groupes ou treillis d'automorphismes de chaines 2-homogènes (Q2266029)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quelques remarques sur l'équivalence élémentaire entre groupes ou treillis d'automorphismes de chaines 2-homogènes |
scientific article |
Statements
Quelques remarques sur l'équivalence élémentaire entre groupes ou treillis d'automorphismes de chaines 2-homogènes (English)
0 references
1985
0 references
The author had previously shown that if T is a 2 homogeneous chain, then the pointwise ordering on the automorphism group A(T) is interpretable in the group language and the group action is interpretable in the lattice of all automorphisms of T (in both cases a parameter is needed). Indeed, the Dedekind completion \(\bar T\) of T is also interpretable in either of these structures [the author, Trans. Am. Math. Soc. 278, 253-269 (1983; Zbl 0522.03024)] or [\textit{A. M. W. Glass}, Ordered permutation groups, Lond. Math. Soc. Lect. Note Ser. 55 (1981; Zbl 0473.06010); section 2.1]. In this paper, ''the cofinality (coinitiality) of a point of \(\bar T\) is \(\omega_ n''\) (n a natural number) is expressed, as is ''A(T) has infinitely many orbits'' among other things. These results had previously only been published in the author's Thesis 3e Cycle [Théorie des modèles de groupes d'automorphismes d'ensembles totalement ordonnés]. The main questions of (1) explicitly giving two non-isomorphic 2 homogeneous chains whose automorphism groups are elementary equivalent (by cardinality considerations, such chains exist as subchains of the real line) and (2) showing that there are indeed \(2^{\aleph_ 0}\) non elementarily equivalent such theories remain unsolved (Note: in the proof of Proposition 2, v' should be distinct from v.)
0 references
homogeneous chain
0 references
automorphism group
0 references
group language
0 references
group action
0 references
Dedekind completion
0 references
elementary equivalent
0 references