The countable homogeneous universal model of \(B_ 2\) (Q1914058): 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: David M. Clark / rank | |||
Property / reviewed by | |||
Property / reviewed by: Tibor Katrińák / rank | |||
Property / author | |||
Property / author: David M. Clark / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tibor Katrińák / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model companions for finitely generated universal Horn classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of algebraically and existentially closed Stone and double Stone algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4847014 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5184960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantifier elimination for Stone algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraically closed distributive p-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model companions of distributive <i>p</i>-algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4121893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on ℵ0-categorical model-companions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 12:25, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The countable homogeneous universal model of \(B_ 2\) |
scientific article |
Statements
The countable homogeneous universal model of \(B_ 2\) (English)
0 references
21 April 1997
0 references
An algebra \(A\) is algebraically (existentially) closed in a class \(K\) of algebras, if every finite system of polynomial equations (and inequalities) with parameters in \(A\) that is solvable in some extension \(B\) of \(A\) in \(K\), is solvable in \(A\). A (countable) algebra \(A\) is homogeneous if any isomorphism between finite subalgebras of \(A\) can be extended to an automorphism. Eventually, a countable algebra \(A\) from \(K\) is universal, if any finite or countable algebra from \(K\) can be embedded into \(A\). A distributive \(p\)-algebra \(A\) is an algebra \((A;\vee, \wedge,{}^*, 0,1)\) such that \((A;\vee, \wedge,0,1)\) is a bounded distributive lattice and the unary operation \({}^*\) satisfies \(x\leq a^*\) if and only if \(x\wedge a=0\). Let \(B_2\) denote the four-element lattice with an additional new unit element. Then \(B_2\) is a distributive \(p\)-algebra. Let \(K_2\) denote the quasivariety of distributive \(p\)-algebras generated by \(B_2\). Clearly, \(K_2= \text{ISP} (B_2)\). The second author characterized the algebraically closed [Algebra Univers. 15, 126-141 (1982; Zbl 0507.06009)] and the existentially closed [J. Symb. Logic 47, 680-688 (1982; Zbl 0494.03023)] algebras in all subvarieties of distributive \(p\)-algebras. In this paper, the authors show that: (1) The axioms characterizing the algebraically (existentially) closed algebras from \(K_2\) given by the second author in the above mentioned papers, can be reduced so that the new sets of axioms are independent. (2) From general considerations it is known (see \textit{S. Burris} [J. Symb. Logic 49, 68-74 (1984; Zbl 0599.03033)] or \textit{V. Weispfenning} [Arch. Math. Logik Grundlagenforsch. 19, 23-29 (1987; Zbl 0408.03024)]) that \(K_2\) contains a unique countable homogeneous universal algebra. In the paper under review this algebra is constructed. The main tool is a topological duality.
0 references
algebraically closed algebra
0 references
existentially closed algebra
0 references
distributive \(p\)-algebra
0 references
quasivariety
0 references
countable homogeneous universal algebra
0 references
topological duality
0 references
0 references