On rank not only in NSOP1 theories
Autor: | Dobrowolski, Jan, Hoffmann, Daniel Max |
---|---|
Rok vydání: | 2021 |
Předmět: | |
Druh dokumentu: | Working Paper |
Popis: | We introduce a family of local ranks DQ 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 NSOP1 theory these ranks satisfy some desirable properties; in particular, DQ(x=x)<\omega for any finite variable x and any Q, if q\supseteq p is a Kim-forking extension of types, then DQ(q) |
Databáze: | arXiv |
Externí odkaz: |