Epimorphisms are not surjective, even in simple algebras (Q2903748)

From MaRDI portal





scientific article; zbMATH DE number 6062905
Language Label Description Also known as
English
Epimorphisms are not surjective, even in simple algebras
scientific article; zbMATH DE number 6062905

    Statements

    Epimorphisms are not surjective, even in simple algebras (English)
    0 references
    0 references
    1 August 2012
    0 references
    algebraic logic
    0 references
    amalgamation
    0 references
    cylindric algebras
    0 references
    epimorphism
    0 references
    Beth definability
    0 references
    J. Madarász proved that epimorphisms are not surjective in the class of semisimple cylindric algebras. The present author strenghtens this result: epimorphisms are not surjective in the class of infinite-dimensional simple cylindric algebras. This result implies that the Beth definability property fails for certain infinite logics.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references