Algebraic Theory of Quasivarieties

1998
ISBN: 978-0-306-11063-4
Verlag: Springer US

Buch, Englisch, 300 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1370 g

Reihe: Siberian School of Algebra and Logic

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach developed by the author himself. A revolutionary exposition, this influential text contains a number of results never before published in book form, featuring in-depth commentary for applications of quasivarieties to graphs, convex geometries, and formal languages. Key features include coverage of the Birkhoff-Mal'tsev problem on the structure of lattices of quasivarieties, helpful exercises, and an extensive list of references.

Zielgruppe

Research

Autoren/Hrsg.

Gorbunov, Viktor A.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Algebra Elementare Algebra
• Mathematik | Informatik Mathematik Algebra Homologische Algebra

Inhaltsverzeichnis

Basic Notions. Finitely Presented Structures. Subdirectly Irreducible Structures. Join Semidistributive Lattices. Lattices of Quasivarieties. Quasi-Identities on Structures. Index.