Related papers: Higher Order Tsirelson Spaces and their Modified V…

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…

We show that many countable groups acting on trees, including free products of infinite countable groups and surface groups, are isomorphic to dense subgroups of isometry groups of bounded Urysohn spaces. This extends previous results of…

A "tensor space" is a vector space equipped with a finite collection of multi-linear forms. In previous work, we showed that (for each signature) there exists a universal homogeneous tensor space, which is unique up to isomorphism. Here we…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

In this paper we will study the representations of isomorphisms between bases of topological spaces. It turns out that the perfect setting for this study is that of regular open subsets of complete metric spaces, but we have achieved some…

It is proved that if a Banach space $X$ has a basis $(e_n)$ satisfying every spreading model of a normalized block basis of $(e_n)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) then $X$ contains $\ell_1$…

Genus $g$ Torelli space is the moduli space of genus $g$ curves of compact type equipped with a homology framing. The hyperelliptic locus is a closed analytic subvariety consisting of finitely many mutually isomorphic components. We use…

In this article we show that the semigroup operation of a strictly linearly ordered semigroup on a real interval is automatically continuous if each element of the semigroup admits a square root. Hence, by a result of Acz\'el, such a…

We give a short proof of the main result of our previous paper [2]: every Schmidt subspace of a Hankel operator is the image of a model space by an isometric multiplier. This class of subspaces is closely related to nearly $S^*$-invariant…

A classical result of Sz.-Nagy asserts that a Hilbert-space contraction operator $T$ can be lifted to an isometry $V$. A more general multivariable setting of recent interest for these ideas is the case where (i) the unit disk is replaced…

We show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.

We prove that all Sierpi\'nski spaces in ${\mathbb{S}}^n$, $n\geq 2$, are non-removable for (quasi)conformal maps, generalizing the result of the first named author arXiv:1809.05605. More precisely, we show that for any Sierpi\'nski space…

An operator $T$ on a Hilbert space $\mathcal H$ is called expansive, if $\|Tx\|\geq \|x\|$ ($x\in\mathcal H$). Expansive operators $T$ quasisimilar to the unilateral shift $S_N$ of finite multiplicity $N$ are studied. It is proved that…

For every infinite sequence $\omega=x_1,x_2,...$, with $x_i\in\{0,1\}$, we construct an infinite 4-regular graph $X_{\omega}$. These graphs are precisely the Schreier graphs of the action of a certain self-similar group on the space…

Let A be a (central) arrangement of hyperplanes in a finite dimension complex vector space V. Let M(A) be the dependence matroid determined by A. The Orlik-Solomon algebra OS(M) of a matroid M is the exterior algebra on the points modulo…

For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…

Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,\phi) over X consists of an algebraic vector bundle E over X and a holomorphic section \phi of E. There is a concept of stability for pairs which…

We consider the nonstandard inclusion of SO(3) in SO(5) associated with a 5-dimensional irreducible representation. The tensor $\Upsilon$ representing this reduction is found to be given by a ternary symmetric form with special properties.…

Examples suggest that there is a correspondence between L-spaces and 3-manifolds whose fundamental groups cannot be left-ordered. In this paper we establish the equivalence of these conditions for several large classes of such manifolds. In…