Forcing extensions of partial lattices (Q1810555): Difference between revisions
From MaRDI portal
Revision as of 17:23, 5 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Forcing extensions of partial lattices |
scientific article |
Statements
Forcing extensions of partial lattices (English)
0 references
9 June 2003
0 references
Let \(K\) be a lattice. Then \(\text{Con}_CK\) denotes the \(\{\vee, 0\}\)-semilattice of all finitely generated congruences of \(K\). The congruence lattice problem of Dilworth asks whether every distributive \(\{\vee, 0\}\)-semilattice is isomorphic to \(\text{Con}_CL\) for some lattice \(L\). This problem is still open. Here the author makes some contributions toward this problem. It is shown: Let \(K\) be a lattice, \(D\) a distributive lattice with \(0\) and \(\varphi:\text{Con}_CK\to D\) be a \(\{\vee,0\}\)-homomorphism. Then there are a lattice \(L\), a lattice homomorphism \(f: K\to L\) and an isomorphism \(\alpha: \text{Con}_CL\to D\) with \(\alpha\circ \text{Con}_Cf= \varphi\). It is shown that \(f\) and \(L\) satisfy some additional properties. The author uses methods which come from forcing and Boolean-valued models. He generalizes some known results. So he shows: Every lattice \(K\) such that \(\text{Con}_CK\) is a lattice, admits a congruence preserving extension into a relatively complemented lattice.
0 references
partial lattice
0 references
forcing extension
0 references
Boolean-valued lattice
0 references
amalgamation
0 references
0 references