Related papers: Viva la difference II. The Ax-Kochen isomorphism t…

In this text matrix Volterra integral equation of the first kind is addressed. It is assumed that kernels of the equation have jump discontinuities on non-intersecting curves. Such equations appear in the theory of evolving dynamic systems.…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

The main results in this note concern the characterization of the length of continua 1 (Theorems 2.5) and the parametrization of continua with finite length (Theorem 4.4). Using these results we give two independent and relatively…

We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the…

We prove that, for a Poisson vertex algebra V, the canonical injective homomorphism of the variational cohomology of V to its classical cohomology is an isomorphism, provided that V, viewed as a differential algebra, is an algebra of…

We show that in contrast with the Cohen version of Solovay's model, it is consistent for the continuum to be Cohen-measurable and for every function to be continuous on a non-meagre set.

Let X be a flexible variety of F be an isomorphism of closed one-dimensional subschemes of $X$. We develop criteria which guarantee that F extends to au automorphism of X.

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

We define and study several new interleaving distances for persistent cohomology which take into account the algebraic structures of the cohomology of a space, for instance the cup product or the action of the Steenrod algebra. In…

We find an interpretation of the complex of variational calculus in terms of the Lie conformal algebra cohomology theory. This leads to a better understanding of both theories. In particular, we give an explicit construction of the Lie…

This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…

Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition "with many constants".

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

We show that, consistently, there is an ultrafilter F on omega such that if N^l_n=(P^l_n cup Q^l_n,P^l_n,Q^l_n,R^l_n) (for l =1,2, n< omega), P^l_n cup Q^l_n subseteq omega, and prod_{n<omega} N^1_n/F and prod_{n< omega}N^2_n/F are…

In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…

We introduce complex intersection bodies and show that their properties and applications are similar to those of their real counterparts. In particular, we generalize Busemann's theorem to the complex case by proving that complex…

We consider the linear complementarity problem with uncertain data modeled by intervals, representing the range of possible values. Many properties of the linear complementarity problem (such as solvability, uniqueness, convexity, finite…

The de Rham comparison theorem for varieties, first proved by Faltings, gives the de Rham cohomology of a variety in terms of its p-adic etale cohomology. We extend this theorem to proper, smooth Deligne-Mumford stacks. Two approaches are…

We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety…

Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…