Related papers: Hindman's theorem and idempotent types

We prove upper and lower bounds on the effective content and logical strength for a variety of natural restrictions of Hindman's Finite Sums Theorem. For example, we show that Hindman's Theorem for sums of length at most 2 and 4 colors…

We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is "generically" isometric to an l_2 space.…

We give a short proof of an idempotent relation formula for counting periodic points of endomorphisms defined over finite fields. The original proof of this result, due to Walton, uses formal manipulation of arithmetic zeta functions,…

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the…

We prove an analog of the Ado theorem - the existence of a finite-dimensional faithful representation - for a certain kind of finite-dimensional nilpotent Hom-Lie algebras.

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.

We prove a quantitative openness theorem for $C^1$ submersions under suitable assumptions on the differential. We then apply our result to a class of exponential maps appearing in Carnot-Carath\'eodory spaces and we improve a classical…

This paper suggests an algebraic version of the theorem on the existence of eigenvectors for linear operators in abstract idempotent spaces. Earlier, the theorem on the existence of eigenvectors was only known for the cases of a free…

We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approximate truth in normed structures introduced by Henson and…

Inspired by Chen-Wu-Wang (Math. Ann. 362: 305--319, 2015), we prove a Hartogs type extension theorem for plurisubharmonic functions across a compact complete pluripolar set, which is complementary to a classical theorem of Shiffman.

We present new proofs to four versions of Peano's Existence Theorem for ordinary differential equations and systems. We hope to have gained readability with respect to other usual proofs. We also intend to highlight some ideas due to Peano…

Some assertions in harmonic analysis on the infinite dimensional torus are stated and their equivalence to Riemann hypothesis is proved.

We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.

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…

When the Canonical Ramsey's Theorem by Erd\H{o}s and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the…

We present a self-contained account of Woodin's extender algebra and its use in proving absoluteness results, including a proof of the $\Sigma^2_1$-absoluteness theorem. We also include a proof that the existence of an inner model with…

We study the conservativity of extensions by additional strict equalities of dependent type theories (and more general second-order generalized algebraic theories). The conservativity of Extensional Type Theory over Intensional Type Theory…

Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases…

In this paper we establish that the functor of idempotent probability measures acting in the category of compacta and their continuous mappings is perfect metrizable.