A note on homomorphisms of Hilbert algebras (Q1607811)

From MaRDI portal
Revision as of 04:03, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A note on homomorphisms of Hilbert algebras
scientific article

    Statements

    A note on homomorphisms of Hilbert algebras (English)
    0 references
    13 August 2002
    0 references
    Summary: We give a representation theorem for Hilbert algebras by means of ordered sets and characterize the homomorphisms of Hilbert algebras in terms of applications defined between the sets of all irreducible deductive systems of the associated algebras. For this purpose we introduce the notion of order-ideal in a Hilbert algebra and we prove a separation theorem. We also define the concept of semi-homomorphism as a generalization of the similar notion of Boolean algebras and we study its relation with the concept of homomorphism and with the deductive systems.
    0 references
    representation theorem
    0 references
    Hilbert algebras
    0 references
    ordered sets
    0 references
    homomorphisms
    0 references
    irreducible deductive systems
    0 references
    order-ideal
    0 references

    Identifiers