Uncountable strongly surjective linear orders
A linear order \(L\) is called \emph{strongly surjective} if whenever \(K\) is a suborder of \(L\), then there is a surjective order-preserving map \(f : L \rightarrow K\). In this paper, various results on the existence and non-existence of uncountable strongly surjective linear orders were obtained, answering questions of \textit{R. Camerlo} et al. [Order 32, No. 3, 387--400 (2015; Zbl 1327.06001)]. In particular, the author proved that the guessing principle \(\Diamond^{+}\) implies the existence of a lexicographically ordered Suslin tree which is strongly surjective and minimal, and every strongly surjective linear order must be an Aronszajn type under \(2^{\aleph_0} < 2^{\aleph_1}\) or in the Cohen and other canonical models (where \(2^{\aleph_0}=2^{\aleph_1}\)). The author also shows that it is consistent with \(\mathrm{CH}\) that there are no uncountable strongly surjective linear orders at all. A total number of 17 open problems were listed in the paper.
- Linear orders: when embeddability and epimorphism agree
- A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\)
- A strongly non-Ramsey order type
- \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
- scientific article; zbMATH DE number 3888510
- \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
- A five element basis for the uncountable linear orders
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Epimorphisms between linear orders.
- scientific article; zbMATH DE number 3888510 (Why is no real title available?)
- scientific article; zbMATH DE number 15666 (Why is no real title available?)
- scientific article; zbMATH DE number 3797750 (Why is no real title available?)
- Martin's axiom does not imply that every two \(chi_ 1-\)dense sets of reals are isomorphic
- On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
- Parametrized \diamondsuit principles
- Set Theory
- Walks on ordinals and their characteristics
- Αll ℵ_1-dense sets of reals can be isomorphic
- Countable linear orders with disjoint infinite intervals are mutually orthogonal
- A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\)
- \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
- Linear orders: when embeddability and epimorphism agree
- On minimal non--scattered linear orders
- More minimal non-\(\sigma\)-scattered linear orders
- Epimorphisms between linear orders.
This page was built for publication: Uncountable strongly surjective linear orders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1732801)
