Kongruenční zdvihnutí diagramů konečných booleovských polosvazů vyžadují velké kongruenční variety

Abstrakt

Kongruenční zdvihnutí diagramů konečných booleovských polosvazů vyžadují velké kongruenční variety

Klíčová slova

• Congruence
• lifting
• diagrams
• finite
• boolean
• semilattices
• requires
• large
• congruence
• varieties