Annals of Pure and Applied Logic 102 (1-2):69-100 (2000)

Authors
Abstract
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 E 0 does not embed in E , is fully determined by intersections with E -invariant Borel sets coded in L
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00013-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,467
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable.[author unknown] - 1973 - Journal of Symbolic Logic 38 (3):529-529.
Two Results on Borel Orders.Alain Louveau - 1989 - Journal of Symbolic Logic 54 (3):865-874.

View all 6 references / Add more references

Citations of this work BETA

Glimm-Effros for Coanalytic Equivalence Relations.Greg Hjorth - 2009 - Journal of Symbolic Logic 74 (2):402-422.

Add more citations

Similar books and articles

On Bounded Type-Definable Equivalence Relations.Ludomir Newelski & Krzysztof Krupi?Ski - 2002 - Notre Dame Journal of Formal Logic 43 (4):231-242.
First-Order Definability in Modal Logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.
Pointwise Definable Models of Set Theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
A Definable Nonstandard Model of the Reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
Definable Well-Orders of $H(\Omega _2)$ and $GCH$.David Asperó & Sy-David Friedman - 2012 - Journal of Symbolic Logic 77 (4):1101-1121.
On Enveloping Type-Definable Structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
Stepping Up Lemmas in Definable Partitions.Evangelos Kranakis - 1984 - Journal of Symbolic Logic 49 (1):22-31.

Analytics

Added to PP index
2014-01-16

Total views
19 ( #542,805 of 2,421,228 )

Recent downloads (6 months)
4 ( #192,306 of 2,421,228 )

How can I increase my downloads?

Downloads

My notes