Counterexamples to a conjecture on relative categoricity (Q750425): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
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
    0 references
    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

    Identifiers