Related papers: Small sets in dense pairs

We study non-positively curved closed manifolds $M$ and $n$-dimensional totally geodesic submanifolds of $M \times M$ which satisfy a transversality condition. We prove that, under some mild irreducibility requirements on $M$, if $M \times…

We generalize the recent results on radial projections by Orponen, Shmerkin, Wang using two different methods. In particular, we show that given $X,Y\subset \mathbb{R}^n$ Borel sets and $X\neq \emptyset$. If $\dim Y \in (k,k+1]$ for some…

We prove a definable version of the Whitney embedding theorem for abstract-definable $\mathcal{C}^p$ manifolds with $1\leq p<\infty$, namely: every abstract-definable $\mathcal{C}^p$ manifold is abstract-definable $C^p$ embedded into $R^N$,…

We find boundaries of Borel-Serre compactifications of locally symmetric spaces, for which any filling is incompressible. We prove this result by showing that these boundaries have small singular models and using these models to obstruct…

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

In this paper, we prove weak elimination of imaginaries for perfect bounded pseudo-algebraically closed fields equipped with finitely many independent valuations. Our approach combines an extension result for types to invariant types with…

We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…

Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in…

Let $X$ be a (real or complex) infinite dimensional linear space. We establish conditions on a homogeneous polynomial $P$ on $X$ so that, if $W$ is any finite dimensional subspace of $X$ on which $P$ vanishes, then $P$ vanishes on an…

We establish a criterion for the (failure of) the containment $I^{(m)}\subset I^r$ for 3-generated ideals $I$ defining reduced sets of points in $\mathbb{P}^2$. Our criterion arises from studying the minimal free resolutions of the powers…

We present an encoding of a polynomial system into vanishing and non-vanishing constraints on almost-principal minors of a symmetric, principally regular matrix, such that the solvability of the system over some field is equivalent to the…

We introduce a combinatorial property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a canonical finite presentation. We also define…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

We prove the discrete analogue of Kakeya conjecture over $\mathbb{R}^n$. This result suggests that a (hypothetically) low dimensional Kakeya set cannot be constructed directly from discrete configurations. We also prove a generalization…

We study the model theoretic structure $(\Z,+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in\Z\setminus\{0\}$. We axiomatize of this structure and prove a quantifier…

We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell…

In this paper, we establish a theorem on extension of Lipschitz maps $f$ definable in Hensel minimal fields $K$. This may be regarded as a definable, non-Archimedean, non-locally compact version of Kirszbraun's extension theorem. We proceed…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

In this paper, we present several definitive characterizations of the $C^1$ smoothness of definable sets in terms of their tangent cones and some other metric properties. In particular, we recover some of the beautiful characterizations…

Consider a closed manifold $M$ immersed in $\R^m.$ Suppose that the trivial bundle $M\times\R^m=TM\otimes \nu M$ is equipped with an almost metric connection $\tilde{\nabla}$ which almost preserves the decomposition of $M\times\R^m$ into…