Related papers: On a Glimm -- Effros dichotomy theorem for Souslin…

We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric…

We consider the problem of existence and uniqueness of strong solutions $u: \Omega \subset \mathbb{R}^n \longrightarrow \mathbb{R}^N$ in $(H^{2}\cap H^{1}_0)(\Omega)^N$ to the problem \[\label{1} \tag{1} \left\{ \begin{array}{l}…

A longstanding conjecture by Belinskii, Lifshitz, and Khalatnikov that the singularity in generic gravitational collapse is locally oscillatory is tested numerically in vacuum, U(1) symmetric cosmological spacetimes on $T^3 \times R$. If…

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…

Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal G}_{\infty}(H)$ be the set of all closed subspaces of $H$ whose dimension and codimension both are infinite. We investigate (not necessarily surjective)…

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…

We construct the general supersymmetry algebra via the adjoint action on a semi-Hopf algebra which has a more general structure than a Hopf algebra. As a result we have an extended supersymmetry theory with quantum gauge group, i.e.,…

The role of the SO(2,1) symmetry in General Relativity is analyzed. Cosmological solutions of Einstein field equations invariant with respect to a space-like Lie algebra G_r, with r between 3 and 6 and containing so(2,1) as a subalgebra,…

We extend a dichotomy between 1-basedness and supersimplicity proved in a previous paper. The generalization we get is to arbitrary language, with no restrictions on the topology (we do not demand type-definabilty of the open set in the…

We sow that there exists a generic extension of the G\"{o}del's constructible universe in which diamond holds and there exists a subset $Y \subseteq \omega_1$ such that for stationary many $\delta < \omega_1,$ the set $Y \cap \delta$ is not…

We prove the following dichotomy. Given an analytic equivalence relation $E$, either ${E_0^{\mathbb{N}}}\leq_B{E}$ or else any Borel homomorphism from $E_0^{\mathbb{N}}$ to $E$ is "very far from a reduction", specifically, it factors, on a…

We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be…

We prove the following uniformity principle: if one of the Galois representations in the family attached to a genus two Siegel cusp form of weight $k>3$, "semistable" and with multiplicity one, is reducible (for an odd prime $p$),then all…

We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Tur\'an's theorem, the…

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where…

The Skolem-Mahler-Lech theorem states that if $f(n)$ is a sequence given by a linear recurrence over a field of characteristic 0,then the set of $m$ such that $f(m)$ is equal to 0 is the union of a finite number of arithmetic progressions…

It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary…

We prove that every separable tracial von Neumann algebra embeds into a II$_1$ factor with property (T) which can be taken to have trivial outer automorphism and fundamental groups. We also establish an analogous result for the trivial…

We consider the following question: if a simplicial complex $\Delta$ has $d$-homology, then does the corresponding $d$-cycle always induce cycles of smaller dimension that are not boundaries in $\Delta$? We provide an answer to this…