Linearization of analytic order relations

Details Linearization of analytic order relations Linearization of analytic order relations

1997-06-04

arxiv.org/abs/math/9706204v1

Mathematics

Logic

Scientific paper

We prove that if $\leq$ is an analytic partial order then either $\leq$ can be extended to a (boldface) $\Delta^1_2$ linear order similar to an antichain in $2^{<\omega_1}$ ordered lexicographically or a certain Borel partial order $\leq_0$ embeds in $\leq.$ Some corollaries for analytic equivalence relations are given, for instance, if $E$ is a $\Sigma^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]$.

Affiliated with

Also associated with

No associations

Rating

Linearization of analytic order relations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Linearization of analytic order relations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Linearization of analytic order relations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-552750