The conjecture that every model of curve-excluding fields has SOP
The conjecture that every model of curve-excluding fields has SOP
Let be the theory of fields excluding the curve over the base field , and let be a model of . The property is the strict order property of level , while a theory is strictly if it is but not . The SOP conjecture. Every model of has ; equivalently, every model of is strictly . The paper proves that all models are and gives some models with , but the assertion for every curve , base field , and model remains open.
Sources & referencesView supporting material
Primary source
Will Johnson and Jinhe Ye, “Curve-excluding fields”, arXiv:2303.06063 (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.