Related papers: Hindman's theorem and idempotent types

In the paper we prove an extension theorem for matrices with entries in H^{\infty}(U) for U being a Riemann surface of a special type. One of the main components of the proof is a Grauert type theorem for "holomorphic" vector bundles…

In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…

We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. To prove this result we first reduce the…

The addition relation for the Riemann theta functions and for its limits, which lead to the appearance of exponential functions in soliton type equations is discussed. The presented form of addition property resolves itself to the…

We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of…

If M,N are countable, arithmetically saturated models of Peano Arithmetic and Aut(M) is isomorphic to Aut(N), then the Turing-jumps of Th(M) and Th(N) are recursively equivalent.

Building on previous work, we study the splitting of idempotents in the category of extensions $\mathbb{E}\operatorname{-Ext}(\mathcal{C})$ associated to a pair $(\mathcal{C},\mathbb{E})$ of an additive category and a biadditive functor to…

We give an arithmetical proof of the strong normalization of the $\lambda$-calculus (and also of the $\lambda\mu$-calculus) where the type system is the one of simple types with recursive equations on types. The proof using candidates of…

In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we…

Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…

Based on a recent result of Mathas and the author, we prove that Uno's conjecture on representation types of Hecke algebras is true for all Hecke algebras of classical type.

We apply an inductive argument to three theorems of Cantor on (1) the uncountability of infinite binary sequences, (2) the uncountability of real numbers, and (3) the non-equinumerosity of sets with their powersets. This technique proves…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set.

We present an elementary proof of a general version of Montel's theorem in several variables which is based on the use of tensor product polynomial interpolation. We also prove a Montel-Popoviciu's type theorem for functions…

One of the two basic theorems in [5] on the existence of solutions of PDEs is improved with the use of a group analysis type argument.

Using a result of recursive function theory and results of the complex analysis of Takeuti, which is based on a type theory and the work of Kreisel, and which gives a conservative extension of first order Peano arithmetic (PA), assuming all…

In functional analysis it is of interest to study the following general question: Is the uniform version of a property that holds in all Banach spaces also valid in all Banach spaces? Examples of affirmative answers to the above question…

In this paper we generalize Kingman's sub-additive ergodic theorem to a large class of infinite countable discrete amenable group actions.

We prove a power series ring analogue of the Dedekind-Mertens lemma. Along the way, we give limiting counterexamples, we note an application to integrality, and we correct an error in the literature.