2 citations · 4 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2008★ 1 cited
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids
Pedro Sánchez Terraf
We study varieties with a term-definable poset structure, "po-groupoids". It is known that connected posets have the "strict refinement property" (SRP). In [arXiv:0808.1860v1 [math…
math.LO2008★ 1 cited
Boolean Factor Congruences and Property (*)
Pedro Sánchez Terraf
A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds…