اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدAcyclicity and reduction
105
0
0.0
(
0
)
تأليف
Dominique Lecomte
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
The literature provides dichotomies involving homomorphisms (like the G 0 dichotomy) or reductions (like the characterization of sets potentially in a Wadge class of Borel sets, which holds on a subset of a product). However, part of the motivation behind the latter result was to get reductions on the whole product, like in the classical notion of Borel reducibility considered in the study of analytic equivalence relations. This is not possible in general. We show that, under some acyclicity (and also topological) assumptions, this is widely possible. In particular, we prove that, for any non-self dual Borel class {Gamma}, there is a concrete finite =< c-antichain basis for the class of Borel relations, whose closure has acyclic symmetrization, and which are not potentially in {Gamma}. Along similar lines, we provide a sufficient condition for =< c-reducing G 0. We also prove a similar result giving a minimum set instead of an antichain if we allow rectangular reductions.
قيم البحث
اقرأ أيضاً
The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G_{deltasigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of divergence of s
ome martingale. In fact, this is effective and uniform. A consequence of this is that the set of everywhere converging martingales is ${bfPi}^1_1$-complete, in a uniform way. We derive from this some universal and complete sets for the whole projective hierarchy, via a general method. We provide some other complete sets for the classes ${bfPi}^1_1$ and ${bfSigma}^1_2$ in the theory of martingales.
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitti
ng Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one.
Menger conjectured that subsets of $mathbb R$ with the Menger property must be $sigma$-compact. While this is false when there is no restriction on the subsets of $mathbb R$, for projective subsets it is known to follow from the Axiom of Projective D
eterminacy, which has considerable large cardinal consistency strength. We show that the perfect set version of the Open Graph Axiom for projective sets of reals, with consistency strength only an inaccessible cardinal, also implies Mengers conjecture restricted to this family of subsets of $mathbb R$.
For a group $G$ first order definable in a structure $M$, we continue the study of the definable topological dynamics of $G$. The special case when all subsets of $G$ are definable in the given structure $M$ is simply the usual topological dynamics o
f the discrete group $G$; in particular, in this case, the words externally definable and definable can be removed in the results described below. Here we consider the mutual interactions of three notions or objects: a certain model-theoretic invariant $G^{*}/(G^{*})^{000}_{M}$ of $G$, which appears to be new in the classical discrete case and of which we give a direct description in the paper; the [externally definable] generalized Bohr compactification of $G$; [externally definable] strong amenability. Among other things, we essentially prove: (i) The new invariant $G^{*}/(G^{*})^{000}_{M}$ lies in between the externally definable generalized Bohr compactification and the definable Bohr compactification, and these all coincide when $G$ is definably strongly amenable and all types in $S_G(M)$ are definable, (ii) the kernel of the surjective homomorphism from $G^*/(G^*)^{000}_M$ to the definable Bohr compactification has naturally the structure of the quotient of a compact (Hausdorff) group by a dense normal subgroup, and (iii) when $Th(M)$ is NIP, then $G$ is [externally] definably amenable iff it is externally definably strongly amenable. In the situation when all types in $S_G(M)$ are definable, one can just work with the definable (instead of externally definable) objects in the above results.
We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequ
ence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of admissibility to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
