Nonexistence of finitely generated standard elementary extensions of free lattices

About 3 years old · traced to

Let Fn\mathbf F_n be the free lattice on nn generators. An elementary extension K≻Fn\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.

References

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.