Related papers: Hindman's theorem and idempotent types

The long-standing problem of the perfectness of the compactly supported equivariant homeomorphism group on a $G$-manifold (with one orbit type) is solved in the affirmative. The proof is based on an argument different than that for the case…

This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…

In this note we present various extensions of Obata's rigidity theorem concerning the Hessian of a function on a Riemannian manifold. They include general rigidity theorems for the generalized Obata equation, and hyperbolic and Euclidean…

In this note we examine Littlewood's proof of the prime number theorem. We show that this can be extended to provide an equivalence between the prime number theorem and the non-vanishing of Riemann's zeta-function on the one-line. Our…

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…

In this paper we study an analogue of the classical Riemann-Hilbert problem stated for the classes of difference and $q$-difference systems. The Birkhoff's existence theorem was generalized in this paper.

The problem of computing the class expansion of some symmetric functions evaluated in Jucys-Murphy elements appears in different contexts, for instance in the computation of matrix integrals. Recently, M. Lassalle gave a unified algebraic…

We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…

We provide the first two examples of sets of generalized Riemann derivatives of orders up to $n$, $n\geq 2$, whose simultaneous existence for all functions~$f$ at~$x$ is equivalent to the existence of the $n$-th Peano derivative…

We prove a result on the existence of linear forms of a given Diophantine type.

We prove an equivariant version of Hironaka's theorem on elimination of points of indeterminacy. Our arguments rely on canonical resolution of singularities.

In this note we show that the classical theorem of Hilton-Milnor on finite wedges of suspension spaces remains valid in any $\infty$-topos. Our result relies on a version of James' splitting and uses only basic constructions native to any…

We present a sufficient condition for the Riemann hypothesis. This condition is the existence of a special ordering on the set of finite products of distinct odd primes.

By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…

The paper presents several new sufficient conditions, as well as new equivalent criteria for the classical Riemann Hypothesis. Noteworthy are also other statements and remarks about $\zeta$ to be found throughout the paper.

We prove a generalization of classical Montel's theorem for the mixed differences case, for polynomials and exponential polynomial functions, in commutative setting.

We give a probalistic proof of the famous Meinardus' asymptotic formula for the number of weighted partitions with weakened one of the three Meinardus' conditions, and extend the resulting version of the theorem to other two classis types…

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence, some versions of…

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…