Algebraic Theory of Quasivarieties

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.

List of contents

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

Product details

• Authors: Viktor A Gorbunov, Viktor A. Gorbunov
• Publisher: Springer, Berlin
• Languages: English
• Product format: Hardback
• Released: 01.07.2009
• EAN: 9780306110634
• ISBN: 978-0-306-11063-4
• No. of pages: 300
• Dimensions: 155 mm x 235 mm x 22 mm
• Weight: 637 g
• Illustrations: XII, 300 p.
• Series: Siberian School of Algebra and Logic; Siberian School of Algebra and Logic
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles