HIKE 发表于 2025-4-1 02:55:24
http://reply.papertrans.cn/59/5820/581962/581962_61.png引起 发表于 2025-4-1 06:39:29
http://reply.papertrans.cn/59/5820/581962/581962_62.pngrecede 发表于 2025-4-1 13:20:44
The Join of the Pseudovariety J with Permutative Pseudovarieties,rization of the implict operations on ., we calculate some joins of the form .∨ ., where . is a permutative pseudovariety. As a consequence we obtain that, for these ., . ∨ . is decidable if and only if . ∩ . is decidable.beta-carotene 发表于 2025-4-1 16:23:13
http://reply.papertrans.cn/59/5820/581962/581962_64.pngGRAZE 发表于 2025-4-1 20:44:51
Coherent Monoids, functor preserves all embeddings of left S-sets. S is called (.) (., .) . if all (left, right) S-sets are (weakly) flat. Our paper contains results which will be used in the sequel, and is also suggested as a general reference on flatness.面包屑 发表于 2025-4-2 01:31:07
http://reply.papertrans.cn/59/5820/581962/581962_66.pngjumble 发表于 2025-4-2 06:28:44
http://reply.papertrans.cn/59/5820/581962/581962_67.png