2009
DOI: 10.1007/s00153-009-0148-0
|View full text |Cite
|
Sign up to set email alerts
|

Martin’s conjecture and strong ergodicity

Abstract: Abstract. Under the assumption of Martin's Conjecture, we prove a strong ergodicity result for the Turing equivalence relation ≡ T .

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
13
0

Year Published

2009
2009
2022
2022

Publication Types

Select...
7

Relationship

0
7

Authors

Journals

citations
Cited by 16 publications
(13 citation statements)
references
References 19 publications
0
13
0
Order By: Relevance
“…In [Tho09], Thomas shows that Martin's conjecture implies that the Borel complexity of any weakly universal countable Borel equivalence relation must concentrate off of a conull set with respect to any Borel probability measure. In [Mar13b], Marks shows that the Borel complexity of any universal K-structurable countable Borel equivalence relation is achieved on a null set with respect to any Borel probability measure.…”
Section: Proposition 21 Suppose That There Exists a Class-bijectivementioning
confidence: 99%
“…In [Tho09], Thomas shows that Martin's conjecture implies that the Borel complexity of any weakly universal countable Borel equivalence relation must concentrate off of a conull set with respect to any Borel probability measure. In [Mar13b], Marks shows that the Borel complexity of any universal K-structurable countable Borel equivalence relation is achieved on a null set with respect to any Borel probability measure.…”
Section: Proposition 21 Suppose That There Exists a Class-bijectivementioning
confidence: 99%
“…(Here, a subset of 2 ω is said to be a cone if it is T‐upwards closed). We shall require only the following consequence of Martin's Conjecture (cf., e.g., [, Theorem 2.1(i)]): Lemma Assuming Martin's conjecture, if f:TE0 is a Borel homomorphism then there exists a cone C such that f(C) is contained in a single E 0 ‐class.…”
Section: A General Framework For Combinatorial Propertiesmentioning
confidence: 99%
“…Using this, Thomas proved in [, Theorem 5.2] that Martin's Conjecture implies that T is not Borel bounded. We now show that his argument applies to any (nontrivial) property corresponding to an invariant relation.…”
Section: A General Framework For Combinatorial Propertiesmentioning
confidence: 99%
“…Such ultrafilters arise naturally from E-ergodic probability measures on X and E-generically ergodic Polish topologies on X. More recently, work started by Simon Thomas in [20] and continued in [12] and [11] has used ultrafilters related to Martin's ultrafilter on the Turing degrees to derive structural consequences about universal equivalence relations of various kinds. For example, in [12], these ultrafilters from computability were used to show that if E is a universal countable Borel equivalence relation on a standard Borel space X, and A ⊆ X is Borel, then either E ↾ A is universal or E ↾ (X \ A) is universal.…”
Section: Ultrafilters Universality and Relativizationmentioning
confidence: 99%