Nonexistence of finitely generated standard elementary extensions of free lattices

Let Fn\mathbf F_n be the free lattice on nn generators. An elementary extension KFn\mathbf K\succ\mathbf F_n is standard if the associated map hKh_{\mathbf K} has range in Fn\mathbf F_n. Nonexistence conjecture. There is no finitely generated standard elementary extension of Fn\mathbf F_n. This conjecture concerns the structure of models of Th(Fn)\operatorname{Th}(\mathbf F_n) and would provide a positive result under the standardness hypothesis, in contrast with the general complexity of these models. The source does not state whether the conjecture is resolved.

Sources & referencesView supporting material

Primary source

J. B. Nation and Gianluca Paolini, “Elementary Properties of Free Lattices”, arXiv:2310.03366 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.