Equivalents for a quasivariety to be generated by a single structure

DOI10.1007/S11225-009-9168-3MaRDI QIDQ1005982zbMATH OpenOpenAlexFDO

Authors W. Dziobiak, Aleksandr Vladimirovich Kravchenko, Piotr Wojciechowski

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-009-9168-3

zbMATH Keywords

embedding propertyfree productgeneration by a single structureLos-Suszko rulequasivariety

Mathematics Subject Classification ID

Quasivarieties (08C15)

Review text

In \textit{A. I. Mal'tsev}'s article [Algebra Logika 5, No. 3, 3--9 (1966; Zbl 0248.08006)], there can be found a condition for a quasivariety to be generated by a single structure, namely, the embedding property for nontrivial structures, which states that if \(A,B\in \mathcal{K}\) are nontrivial, then there exists \(C\in \mathcal{K}\) such that \(A,B\) are embeddable into \(C.\) In this paper, the authors present more equivalent conditions for a quasivariety of structures to be generated by a single structure, thus equivalent to Mal'tsev's condition.

Recommendations

• Singly generated quasivarieties and residuated structures
• scientific article; zbMATH DE number 4120230
• Finitely generated congruence distributive quasivarieties of algebras
• Quasivarieties generated by two-element algebras revisited
• scientific article; zbMATH DE number 125211

Cites work

• Algebraizable logics
• Embeddings of totally ordered MV-algebras of bounded cardinality
• Finite-to-finite universal quasivarieties are Q-universal.
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3532916 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 1534356 (Why is no real title available?)
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(3)

• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Singly generated quasivarieties and residuated structures
• On pretabular extensions of relevance logic

This page was built for publication: Equivalents for a quasivariety to be generated by a single structure

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