- Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
2024/07/23 by Barto, Libor, Kapytka, Maryia · 1 citation
#03B50 #08A70 #08B05 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
- The finite basis problem for additively idempotent semirings of order four, I
2024/07/22 by Ren, Miaomiao, Liu, Junyang, Zeng, Lingli +1 · 3 citations
#03C05 #08B05 #16Y60 #FOS: Mathematics #Group Theory (math.GR)
- The additively idempotent semiring S70 is nonfinitely based
2023/08/06 by Wu, Yanan, Ren, Miaomiao, Zhao, Xianzhong · 2 citations
#03C05 #08B05 #16Y60 #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO)