Related papers: On a theorem of Shapiro

This paper constructs in the framework of algebraic quantum field theory (AQFT) the linear Chern-Simons/Wess-Zumino-Witten system on a class of $3$-manifolds $M$ whose boundary $\partial M$ is endowed with a Lorentzian metric. It is proven…

Assume that $ACF$ denotes the theory of algebraically closed fields. The renowned theorem of A. Tarski states that $ACF$ admits quantifier elimination. In this paper we give a constructive proof of Tarski's theorem on quantifier elimination…

We revisit the implementation of the metric-independent Fock-Schwinger gauge in the abelian Chern-Simons field theory defined in ${\mathbb{R}}^3$ by means of a homotopy condition. This leads to the lagrangian $F \wedge hF$ in terms of…

Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…

We prove an old conjecture of S. S. Chern that the Euler characteristic of a closed affine manifold equals to zero.

In Diophantine approximation, Vaaler's theorem was an important partial result towards the Duffin--Schaeffer conjecture, which was open for almost eighty years before it was recently proven by Koukoulopoulos and Maynard. A version of this…

It is shown that there exists a complete, atomless, sigma-centered Boolean algebra, which does not contain any regular countable subalgebra if and only if there exist a nowhere dense ultrafilter. Therefore the existence of such algebras is…

If A is an abelian variety over a number field K, and L is a (possibly infinite) extension of K generated by torsion points of A, then the quotient of A(L) by its torsion subgroup is a free abelian group.

Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every…

In this paper we introduce a derivability criterion of functors based on the existence of adjunctions rather than on the existence of resolutions. It constitutes a converse of Quillen-Maltsiniotis Derived Adjunction Theorem. We present two…

We review some independence results in a finite axiom-schematization of classical first-order logic introduced by Norman Megill. We also prove that a certain axiom scheme of this system is independent although all of its instances are…

Based on the MRDP theorem, we introduce the ideas of the proof equation of a formula and universal proof equation of Peano Arithmetic (PA); and then, combining universal proof equation and G\"odel's Second Incompleteness Theorem, it is…

We prove the cone theorem for varieties with LCIQ singularities using deformation theory of stable maps into Deligne-Mumford stacks. We also obtain a sharper bound on $-(K_X+D)$-degree of $(K_X+D)$-negative extremal rays for projective…

We give a direct proof of the Cotlar-Stein lemma, which does not rely on the power trick.

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its…

This paper creates a link between \textit{Tropical Geometry} and \textit{Difference Algebra}. The main result is a difference version of \textit{Kapranov's Theorem}. In this theorem, we extend Kapranov's Theorem to the case of a Laurent…

We analyze a model for the homotopy theory of complete filtered $L_\infty$-algebras intended for applications in algebraic and algebro-geometric deformation theory. We provide an explicit proof of an unpublished result of E.\ Getzler which…

In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…

In this paper, we prove a conjecture proposed by George Beck, which involves gap-free partitions and partitions with distinct parts.

We prove Szpiro's conjecture for elliptic curves over the rationals having $j$-invariant with denominator of logarithmic size with respect to its numerator.