Product of Invariant Types Modulo Domination-Equivalence
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2018
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909536375275520 |
|---|---|
| author | Mennuni, Rosario |
| author_facet | Mennuni, Rosario |
| contents | We investigate the interaction between the product of invariant types and domination-equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1810_13279 |
| institution | arXiv |
| publishDate | 2018 |
| record_format | arxiv |
| spellingShingle | Product of Invariant Types Modulo Domination-Equivalence Mennuni, Rosario Logic 03C45 We investigate the interaction between the product of invariant types and domination-equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is. |
| title | Product of Invariant Types Modulo Domination-Equivalence |
| topic | Logic 03C45 |
| url | https://arxiv.org/abs/1810.13279 |