Switch to: References

Add citations

You must login to add citations.
  1. On Rank Not Only in Nsop Theories.Jan Dobrowolski & Daniel Max Hoffmann - forthcoming - Journal of Symbolic Logic:1-34.
    We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP $_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q) (...)
    Download  
     
    Export citation  
     
    Bookmark