Switch to: References

Add citations

You must login to add citations.
  1. Around rubin’s “theories of linear order”.Predrag Tanović, Slavko Moconja & Dejan Ilić - 2020 - Journal of Symbolic Logic 85 (4):1403-1426.
    Let $\mathcal M=$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders. Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Does weak quasi-o-minimality behave better than weak o-minimality?Slavko Moconja & Predrag Tanović - 2021 - Archive for Mathematical Logic 61 (1):81-103.
    We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also prove that weak quasi-o-minimality of a theory with respect to one definable linear order implies weak quasi-o-minimality with respect to any other such order.
    Download  
     
    Export citation  
     
    Bookmark