Axiomatizability of replete classes (Q802589)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiomatizability of replete classes |
scientific article |
Statements
Axiomatizability of replete classes (English)
0 references
1984
0 references
Let \({\mathcal R}\) be a class of algebraic systems. \({\mathcal R}\) is quasicompact iff \({\mathcal R}\) is compact with respect to any set of formulas of the form \(\{F_ j:\) \(j\in J\}\cup \{\neg F_ 0\}\), where \(F_ j\), \(F_ 0\) are atomic formulas. This notion allows the author to fully characterize the condition under which the closure SP(\({\mathcal R})\) of \({\mathcal R}\) with respect to subclasses and direct products is a quasivariety, namely: SP(\({\mathcal R})\) is a quasivariety iff \({\mathcal R}\) is quasicompact. As a corollary of this theorem the following results of \textit{A. I. Mal'cev} [Algebra Logika 5, No.3, 3-9 (1966; Zbl 0248.08006)] and \textit{G. Grätzer} and \textit{H. Lakser} [Can. Math. Bull. 16, 603-605 (1973; Zbl 0299.08007)]: Q(\({\mathcal R})=SP_ r({\mathcal R})\) and Q(\({\mathcal R})=SPP_ u({\mathcal R})\), where Q(\({\mathcal R})\) is the minimal quasivariety including \({\mathcal R}\), \(P_ u({\mathcal R})\) and \(P_ r({\mathcal R})\) are the classes of all ultraproducts and all filtered products of systems from \({\mathcal R}\).
0 references
compactness
0 references
algebraic systems
0 references
atomic formulas
0 references
closure
0 references
direct products
0 references
quasivariety
0 references
ultraproducts
0 references
filtered products
0 references