Related papers: Hindman's theorem and idempotent types
This article continues and completes our previous work [14] J. Phys. Commun. 2 (2018) 025007. First of all, we present two methods of quantization associated with a linear connection given on a differentiable manifold, one of them being the…
A classical result of topological algebra states that any compact left topological semigroup has an idempotent. We refine this by showing that any compact left topological left semiring has a common, i.e. additive and multiplicative…
In this paper we investigate the extension of the charged Riemannian Penrose inequality to the case where charges are present outside the horizon. We prove a positive result when the charge densities are compactly supported, and present a…
The Riemann hypothesis is proved by quantum-extending the zeta Riemann function to a quantum mapping between quantum $1$-spheres with quantum algebra $A=\mathbb{C}$, in the sense of A. Pr\'astaro \cite{PRAS01, PRAS02}. Algebraic topologic…
We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence…
In the present paper continuing our previous work we prove an extension theorem for matrices with entries in the algebra of bounded holomorphic functions defined on an unbranched covering of a Caratheodory hyperbolic Riemann surface of…
We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of…
A theorem by Wolff states that weights defined on a measurable subset of $\mathbb{R}^n$ and satisfying a Muckenhoupt-type condition can be extended into the whole space as Muckenhoupt weights of the same class. We give a complete and…
Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively…
Building upon the classical article "Representing varieties of algebras by algebras'' by W. D. Neumann, we revisit the famous Birkhoff's HSP theorem in the light of infinitary algebra.
An operator Riccati equation from systems theory is considered in the case that all entries of the associated Hamiltonian are unbounded. Using a certain dichotomy property of the Hamiltonian and its symmetry with respect to two different…
An analog of Picard's little theorem for entire functions of matrices is proved.
We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very…
For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…
The paper provides the proof of the Rimann's conjecture. The results of the works of A. M. Odlyzko and H. te Riile "Disproof of the Conjecture", which gives a disproof of the Mertens hypothesis, using to prove the Riemann's hypothesis. This…
A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…
We study idempotents in intensional Martin-L\"of type theory, and in particular the question of when and whether they split. We show that in the presence of propositional truncation and Voevodsky's univalence axiom, there exist idempotents…
Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.
We give a new equivalent condition for the Riemann hypothesis consisting in an order condition for certain finite rational combinations of the values of the Riemann zeta-function at even positive integers.
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.