Switch to: References

Add citations

You must login to add citations.
  1. On countably saturated linear orders and certain class of countably saturated graphs.Ziemowit Kostana - 2020 - Archive for Mathematical Logic 60 (1):189-209.
    The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality \. We provide some examples of pairwise non-isomorphic countably saturated linear orders of cardinality \, under different set-theoretic assumptions. We give a new proof of the old theorem of Harzheim, that the class of countably saturated linear orders has a uniquely determined one-element basis. From (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cohen-like first order structures.Ziemowit Kostana - 2023 - Annals of Pure and Applied Logic 174 (1):103172.
    Download  
     
    Export citation  
     
    Bookmark  
  • Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham & Michael Pinsker - 2019 - Journal of Mathematical Logic 19 (2):1950010.
    There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural uniformity on (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Amalgamable diagram shapes.Ruiyuan Chen - 2019 - Journal of Symbolic Logic 84 (1):88-101.
    Download  
     
    Export citation  
     
    Bookmark