The complexity of classifying continuous t-norms up to isomorphism
Logic
2025-12-18 v3 General Topology
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.
Cite
@article{arxiv.2408.16456,
title = {The complexity of classifying continuous t-norms up to isomorphism},
author = {Jialiang He and Lili Shen and Yi Zhou},
journal= {arXiv preprint arXiv:2408.16456},
year = {2025}
}
Comments
15 pages, revised version