Related papers: The isomorphism theorem for linear fragments of co…
We present two fast constructions of weak*-copies of $\ell ^\infty$ in $H^{\infty}$ and show that such copies are necessarily weak*-complemented. Moreover, via a Paley-Wiener type of stability theorem for bases, a connection can be made in…
In this paper, we extend the Goldman-Millson Theorem for $L_\infty$ algebras. We consider two $L_\infty$ algebras $L$ and $\tilde{L}$ endowed with descending, bounded above and complete filtrations compatible with the $L_\infty$ structures…
In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures…
It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…
New results on metric ultraproducts of finite simple groups are established. We show that the isomorphism type of a simple metric ultraproduct of groups $X_{n_i}(q)$ ($i\in I$) for $X\in\{{\rm PGL},{\rm PSp},{\rm PGO}^{(\varepsilon)},{\rm…
In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately…
Ultrafinitism postulates that we can only compute on relatively short objects, and numbers beyond certain value are not available. This approach would also forbid many forms of infinitary reasoning and allow to remove certain paradoxes…
We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$ , yet satisfies $2^\kappa = \kappa^{++}$. This…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We show that the continuous $L^p$-cohomology of locally compact second countable groups is a quasi-isometric invariant. As an application, we prove partial results supporting a positive answer to a question asked by M.~Gromov, suggesting a…
We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple…
Using the model theory of metric structures, I give an alternative proof of the following result by Thomas: If the Continuum Hypothesis fails then there are power of the continuum many universal sofic groups up to isomorphism. This method…
Invertible map equivalences are approximations of graph isomorphism that refine the well-known Weisfeiler-Leman method. They are parametrised by a number k and a set Q of primes. The intuition is that two graphs G and H which are equivalent…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
In this paper a new supersymmetric extension of conformal mechanics is put forward. The beauty of this extension is that all variables have a clear geometrical meaning and the super-Hamiltonian turns out to be the Lie-derivative of the…
Let $\msp$ be a measure space and let $1 < p < \infty$. The {\em weak $L^p$}\/ space $\wlp$ consists of all measurable functions $f$ such that \[ \|f\| = \sup_{t>0}t^{\frac{1}{p}}f^*(t) < \infty,\] where $f^*$ is the decreasing…
We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…