Formulas and ultraproducts in categories (Q787978): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q227769 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / author | |||
Property / author: Istvan Németi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 01:15, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formulas and ultraproducts in categories |
scientific article |
Statements
Formulas and ultraproducts in categories (English)
0 references
1979
0 references
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.
0 references
formulas
0 references
ultraproducts
0 references
universal algebra
0 references
model theory
0 references
small HS-cones
0 references