اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدG-linear sets and torsion points in definably compact groups
140
0
0.0
(
0
)
تأليف
Margarita Otero
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G X) < dim G for some definable X subset of G then X contains a torsion point of G. Along the way we develop a general theory for so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.
قيم البحث
اقرأ أيضاً
We use hyperbolic towers to answer some model theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type $p_0$, but that there is a finitely generat
ed model which omits $p_0^{(2)}$. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous groups is not necessarily homogeneous.
We provide a proof that analytic almost disjoint families of infinite sets of integers cannot be maximal using a result of Bourgain about compact sets of Baire class one functions. Inspired by this and related ideas, we then provide a new proof of th
at there are no maximal almost disjoint families in Solovays model. We then use the ideas behind this proof to provide an extension of a dichotomy result by Rosenthal and by Bourgain, Fremlin and Talagrand to general pointwise bounded functions in Solovays model. We then show that the same conclusions can be drawn about the model obtained when we add a generic selective ultrafilter to the Solovay model.
We study new relations of the following statements with weak choice principles in ZF and ZFA. 1. For every infinite set X, there exists a permutation of X without fixed points. 2. There is no Hausdorff space X such that every infinite subset of X con
tains an infinite compact subset. 3. If a field has an algebraic closure then it is unique up to isomorphism. 4. Variants of Chain/Antichain principle. 5. Any infinite locally finite connected graph has a spanning subgraph omitting some complete bipartite graphs. 6. Any infinite locally finite connected graph has a spanning m bush for any even integer m greater than 4. We also study the new status of different weak choice principles in the finite partition model (a type of permutation model) introduced by Bruce in 2016. Further, we prove that Van Douwens Choice Principle holds in two recently constructed known permutation models.
We prove that if there are $mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $kappa$ such that $kappa^omega=kappa$, there exists a group topology on the free Abelian group of cardinality $kappa$ without nontrivial con
vergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 question of D. Dikranjan and D. Shakhmatov.
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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
