English
Related papers

Related papers: Dp-minimality: basic facts and examples

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

In 2007, B. Poonen (unpublished) studied the $p$--adic closure of a subgroup of rational points on a commutative algebraic group. More recently, J. Bella\"iche asked the same question for the special case of Abelian varieties. These…

Number Theory · Mathematics 2010-12-23 Michel Waldschmidt

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types,…

Logic · Mathematics 2015-04-06 Anand Pillay , Ningyuan Yao

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é

Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove…

Logic · Mathematics 2023-10-03 Atticus Stonestrom

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

Group Theory · Mathematics 2015-08-12 Christian Krattenthaler , Thomas W. Müller

The aim of this note is to determine whether certain non-o-minimal expansions of o-minimal theories which are known to be NIP, are also distal. We observe that while tame pairs of o-minimal structures and the real field with a discrete…

Logic · Mathematics 2017-04-21 Philipp Hieronymi , Travis Nell

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Logic · Mathematics 2021-11-09 Pablo Andújar Guerrero

In this note, basing on a certain functional equation of the dilogarithm function, we establish nontrivial lower bounds for the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers involving harmonic…

Number Theory · Mathematics 2022-12-08 Bakir Farhi

We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…

Logic · Mathematics 2025-04-16 Christian d'Elbée , Yatir Halevi , Will Johnson

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

Logic · Mathematics 2024-02-06 Will Johnson , Ningyuan Yao

We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the…

General Topology · Mathematics 2018-08-24 Wenfei Xi , Dikran Dikranjan , Menachem Shlossberg , Daniele Toller

We prove that $\ omega $-categorical dp-minimal groups are nilpotent-by-finite. We also show that in dp-minimal definably amenable groups, f-generic global types are strongly f-generic.

Logic · Mathematics 2017-05-08 Elad Levi , Itay Kaplan , Pierre Simon

In this paper, we will show that the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers is unusually large. This generalizes the very recent results by the author and by A. Dubickas, which are both…

Number Theory · Mathematics 2022-12-02 Bakir Farhi

This paper targets to generalize the notion of Hopfian groups in the commutative case by defining the so-called {\bf relatively Hopfian groups} and {\bf weakly Hopfian groups}, and establishing some their crucial properties and…

Group Theory · Mathematics 2024-08-09 Andrey R. Chekhlov , Peter V. Danchev , Brendan Goldsmith , Patrick W. Keef

This review is devoted to dynamical systems in fields of $p$-adic numbers: origin of $p$-adic dynamics in $p$-adic theoretical physics (string theory, quantum mechanics and field theory, spin glasses), continuous dynamical systems and…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Andrei Khrennikov

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

Logic · Mathematics 2019-09-18 Pierre Simon , Erik Walsberg

The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and…

Logic · Mathematics 2011-12-30 Itay Kaplan , Alf Onshuus , Alexander Usvyatsov

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 analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil