Kvazivariety s nedefinovatlnými relativními principiálními subkongruencemi

Abstrakt

Studuje se vlastnost definovatelnosti relativních principálních podkongruencí pro kvazivariety. Takové kvazivariety mají konečnou bázi pro své kvaziidentity právě tehdy, když jejich relativně subdirektně ireducibilní algebry tvoří striktně elementární třídu.

Klíčová slova

• Quasivarieties
• Definable
• Relative
• Principal
• Subcongruences