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

DOI10.4064/FM640-9-2018zbMATH Open1480.03015arXiv1703.10498OpenAlexW2604136004WikidataQ128058783 ScholiaQ128058783MaRDI QIDQ5226517FDOQ5226517

Authors: Gianluca Paolini, S. Shelah 

Publication date: 31 July 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (12)

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

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)