Linear orders: when embeddability and epimorphism agree

DOI10.1142/S021906131950003XMaRDI QIDQ5223122zbMATH OpenFDO

Authors Riccardo Camerlo, Raphaël Carroy, Alberto Marcone

Publication date 8 July 2019

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1701.02020

zbMATH Keywords

effective descriptive set theoryepimorphismslinear ordersstrongly surjective linear orders

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other set-theoretic hypotheses and axioms (03E65) Total orders (06A05)

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.

Recommendations

• Uncountable strongly surjective linear orders
• On the quasi-ordering of Borel linear orders under embeddability
• Epimorphisms between linear orders.
• Universal analytic preorders arising from surjective functions
• Countably complementable linear orderings

Cites work

• A combinatorial property of the homomorphism relation between countable order types
• Baumgartner's isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\)
• Descriptive set theory
• Epimorphisms between linear orders.
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 15666 (Why is no real title available?)
• scientific article; zbMATH DE number 3616415 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3797750 (Why is no real title available?)
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• On isometry and isometric embeddability between ultrametric Polish spaces
• The descriptive set theory of the Lebesgue density theorem
• Two results on borel orders
• Uncountable strongly surjective linear orders
• Wadge hierarchy of differences of co-analytic sets
• Αll ℵ_1-dense sets of reals can be isomorphic

Cited in

(9)

• Uncountable strongly surjective linear orders
• Polish metric spaces with fixed distance set
• Galvin's question on non-\( \sigma \)-well ordered linear orders
• scientific article; zbMATH DE number 3863258 (Why is no real title available?)
• Universal analytic preorders arising from surjective functions
• Surjectively rigid chains
• Piecewise convex embeddability on linear orders
• Convex embeddability and knot theory
• Epimorphisms between linear orders.

This page was built for publication: Linear orders: when embeddability and epimorphism agree

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5223122)