Linear orders: when embeddability and epimorphism agree
Logic
2020-06-30 v2
Abstract
When a linear order has an order preserving surjection onto each of its suborders we say that it is strongly surjective. We prove that the set of countable strongly surjective linear orders is complete for the class of sets which are the union of an analytic and a coanalytic set. Using hypotheses beyond ZFC, we prove the existence of uncountable strongly surjective orders.
Cite
@article{arxiv.1701.02020,
title = {Linear orders: when embeddability and epimorphism agree},
author = {Riccardo Camerlo and Raphaël Carroy and Alberto Marcone},
journal= {arXiv preprint arXiv:1701.02020},
year = {2020}
}
Comments
32 pages; v2 is the "accepted author manuscript" - an author-created version of the final journal article (to reflect changes made in peer review and editing)