The conjecture that every model of curve-excluding fields has SOP3_3

Let CXFC\mathrm{XF} be the theory of fields excluding the curve CC over the base field K0K_0, and let MM be a model of CXFC\mathrm{XF}. The property SOP3\mathrm{SOP}_3 is the strict order property of level 33, while a theory is strictly NSOP4\mathrm{NSOP}_4 if it is NSOP4\mathrm{NSOP}_4 but not NSOP3\mathrm{NSOP}_3. The SOP3_3 conjecture. Every model of CXFC\mathrm{XF} has SOP3\mathrm{SOP}_3; equivalently, every model of CXFC\mathrm{XF} is strictly NSOP4\mathrm{NSOP}_4. The paper proves that all models are NSOP4\mathrm{NSOP}_4 and gives some models with SOP3\mathrm{SOP}_3, but the assertion for every curve CC, base field K0K_0, and model remains open.

Sources & referencesView supporting material

Primary source

Will Johnson and Jinhe Ye, “Curve-excluding fields”, arXiv:2303.06063 (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.