2016/06/01 by Stefan Geschke, Geschke, Stefan
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.1606.00338
arxiv created 2016/06/01 · openalex publication_date 2016/06/01 · arxiv updated 2016/06/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In various places in the literature it is stated that every separable linear order embeds into the real line. This is, however, not the case, at least not with respect to the usual definition of separability. We correct this misconception.