Switch to: References

Add citations

You must login to add citations.
  1. Classification of -Categorical Monadically Stable Structures.Bertalan Bodor - 2024 - Journal of Symbolic Logic 89 (2):460-495.
    A first-order structure $\mathfrak {A}$ is called monadically stable iff every expansion of $\mathfrak {A}$ by unary predicates is stable. In this paper we give a classification of the class $\mathcal {M}$ of $\omega $ -categorical monadically stable structure in terms of their automorphism groups. We prove in turn that $\mathcal {M}$ is the smallest class of structures which contains the one-element pure set, is closed under isomorphisms, and is closed under taking finite disjoint unions, infinite copies, and finite index (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pairwise nonisomorphic maximal-closed subgroups of sym(ℕ) via the classification of the reducts of the Henson digraphs. [REVIEW]Lovkush Agarwal & Michael Kompatscher - 2018 - Journal of Symbolic Logic 83 (2):395-415.
    Given two structures${\cal M}$and${\cal N}$on the same domain, we say that${\cal N}$is a reduct of${\cal M}$if all$\emptyset$-definable relations of${\cal N}$are$\emptyset$-definable in${\cal M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are${\aleph _0}$-categorical, determining their reducts is equivalent to determining the closed supergroupsG≤ Sym of their automorphism groups.A consequence of the classification is that there are${2^{{\aleph _0}}}$pairwise noninterdefinable Henson digraphs which have (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation