Nonexistence of finitely generated standard elementary extensions of free lattices
Nonexistence of finitely generated standard elementary extensions of free lattices
Let be the free lattice on generators. An elementary extension is standard if the associated map has range in . Nonexistence conjecture. There is no finitely generated standard elementary extension of . This conjecture concerns the structure of models of 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.