- Freely adding one layer of quantifiers to a Boolean doctrine
2024/10/18 by Abbadini, Marco, Guffanti, Francesca · 1 citation
#08B20 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Primary: 03G30. Secondary: 03B10
- Free algebras and coproducts in varieties of Gödel algebras
2024/06/08 by LUCA CARAI, Carai, Luca · 1 citation
#03B55 #06D05 #06D20 #06E15 #08B20 #08B25 #FOS: Mathematics #Logic (math.LO)
- Quantifier-free formulas and quantifier alternation depth in doctrines
2024/04/12 by Abbadini, Marco, Guffanti, Francesca · 1 citation
#08B20 #08C15 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Primary: 03G30. Secondary: 03B10
- New operated polynomial identities and Gröbner-Shirshov bases
2022/03/06 by Wang, Jinwei, Zhu, Zhicheng, Gao, Xing · 1 citation
#05A05 #08B20 #13P10 #16S10 #16W99 #FOS: Mathematics #Rings and Algebras (math.RA)
- The polyhedral geometry of Wajsberg hoops
2022/01/18 by Sara Ugolini, Ugolini, Sara · 1 citation
Computer Science · #03G10 #06D35 #08B20 #08B30 #52B20 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
- Free pre-Lie family algebras
2020/03/02 by Manchon, Dominique, Zhang, Yuanyuan · 4 citations
#08B20 #16S10 #16W99 #FOS: Mathematics #Rings and Algebras (math.RA)
- Free Rota-Baxter family algebras and Free (tri)dendriform family algebras
2020/02/10 by Zhang, Yuanyuan, Gao, Xing, Manchon, Dominique · 1 citation
#08B20 #13P10 #16S10 #16W99 #FOS: Mathematics #Rings and Algebras (math.RA)
- Profinite topologies
2018/04/21 by Almeida, Jorge, Costa, Alfredo · 1 citation
#08A70 #08B20 #20E18 #20M05 #20M07 #20M35 #68Q70 #FOS: Mathematics #Group Theory (math.GR)
- Evaluation and interpolation over multivariate skew polynomial rings
2017/10/26 by Martínez-Peñas, Umberto, Kschischang, Frank R. · 2 citations
#08B20 #11C08 #12E10 #FOS: Mathematics #Rings and Algebras (math.RA)
- Freeness theorems for operads via Gröbner bases
2009/07/28 by Dotsenko, Vladimir · 1 citation
#08B20 #16S15 #18D50 #FOS: Mathematics #Rings and Algebras (math.RA)
- Sets with two associative operation
2003/01/22 by Teimuraz Pirashvili, Pirashvili, Teimuraz · 1 citation
Computer Science · Mathematics · #05E99 #08B20 #20M05 #Advanced Algebra and Logic #Advanced Combinatorial Mathematics #Advanced Topics in Algebra #Combinatorics (math.CO) #FOS: Mathematics #math.CO #msc:05E99 #msc:08B20 #msc:20M05