Linearization of definable order relations

DOI10.1016/S0168-0072(99)00013-5MaRDI QIDQ1964145zbMATH OpenFDO

Authors Vladimir Kanovei

Publication date 15 August 2000

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

linearizationlinear orderSolovay modelSouslin relationnon-Borel partial orders

Mathematics Subject Classification ID

Partial orders, general (06A06) Descriptive set theory (03E15) Consistency and independence results (03E35) Total orders (06A05)

Abstract: We prove that if $leq$ is an analytic partial order then either $leq$ can be extended to a (boldface) $Delt{a}_2^1$ linear order similar to an antichain in $2^{<omeg{a}_1}$ ordered lexicographically or a certain Borel partial order $le{q}_0$ embeds in $leq.$ Some corollaries for analytic equivalence relations are given, for instance, if $E$ is a $Sigm{a}_1^1[z]$ equivalence relation such that $E_0$ does not embed in $E$ then $E$ is determined by intersections with E-invariand Borel sets coded in $L[z]$.

Recommendations

• When a partial Borel order is linearizable
• Linear extensions of partial orders and reverse mathematics
• On the quasi-ordering of Borel linear orders under embeddability
• Borel Orderings
• Two results on borel orders

Cites work

• scientific article; zbMATH DE number 3809544 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1083160 (Why is no real title available?)
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• A model of set-theory in which every set of reals is Lebesgue measurable
• An Ulm-type classification theorem for equivalence relations in Solovay model
• Analytic equivalence relations and Ulm-type classifications
• Borel Orderings
• Nonstandard models and analytic equivalence relations
• On co-\(\kappa\)-Souslin relations
• Thin equivalence relations and effective decompositions
• Two results on borel orders
• Ulm Classification of Analytic Equivalence Relations in Generic Universes
• When a partial Borel order is linearizable

Cited in

(11)

• Linear Orders in the Pushdown Hierarchy
• Borel Orderings
• Glimm-Effros for coanalytic equivalence relations
• When a partial Borel order is linearizable
• Codings on linear orders and algorithmic independence of natural relations
• scientific article; zbMATH DE number 68156 (Why is no real title available?)
• An infinity which depends on the axiom of choice
• A note on the expressive power of linear orders
• On countable cofinality and decomposition of definable thin orderings
• Relations Intrinsically Recursive in Linear Orders
• scientific article; zbMATH DE number 1827968 (Why is no real title available?)

This page was built for publication: Linearization of definable order relations

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