Reconstructing structures with the strong small index property up to bi-definability

Gianluca Paolini, Saharon Shelah

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

Let K be the class of countable structures M with the strong small index property and locally finite algebraicity, and K∗The class of M ∈ K such that aclM(fag) = fag for every a 2 M. For homogeneous M ∈ K, we introduce what we call the expanded group of automorphisms of M, and show that it is second-order definable in Aut(M). We use this to prove that for M;N ∈ K∗, Aut(M) and Aut(N) are isomorphic as abstract groups if and only if (Aut(M);M) and (Aut(N);N) are isomorphic as permutation groups. In particular, we deduce that for N0-categorical structures the combination of the strong small index property and no algebraicity implies reconstruction up to bi-definability, in analogy with Rubin's (1994) well-known 89-interpretation technique. Finally, we show that every finite group can be realized as the outer automorphism group of Aut(M) for some countable N0-categorical homogeneous structure M with the strong small index property and no algebraicity.

Original languageEnglish
Pages (from-to)25-35
Number of pages11
JournalFundamenta Mathematicae
Volume247
Issue number1
DOIs
StatePublished - 2019

Bibliographical note

Publisher Copyright:
© Instytut Matematyczny PAN, 2019.

Keywords

  • Automorphism groups
  • N0-categorical structures
  • Outer automorphisms
  • Reconstruction theory
  • Small index property

Fingerprint

Dive into the research topics of 'Reconstructing structures with the strong small index property up to bi-definability'. Together they form a unique fingerprint.

Cite this