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: |
|