Entangled Suslin lines and OGA
Logic
2025-12-02 v1 General Topology
Abstract
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}.
Cite
@article{arxiv.2512.01065,
title = {Entangled Suslin lines and OGA},
author = {Carlos Martinez-Ranero and Lucas Polymeris},
journal= {arXiv preprint arXiv:2512.01065},
year = {2025}
}