加载中…
We construct a model of the Open Graph Axiom (OGA) in which there is a 2-entangled Suslin line . Consequently, in this model, there is a 2-entangled uncountable linear order, but no such order is separable. This resolves a problem posed by Carroy, Levine, and Notaro \cite{carroy2025} and answers a question from McKenney on MathOverflow \cite{Mckenney2014}.

生成讲解博客的中文版本

生成AI智能校验的中文版本