Models of Horn theories revisited (Q1321041): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Jiří Rosický / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q587522 / rank | |||
Property / author | |||
Property / author: Jiří Rosický / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Kimmo I. Rosenthal / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4712042 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Injectivity in Locally Presentable Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3830985 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4111746 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124986 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concrete categories and infinitary languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semi-initial completions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:27, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Models of Horn theories revisited |
scientific article |
Statements
Models of Horn theories revisited (English)
0 references
31 October 1994
0 references
In his paper ``Models of Horn theories'' [Contemp. Math. 92, 1-7 (1989; Zbl 0676.03022)], \textit{M. Barr} made a conjecture regarding a characterization of categories of models of universal Horn theories, which is answered affirmatively in the article under review. Given a set \(S\) of sorts, and a set \(\Sigma\) of \(S\)-sorted operation and relation symbols, a universal Horn theory for this is given by a set of axioms of the form \(\forall x\) \((\bigwedge_{i\in I} \tau_ i(x) \Rightarrow \psi(x))\), where \(\tau_ i\) (for all \(i\in I\)) and \(\psi\) are atomic formulas, \(I\) is a set and \(x\) is an \(n\)-tuple of variables. The theorem proved states that a category \({\mathcal K}\) is equivalent to a category of models of a universal Horn theory iff it is locally presentable and has an additive generating set of regular projectives. The paper concludes with an example showing that the condition of additivity on the regular projectives is necessary.
0 references
models of universal Horn theories
0 references
additivity
0 references
regular projectives
0 references