Linearization of definable order relations

DOI10.1016/S0168-0072(99)00013-5zbMATH Open0942.03055arXivmath/9706204MaRDI QIDQ1964145FDOQ1964145

Authors: Vladimir Kanovei 

Publication date: 15 August 2000

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

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]$.

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

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

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)

Cites Work

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

Cited In (10)

• Borel Orderings
• Glimm-Effros for coanalytic equivalence relations
• Codings on linear orders and algorithmic independence of natural relations
• Title not available (Why is that?)
• A note on the expressive power of linear orders
• An infinity which depends on the axiom of choice
• On countable cofinality and decomposition of definable thin orderings
• Relations Intrinsically Recursive in Linear Orders
• Title not available (Why is that?)
• Linear Orders in the Pushdown Hierarchy

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)