scientific article; zbMATH DE number 966890

MaRDI QIDQ5690142zbMATH OpenFDO

Authors Jerzy Hanusek

Publication date 15 January 1997

zbMATH Keywords

Boolean algebras with distinguished subset closed under some operationsclone of operationsfirst-order theoryternary discriminator

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• scientific article; zbMATH DE number 1138596
• scientific article; zbMATH DE number 4091580
• scientific article; zbMATH DE number 4214083
• scientific article; zbMATH DE number 4110759
• Decidable Discriminator Varieties from Unary Classes

Cited in

(3)

• Finite degree clones are undecidable
• Definability of sentences in the language of Boolean algebras with distinguished ideals
• scientific article; zbMATH DE number 1138596 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5690142)