2 problems

Let $\mathbf F_n$ be the free lattice on $n$ generators. An elementary extension $\mathbf K\succ\mathbf F_n$ is standard if the associated map $h_{\mathbf K}$ has range in…

The countable width-two lattice decomposition conjecture. The lattice $L$ is semidistributive and