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.png

recede 发表于 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.png

GRAZE 发表于 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.png

jumble 发表于 2025-4-2 06:28:44

http://reply.papertrans.cn/59/5820/581962/581962_67.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Lattices, Semigroups, and Universal Algebra; Jorge Almeida,Gabriela Bordalo,Philip Dwinger Book 1990 Springer Science+Business Media New Y