Directly indecomposables in semidegenerate varieties of connected po-groupoids

DOI10.1007/S11083-008-9101-9zbMath1168.08005arXiv0810.1305OpenAlexW3104361849MaRDI QIDQ1013996

Pedro Sánchez Terraf

Publication date: 24 April 2009

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0810.1305

zbMATH Keywords

connected po-groupoiddirectly indecomposablespo-groupoidsemidegenerate variety

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Products, amalgamated products, and other kinds of limits and colimits (08B25) Sets with a single binary operation (groupoids) (20N02)

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• A note on indecomposable lattices
• Congruences and one element subalgebras
• Varieties of shells
• Varieties having Boolean factor congruences
• The lattice of equational classes of idempotent semigroups
• Subdirectly irreducible idempotent semigroups
• Varieties with definable factor congruences

This page was built for publication: Directly indecomposables in semidegenerate varieties of connected po-groupoids