Related papers: Small sets in Mann pairs

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

We construct a space $G^n_X$ and a rank $n$, generically etale family of closed subspaces in a separated ambient space $X$. The constructed pair satisfies a universal property of generically etale families of closed subspaces in $X$. This…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…

We prove a Krieger like embedding theorem for asymptotically expansive systems with the small boundary property. We show that such a system $(X; T)$ embeds in the $K$-full shift with $h_{top}(T) < \log K $ and $\sharp Per_n(X; T) \leq…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

We study reduction of generalized complex structures. More precisely, we investigate the following question. Let $J$ be a generalized complex structure on a manifold $M$, which admits an action of a Lie group $G$ preserving $J$. Assume that…

Let $\mathcal{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R},<,+)$ by closed subsets of $\mathbb{R}^n$ and continuous functions $f : \mathbb{R}^m \to \mathbb{R}^n$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o-minimal structures. Most noteworthily, dense pairs of real closed fields have this property.

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…

We extend Furstenberg's structure theorem to any standard Borel $G$-space, where $G$ is any locally compact second countable Noetherian module over a syndetic ring.

We show that types over real algebraically closed sets are stationary, both for the theory of separably closed fields of infinite degree of imperfection and for the theory of beautiful pairs of algebraically closed field. The proof is given…

We prove generic differentiability in $P$-minimal theories, strengthening an earlier result of Kuijpers and Leenknegt. Using this, we prove Onshuus and Pillay's $P$-minimal analogue of Pillay's conjectures on o-minimal groups. Specifically,…

Suppose that a complex manifold M is locally embedded into a higher-dimensional neighbourhood as a submanifold. We show that, if the local neighbourhood germs are compatible in a suitable sense, then they glue together to give a global…

We use the natural lifts of the fundamental tensor field g to the cotangent bundle T*M of a Riemannian manifold (M,g), in order to construct an almost Hermitian structure (G,J) of diagonal type on T*M. The obtained almost complex structure…

Let $G$ and $\tilde G$ be connected complex reductive Lie groups, $G$ semisimple. Let $\Lambda^+$ be the monoid of dominant weights for a positive root system $\Delta^+$, and let $l(w)$ be the length of a Weyl group element $w$. Let…

We are going to prove that if the theory of a structure $\mathcal M=\langle \mathbb{N}, \Sigma \rangle$ is decidable and the standard order $<$ on natural numbers $\mathbb{N}$ is definable in $\mathcal M$, then there is a nontrivial…

The manifold M being compact and connected and H being a Tonelli Hamiltonian such that the cotangent bundle of M is equal to the dual tiered Mane set, we prove that there is a partition of the cotangent bundle of M into invariant C0…

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…