Switch to: References

Add citations

You must login to add citations.
  1. Linearization of definable order relations.Vladimir Kanovei - 2000 - Annals of Pure and Applied Logic 102 (1-2):69-100.
    We prove that if ≼ is an analytic partial order then either ≼ can be extended to a Δ 2 1 linear order similar to an antichain in 2 ω 1 , ordered lexicographically, or a certain Borel partial order ⩽ 0 embeds in ≼. Similar linearization results are presented, for κ -bi-Souslin partial orders and real-ordinal definable orders in the Solovay model. A corollary for analytic equivalence relations says that any Σ 1 1 equivalence relation E , such that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation