Related papers: Generalizing Goodstein's theorem and Cichon's inde…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…
The G\"ollnitz-Gordon identities were found by G\"ollnitz and Gordon independently. In 1967, Andrews obtained a combinatorial generalization of the G\"ollnitz-Gordon identities, called the Andrews-G\"ollnitz-Gordon theorem. In 1980,…
We prove a Donsker and a Glivenko--Cantelli theorem for sequences of random discrete measures generalizing empirical measures. Those two results hold under standard conditions upon bracketing numbers of the indexing class of functions. As a…
Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with…
We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engstr\"om, comparing them with a more general, higher-order definition of team quantifier. We show that…
In this series of articles we study connections between combinatorics of multidimensional generalizations of Cauchy identity and continuous objects such as multidimensional Brownian motions and Brownian bridges. In Part I of the series we…
Gentzen's 1936 proof of the consistency of Peano Arithmetic was a significant result in the foundations of mathematics. We provide here a modified version of the proof, based on G\"{o}del's reformulation, and including additional details…
We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…
The proof of the Independence Theorem for Kim-independence in positive thick NSOP$_1$ theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in this corrigendum we give a different proof.
We introduce ordinal collapsing principles that are inspired by proof theory but have a set theoretic flavor. These principles are shown to be equivalent to iterated $\Pi^1_1$-comprehension and the existence of admissible sets, over weak…
In this paper we give an overview of an essential part of a Pi^0_1 ordinal analysis of Peano Arithmetic (PA) as presented by Beklemishev. This analysis is mainly performed within the polymodal provability logic GLP. We reflect on ways of…
We define a generalization of Chacon's classical automorphism and answer the question of whether its important properties remain. We calculate the family of polynimials representing the automorphism, given in recurrence formulae, and infer…
We introduce the concept of shifting distance functions, and we establish a new fixed point theorem which generalizes the Banach contraction principle. An example is provided to illustrate our result.
Busch's theorem deriving the standard quantum probability rule can be regarded as a more general form of Gleason's theorem. Here we show that a further generalisation is possible by reducing the number of quantum postulates used by Busch.…
For a symmetrizable GCM $C$ and its symmetrizer $D$, Geiss-Leclerc-Schr\"oer [Invent. Math. 209 (2017)] has introduced a generalized preprojective algebra $\Pi$ associated to $C$ and $D$, that contains a class of modules, called locally…
A crucial step in the history of General Relativity was Einstein's adoption of the principle of general covariance which demands a coordinate independent formulation for our spacetime theories. General covariance helps us to disentangle a…
We prove a version of Poincar\'e's polyhedron theorem whose requirements are as local as possible. New techniques such as the use of discrete groupoids of isometries are introduced. The theorem may have a wide range of applications and can…
W.H. Woodin showed that if $\kappa_1 < \cdots < \kappa_n$ are strong cardinals then two-step ${\bf\Sigma}^1_{n+3}$ generic absoluteness holds after collapsing $2^{2^{\kappa_n}}$ to be countable. We show that this number can be reduced to…
In [8], P. Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [1], M. Bordemann proved this existence using the framework of Thomas-Whitehead connections. In [9], we gave a new proof of the same…