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  
  • Constants and finite unary relations in qualitative constraint reasoning.Peter Jonsson - 2018 - Artificial Intelligence 257 (C):1-23.
    Download  
     
    Export citation  
     
    Bookmark   1 citation