Formulas and ultraproducts in categories

MaRDI QIDQ787978zbMATH OpenFDO

Authors Hajnal Andréka, István Németi

Publication date 1979

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138161

zbMATH Keywords

formulasmodel theorysmall HS-conesultraproductsuniversal algebra

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Categorical logic, topoi (03G30) Other classes of algebras (08C99) Categories and theories (18C99)

Review text

In this paper the authors demonstrate convincingly how categorical methods can be used to investigate certain problems in universal algebra and model theory. Generalizing the concepts of implications and implicationally defined classes of algebras, as defined by B. Banaschewski and the reviewer [Houston J. Math. 2, 149-171 (1976; Zbl 0344.18002)], the authors introduce, for arbitrary classes H and S of morphisms of a category C, the concepts of small HS-cones and of full subcategories of C, axiomatizable by small HS-cones. Their main theorem states that under mild conditions on C, H, and S a full subcategory A of C is axiomatizable by small HS-cones if and only if \(A=HSP_ uA\), where H, S, and \(P_ u\) denote, respectively, the operations of forming H- images, S-subobjects, and ultraproducts. Several classical results, such as Birkhoff's characterization of quasivarieties, are corollaries of this result.

Cited in

(14)

• On notions of factorization systems and their applications to cone- injective subcategories
• Elementary classes in the injective subcategories approach to abstract model theory
• On systems of varieties definable by schemes of equations
• Axiomatizations of universal classes through infinitary logic
• Some co-Birkhoff type theorems
• scientific article; zbMATH DE number 3880909 (Why is no real title available?)
• scientific article; zbMATH DE number 3821994 (Why is no real title available?)
• scientific article; zbMATH DE number 3916526 (Why is no real title available?)
• scientific article; zbMATH DE number 3931013 (Why is no real title available?)
• scientific article; zbMATH DE number 4093718 (Why is no real title available?)
• scientific article; zbMATH DE number 125200 (Why is no real title available?)
• scientific article; zbMATH DE number 1746897 (Why is no real title available?)
• scientific article; zbMATH DE number 3995937 (Why is no real title available?)
• scientific article; zbMATH DE number 3892199 (Why is no real title available?)

This page was built for publication: Formulas and ultraproducts in categories

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