19 citations · 81 across the 20 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
Nonfinitely based ai-semirings with finitely based semigroup reducts
Marcel Jackson, Miaomiao Ren, Xianzhong Zhao
We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a -element com…
math.LO2021★ 1 cited
Restriction in Program Algebra
Marcel Jackson, Tim Stokes
We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are o…