Switch to: References

Add citations

You must login to add citations.
  1. Positive indiscernibles.Mark Kamsma - forthcoming - Archive for Mathematical Logic:1-20.
    We generalise various theorems for finding indiscernible trees and arrays to positive logic: based on an existing modelling theorem for s-trees, we prove modelling theorems for str-trees, str$$_0$$ 0 -trees (the reduct of str-trees that forgets the length comparison relation) and arrays. In doing so, we prove stronger versions for basing—rather than locally basing or EM-basing—str-trees on s-trees and str$$_0$$ 0 -trees on str-trees. As an application we show that a thick positive theory has k-$$\mathsf {TP_2}$$ TP 2 iff it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dividing Lines Between Positive Theories.Anna Dmitrieva, Francesco Gallinaro & Mark Kamsma - forthcoming - Journal of Symbolic Logic:1-25.
    We generalise the properties $\mathsf {OP}$, $\mathsf {IP}$, k- $\mathsf {TP}$, $\mathsf {TP}_{1}$, k- $\mathsf {TP}_{2}$, $\mathsf {SOP}_{1}$, $\mathsf {SOP}_{2}$, and $\mathsf {SOP}_{3}$ to positive logic, and prove various implications and equivalences between them. We also provide a characterisation of stability in positive logic in analogy with the one in full first-order logic, both on the level of formulas and on the level of theories. For simple theories there are the classically equivalent definitions of not having $\mathsf {TP}$ and dividing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation