Product of Invariant Types Modulo Domination-Equivalence
Logic
2025-03-14 v2
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.
Cite
@article{arxiv.1810.13279,
title = {Product of Invariant Types Modulo Domination-Equivalence},
author = {Rosario Mennuni},
journal= {arXiv preprint arXiv:1810.13279},
year = {2025}
}