English
Related papers

Related papers: Strongly Dependent Ordered Abelian Groups and Hens…

200 papers

An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonenkis density. Furthermore, strong abelian groups are…

Logic · Mathematics 2019-09-18 Yatir Halevi , Daniel Palacín

We provide an algebraic characterization of strong ordered Abelian groups: An ordered Abelian group is strong iff it has bounded regular rank and almost finite dimension. Moreover, we show that any strong ordered Abelian group has finite…

Logic · Mathematics 2017-06-20 Rafel Farré

We survey the history of Shelah's conjecture on strongly dependent fields, give an equivalent formulation in terms of a classification of strongly dependent fields and prove that the conjecture implies that every strongly dependent field…

Logic · Mathematics 2019-07-31 Yatir Halevi , Assaf Hasson , Franziska Jahnke

We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$…

Logic · Mathematics 2025-12-05 Blaise Boissonneau , Anna De Mase , Franziska Jahnke , Pierre Touchard

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We show that every non-trivial ordered abelian group $G$ is augmentable by infinite elements, i.e., we have $G\preccurlyeq H\oplus G$ for some non-trivial ordered abelian group $H$. As an application, we show that when $k$ is a field of…

Logic · Mathematics 2025-04-08 Blaise Boissonneau , Anna De Mase , Franziska Jahnke , Pierre Touchard

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…

Logic · Mathematics 2025-04-16 Alfred Dolich , John Goodrick

We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…

Logic · Mathematics 2019-10-18 Will Johnson

We characterize all ordered Abelian groups whose first order theory in the language {+,<} is strongly dependent. The main result of this note was obtained independently by Halevi-Hasson and Farr\'e.

Logic · Mathematics 2017-07-21 Alfred Dolich , John Goodrick

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

Logic · Mathematics 2008-05-14 W. Calvert , D. Cenzer , V. S. Harizanov , A. Morozov

We consider strong expansions of the theory of ordered abelian groups. We show that the assumption of strength has a multitude of desirable consequences for the structure of definable sets in such theories, in particular as relates to…

Logic · Mathematics 2016-05-12 Alfred Dolich , John Goodrick

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…

Logic · Mathematics 2020-01-16 Will Johnson

We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…

Logic · Mathematics 2019-02-06 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…

Logic · Mathematics 2020-05-29 Will Johnson

Given a prime power $p^d$ with $p$ a prime and $d$ a positive integer, we classify the finite groups $G$ with $p^{2d}$ dividing $|G|$ in which all subgroups of order $p^d$ are complemented and the finite groups $G$ having a normal…

Group Theory · Mathematics 2022-02-17 Yu Zeng

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

Group Theory · Mathematics 2021-10-05 Robert W. van der Waall

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…

Logic · Mathematics 2022-07-04 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

Let $A$ be an abelian variety defined over a number field $K$ and let $A^{\vee}$ be the dual abelian variety. For an odd prime $p$, we consider two Selmer groups attached to $A[p]$ and relate the orders of these groups along with those of…

Number Theory · Mathematics 2025-02-10 Saikat Biswas

This paper gives a complete classification of the finite groups that contain a strongly closed p-subgroup for p any prime.

Group Theory · Mathematics 2008-09-22 Ramón J. Flores , Richard M. Foote

We investigate when an ordered abelian group $G$ is stably embedded in a given elementary extension $H$. We focus on a large class of ordered groups which includes maximal ordered groups with interpretable archimedean valuation. We give a…

Logic · Mathematics 2026-03-31 Martin Hils , Martina Liccardo , Pierre Touchard
‹ Prev 1 2 3 10 Next ›