Hyperformulas and solid algebraic systems

DOI10.1007/s11225-008-9152-3zbMath1162.08001OpenAlexW2087608336MaRDI QIDQ1005961

Dara Phusanga, Klaus Denecke

Publication date: 17 March 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9152-3

zbMATH Keywords

hyperidentityhypersubstitutionGalois correspondenceclone of formulashyperformulahypersatisfactionsolid class of algebraic systems

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Algebraic structures (08A99)

Related Items

FACTORISABLE MONOID OF LINEAR HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS OF TYPE ((n), (m)), REGULARITY OF RELATIONAL HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS, All maximal unit-regular elements of Relhyp((m),(n)), Superassociative structures of terms and formulas defined by transformations preserving a partition, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The partial clone of linear formulas, Deterministic and non-deterministic hypersubstitutions for algebraic systems, Hypersatisfaction of quantifier free formulas in algebraic systems, All idempotent and regular elements in the monoid of generalized hypersubstitutions for algebraic systems of type (2; 2), Partial clones, Hyper-pseudoformulas and M-solid ordered pseudovarieties, Green’s Relations on Regular Elements of Semigroup of Relational Hypersubstitutions for Algebraic Systems of Type ((m), (n))

Cites Work

• Hypervarieties of a given type
• Unnamed Item
• Unnamed Item