Charles Explorer logo
🇨🇿

Nové podmínky pro Taylorovy variety a CSP

Publikace na Matematicko-fyzikální fakulta |
2010

Abstrakt

Článek ukazuje dvě nové charakteritace konečně generovaných variet s Taylorovými termy. První charakterizace používá "absorbující množiny" a druhá "cyklické operace".

Tyto dvě podmínky nám umožňují podat nové, elementární, důkazy hypotézy Bang-Jensena a Hella a charakterizace lokálně konečných Taylorových variet užitím weak near-unanimity operací.