English
Related papers

Related papers: Definable compactness in definably complete locall…

200 papers

In this paper we analyze the relationship between o-minimal structures and the notion of \omega -saturated one dimensional t.t.t structures. We prove that if removing any point from such a structure splits it into more than one definably…

Logic · Mathematics 2012-10-23 Daniel Lowengrub

We introduce the notion of dynamic asymptotic dimension growth for actions of discrete groups on compact spaces, and more generally for locally compact \'etale groupoids. Using the work of Bartels, L\"uck, and Reich, we bridge asymptotic…

Dynamical Systems · Mathematics 2025-02-04 Hang Wang , Yanru Wang , Jianguo Zhang , Dapeng Zhou

We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with…

General Topology · Mathematics 2015-11-11 Wei He , Walter Tholen

We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…

Logic · Mathematics 2025-12-10 Krzysztof Krupiński , Anand Pillay , Tomasz Rzepecki

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

General Topology · Mathematics 2022-05-25 Eman Almuhur , Muhammad Ahsan Khan

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Logic · Mathematics 2022-09-30 Guillaume Valette

We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian…

General Topology · Mathematics 2010-06-29 Lydia Aussenhofer , María Jesús Chasco , Dikran Dikranjan , Xabier Domínguez

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

Logic · Mathematics 2025-06-16 Pablo Andújar Guerrero

Results of Liflyand and collaborators on the boundedness of Hausdorff operators on the Hardy space $H^1$ over finite-dimensional real space generalized to the case of locally compact groups that are spaces of homogeneous type. Special cases…

Functional Analysis · Mathematics 2020-11-24 Adolf Mirotin

We compare finiteness properties of locally compact groups that generalize the properties of being compactly generated and of being compactly presented. Three such families of properties have been proposed: Abels--Tiemeyer's type $C_n$,…

Group Theory · Mathematics 2024-10-10 Dorian Chanfi , Stefan Witzel

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

A Hausdorff topological group topology on a group $G$ is the minimum (Hausdorff) group topology if it is contained in every Hausdorff group topology on $G$. For every compact metrizable space $X$ containing an open $n$-cell, $n\ge2$, the…

General Topology · Mathematics 2015-10-27 Xiao Chang , Paul Gartside

Peterzil and Steinhorn proved that if a group $G$ definable in an $o$-minimal structure is not definably compact, then $G$ contains a definable torsion-free subgroup of dimension one. We prove here a $p$-adic analogue of the…

Logic · Mathematics 2022-05-19 Will Johnson , Ningyuan Yao

We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one…

Logic · Mathematics 2023-11-01 Krzysztof Krupiński , Anand Pillay

Given a group $G$ of homeomorphism of a first-countable Hausdorff space $\mathcal{X}$, we prove that if the action of $G$ on $\mathcal{X}$ is minimal and has rigid stabilisers that act locally minimally, then the neighbourhood stabilisers…

Group Theory · Mathematics 2020-05-18 Dominik Francoeur

We give a short geometric proof of a result of Soardi & Woess and Salvatori that a quasitransitive graph is amenable if and only if its automorphism group is amenable and unimodular. We also strengthen one direction of that result by…

Group Theory · Mathematics 2023-06-16 Romain Tessera , Matthew Tointon

We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an…

Logic · Mathematics 2022-06-17 Hunter Spink

We prove that a large class of metrizable group topologies for subgroups of $\mathbb{R}^n$ and the completions of the subgroups are locally isometric to, respectively, metrizable group topologies for $\mathbb{Z}$ and their completions,…

General Topology · Mathematics 2007-05-23 Jon W. Short

We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…

Logic · Mathematics 2023-02-14 Ningyuan Yao , Zhentao Zhang

Let $T$ be a theory which is t-minimal, meaning that with respect to some definable topology, a unary definable set $D \subseteq M$ has non-empty interior iff it is infinite. If $K$ is a definable field in $T$, then $K$ is finite or "large"…

Logic · Mathematics 2026-05-11 Will Johnson