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

DOI10.4064/FM640-9-2018MaRDI QIDQ5226517zbMATHOpenAlexWikidataFDO

Authors Gianluca Paolini, S. Shelah

Publication date 31 July 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.10498

zbMATH Keywords

automorphism groupsouter automorphismssmall index propertyreconstruction theory${\aleph}_0$-categorical structures

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Model theory of denumerable and separable structures (03C15) Infinite automorphism groups (20B27)

Abstract: Let $mathbfK$ be the class of countable structures $M$ with the strong small index property and locally finite algebraicity, and $mathbf{K}_{\ast }$ the class of $MinmathbfK$ such that $ac{l}_M(a)=a$ for every $ainM$. For homogeneous $MinmathbfK$, 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,Ninmathbf{K}_{\ast }$, $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 $alep{h}_0$-categorical structures the combination of strong small index property and no algebraicity implies reconstruction up to bi-definability, in analogy with Rubin's well-known $forallexists$-interpretation technique of [7]. Finally, we show that every finite group can be realized as the outer automorphism group of $Aut(M)$ for some countable $alep{h}_0$-categorical homogeneous structure $M$ with the strong small index property and no algebraicity.

Recommendations

• Index sets of constructive models that are autostable under strong constructivizations
• The index set of Boolean algebras autostable relative to strong constructivizations
• Second-order and Inductive Definability on Finite Structures
• Index set of structures with two equivalence relations that are autostable relative to strong constructivizations
• Index sets of autostable relative to strong constructivizations constructive models for familiar classes
• scientific article; zbMATH DE number 4101163
• scientific article; zbMATH DE number 515737
• scientific article; zbMATH DE number 663795
• Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations
• scientific article; zbMATH DE number 4053597

Cites work

• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 3031989 (Why is no real title available?)
• Automorphism groups of countable stable structures
• Autour De La Propriété Du Petit Indice
• On the Reconstruction of ℵ₀ -Categorical Structures from their Automorphism Groups
• Reconstructing structures with the strong small index property up to bi-definability
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• The automorphism group of Hall’s universal group

Cited in

(12)

• On the Reconstruction of ℵ₀ -Categorical Structures from their Automorphism Groups
• The automorphism group of Hall’s universal group
• Permutation groups with small orbit growth
• Counterexamples to a conjecture on relative categoricity
• Polish topologies on endomorphism monoids of relational structures
• The isomorphism problem for oligomorphic groups with weak elimination of imaginaries
• Reconstruction of homogeneous relational structures
• Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting)
• Reconstructing structures with the strong small index property up to bi-definability
• On a stronger reconstruction notion for monoids and clones
• Reconstruction of separably categorical metric structures
• Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones

This page was built for publication: Reconstructing structures with the strong small index property up to bi-definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5226517)