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  
  • Three Surprising Instances of Dividing.Gabriel Conant & Alex Kruckman - forthcoming - Journal of Symbolic Logic:1-20.
    We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type p over a set B does not divide over $C\subseteq B$, then no extension of p to a complete type over $\operatorname {acl}(B)$ divides over C. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an $\mathrm {NSOP}_1$ theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Vector spaces with a dense-codense generic submodule.Alexander Berenstein, Christian D'Elbée & Evgueni Vassiliev - 2024 - Annals of Pure and Applied Logic 175 (7):103442.
    Download  
     
    Export citation  
     
    Bookmark