Related papers: An NIP structure which does not interpret an infin…

Let $f$ be a transcendental entire function. The escaping set $I(f)$ consists of those points that tend to infinity under iteration of $f$. We show that $I(f)$ is not $\sigma$-compact, resolving a question of Rippon from 2009.

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…

We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate…

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

We explore \emph{semibounded} expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We introduce the notion of a \emph{semibounded} expansion of an arbitrary ordered group, extending…

We give an infinite presentation for the mapping class group of a non-orientable surface. The generating set consists of all Dehn twists and all crosscap pushing maps along simple loops.

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

For every prime $p$, we construct an infinite countable group that contains precisely $p-1$ elements which are not $p$th powers.

We give an infinite presentation for the mapping class group of a non-orientable surface with boundary components. The presentation is a generalization of the presentation given by the second author [15].

We streamline treatments of the interpretability orders $\trianglelefteq^*_\kappa$ of Shelah, the key new notion being that of pseudosaturation. Extending work of Malliaris and Shelah, we classify the interpretability orders on the stable…

We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.

For any finite type connected surface $S$, we give an infinite presentation of the fundamental group $\pi_1(S,\ast)$ of $S$ based at an interior point $\ast\in{S}$ whose generators are represented by simple loops. When $S$ is…

We characterize finite-dimensional Lie algebras over an arbitrary field of characteristic zero which admit a non-trivial (quasi-) triangular Lie bialgebra structure.

In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $\phi(x,y)$ the following are equivalent: (i)…

We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions.

We are proving the following: (1) If $\kap$ is a weakly inaccessible then $NS_\kap$ is not $\kap^+$-saturated. (2) If $\kap$ is a weakly inaccessible and $\tet <\kap$ is regular then $NS^\tet_\kap$ is not $\kap^+$-saturated. (3) If $\kap$…

For every $p\geq 2$ we show that each finite $p$-group with an unmixed Beauville structure is part of a surjective infinite projective system of finite $p$-groups with compatible unmixed Beauville structures. This leads to the new notion of…

A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some…

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…