The complexity of classifying continuous t-norms up to isomorphism
arXiv:2408.16456 · doi:10.1016/j.topol.2025.109684
Abstract
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence relation.
arXiv comment15 pages, revised version