Related papers: On a theorem of Shapiro

We prove that a finite torsion-free conformal Lie algebra with a splitting solvable radical has a finite faithful conformal representation.

Working in the axiomatic framework recently proposed by Gaberdiel and Goddard, we prove a generalized version of Zhu's Theorem; for any chiral bosonic conformal field theory on the sphere, our result characterizes the chiral blocks in terms…

We consider the generalized Egorov's statement (Egorov's Theorem without the assumption on measurability of the functions, see \cite{tw:nget}) in the case of an ideal convergence and a number of different types of ideal convergence notion.…

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the…

We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.

Let $M$ be a closed and connected manifold, $H:T^*M\times \mathbb{R} / \mathbb{Z} \to \mathbb{R}$ a Tonelli $1$-periodic Hamiltonian and $\mathcal{L} \subset T^*M$ a Lagrangian submanifold Hamiltonianly isotopic to the zero section. We…

We develop a theory of formal multivariate polynomials over commutative rings by treating them as ring terms. Our main result is that two ring terms are s-equivalent (when expanded they yield the same standard polynomial) iff they are…

We show that Csanky's fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LAP from the principle of linear independence. LAP is a natural…

We offer a self-contained proof of Lenagan's Theorem which does not rely on Goldie's Theorem

A proof of the Borel completeness of torsion free abelian groups is presented. This proof differs considerably from the approach of Paolini-Shelah.

Erdos, Hajnal and Rado asked whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_0}_2$ and whether $\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_1}_2$. We prove that both…

We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing with several systems associated with sufficiently independent…

We present a proof of the sufficiency of Rado's condition for the partition regularity of linear Diophantine equations that avoids any use of van der Waerden's theorem. The proof is based on fundamental properties that are common knowledge…

We present a self-contained proof of Uhlenbeck's decomposition theorem for $\Omega\in L^p(\mathbb{B}^n,so(m)\otimes\Lambda^1\mathbb{R}^n)$ for $p\in (1,n)$ with Sobolev type estimates in the case $p \in[n/2,n)$ and Morrey-Sobolev type…

We prove a general theorem about the self-adjointness and domain of Pauli-Fierz type Hamiltonians. Our proof is based on commutator arguments which allow us to treat fields with non-commuting components. As a corollary it follows that the…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…

We extract the Abhyankar-Moh-Suzuki theorem from the Lin-Zaidenberg theorem.

In this note, we prove a result on the independence of $\ell$ for the supports of irreducible perverse sheaves occurring in the Decomposition Theorem, as well as for the family of local systems on each support. It generalizes Gabber's…

We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take…