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.
Product of invariant types modulo domination–equivalence / R. Mennuni. - In: ARCHIVE FOR MATHEMATICAL LOGIC. - ISSN 0933-5846. - 59:1-2(2020 Feb), pp. 1-29. [10.1007/s00153-019-00676-9]
Product of invariant types modulo domination–equivalence
R. Mennuni
2020
Abstract
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s00153-019-00676-9.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
471.38 kB
Formato
Adobe PDF
|
471.38 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
