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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Analytic Equivalence Relations and Ulm-Type Classifications.Greg Hjorth & Alexander S. Kechris - 1995 - Journal of Symbolic Logic 60 (4):1273-1300.
Thin Equivalence Relations and Effective Decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
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.
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.
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.
Groups, Group Actions and Fields Definable in First‐Order Topological Structures.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (6):449-467.
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.
Monadic Second Order Definable Relations on the Binary Tree.Hans Läuchli & Christian Savioz - 1987 - Journal of Symbolic Logic 52 (1):219-226.
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.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Linearization of the BCK-Logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
On Enveloping Type-Definable Structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Expansions of Ordered Fields Without Definable Gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
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.
Topological Properties of Sets Definable in Weakly o-Minimal Structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
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 )
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