Entangled Suslin lines and OGA
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917115465826304 |
|---|---|
| author | Martinez-Ranero, Carlos Polymeris, Lucas |
| author_facet | Martinez-Ranero, Carlos Polymeris, Lucas |
| contents | We construct a model of the Open Graph Axiom (OGA) in which there is a 2-entangled Suslin line $S$. 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}. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_01065 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Entangled Suslin lines and OGA Martinez-Ranero, Carlos Polymeris, Lucas Logic General Topology 03E35, 03E75 We construct a model of the Open Graph Axiom (OGA) in which there is a 2-entangled Suslin line $S$. 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}. |
| title | Entangled Suslin lines and OGA |
| topic | Logic General Topology 03E35, 03E75 |
| url | https://arxiv.org/abs/2512.01065 |