Counterexamples to a conjecture on relative categoricity (Q750425): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Omega-categoricity, relative categoricity and coordinatisation / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(90)90034-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2019622426 / rank | |||
Normal rank |
Latest revision as of 09:22, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Counterexamples to a conjecture on relative categoricity |
scientific article |
Statements
Counterexamples to a conjecture on relative categoricity (English)
0 references
1990
0 references
The paper is a brief supplement to the paper of \textit{W. Hodges, I. M. Hodkinson} and \textit{D. Macpherson} [Ann. Pure Appl. Logic 46, No.2, 169- 199 (1990; Zbl 0699.03016)]; its main aim is to refute a conjecture made at the end of that paper. The presented result is based on the following theorem proved in the present paper. Theorem: There exists a profinite group G (in fact, a Cartesian product of countably many finite groups) with a non-trivial finite normal subgroup F which has a complement in G, and such that any complement to F in G is dense in G (and therefore not closed in G). Moreover, the methodology used by the authors allows to construct a structure B with the following properties: (a) There exists a countable \(\omega\)-categorical structure C such that the automorphism groups of B and C are isomorphic as groups but not as topological groups (so and C are not bi-interpretable); (b) in the terminology of \textit{M. Rubin} [On reconstruction of \(\omega\)-categorical structures from their automorphism groups, Preprint (1988)], the structure B has no weak \(\forall \exists\)- interpretation. The proper existence of the structure B answers another open question presented by Rubin [loc. cit.].
0 references
relative categoricity
0 references
automorphism groups of structures
0 references