Algebra of M-Solid Quasivarieties

Γίνε ο πρώτος που θα αξιολόγησει αυτό το προϊόν

Quasivarieties are classes of algebras of the same type, which are defined by sets of implications....

Κωδ.Προϊόντος: 196891

ISBN: 6188111803

Τιμή χωρίς έκπτωση: €48,00

Τιμή: €38,40

Ποσότητα:

i h

Χρόνος παράδοσης: 1-3 μέρες

Περιγραφή
Αξιολογήσεις
Επικοινωνήστε μαζί μας

Quasivarieties are classes of algebras of the same type, which are defined by sets of implications. Equivalently, a class of algebras of the same type is a quasivariety if it is isomorphically and multiplicatively closed, closed under ultraproducts, hereditary and contains a trivial algebra. Quasivarieties became much more important when it turned out that they are the appropriate classes of algebras to algebraize logical calculi. The study of all subquasivarieties of a given variety is a challenging problem. Unfortunately, little is known about the lattice of all subquasivarieties of a given quasivariety. The theory of hyperidentities (hyperquasi-identities) and hypersubstitutions, to which the author of this monograph contributed a lot in the past twenty years, is offering such methods. For each submonoid M of the monoid of all hypersubstitutions of a given type, M-solid varieties and M-solid quasivarieties were invented in order to consider a complete sublattice of the lattice of all subvarieties and subquasivarieties, respectively. The concept of an M-derived algebra and an M-derived quasivariety is a useful tool. Some of the concepts were invented by the author and collaborators. The Birkhoff-type characterization of M-hypervarieties and M-hyperquasivarieties is presented. Some newer ideas concern the description of the derivation concepts of M-hyperequational and M-hyperquasi-equational logic. The solution of the M-hyperbasis and M-hyperquasi-basis is given. Results of an M-dimension of a variety are also presented.

0 Αξιολόγηση(εις)

Γράψτε τη δική σου αξιολόγηση Κλείσιμο

Το προϊόν μπορεί να αξιολογηθεί μόνο μετά την αγορά του
Μόνο οι εγγεγραμμένοι χρήστες μπορούν να γράψουν σχόλια

Ονοματεπώνυμο *

Το email σας *

Θέμα: *

Μήνυμα *