Related papers: On constructions with $2$-cardinals
We introduce the notion of a conformally Fedosov structure and construct an associated Cartan connection. When an appropriate curvature vanishes, this allows us to construct a family of natural differential complexes akin to the BGG…
The purpose of this investigation is to extend basic equations and inequalities which hold for functions $f$ in a Bernstein space $B_\sigma^2$ to larger spaces by adding a remainder term which involves the distance of $f$ from $B_\sigma^2$.…
Many different systems with explicit substitutions have been proposed to implement a large class of higher-order languages. Motivations and challenges that guided the development of such calculi in functional frameworks are surveyed in the…
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic…
We extend Yosida's 1941 version of Stone-Gelfand duality to metrically complete unital lattice-ordered groups that are no longer required to be real vector spaces. This calls for a generalised notion of compact Hausdorff space whose points…
Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…
We establish an equivalent condition to the validity of the Collatz conjecture, using elementary methods. We derive some conclusions and show several examples of our results. We also offer a variety of exercises, problems and conjectures.
This article provides a version of scale calculus geared towards a notion of (nonlinear) Fredholm maps between certain types of Frechet spaces, retaining as many as possible of the properties Fredholm maps between Banach spaces enjoy, and…
We mainly establish a monotonicity property between some special Riemann sums of a convex function $f$ on $[a,b]$, which in particular yields that $\frac{b-a}{n+1}\sum_{i=0}^n f\left(a+i\frac{b-a}{n}\right)$ is decreasing while…
Previous work in the literature has studied the Hamiltonian structure of an R-squared model of gravity with torsion in a closed Friedmann-Robertson-Walker universe. Within the framework of Dirac's theory, torsion is found to lead to a…
We provide a scheme for inferring causal relations from uncontrolled statistical data based on tools from computational algebraic geometry, in particular, the computation of Groebner bases. We focus on causal structures containing just two…
In a continuation of our previous work, we outline a theory which should lead to the construction of a universal pre-building and versal building with a $\phi$-harmonic map from a Riemann surface, in the case of two-dimensional buildings…
We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison…
A constructive procedure is proposed for formulation of linear differential equations invariant under global symmetry transformations forming a semi-simple Lie algebra f. Under certain conditions f-invariant systems of differential…
Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved…
We develop classical balayage (sweeping) measures and subharmonic functions on the ray system $S$ with a general origin on the complex plane $\mathbb C$. This allows for a subharmonic function $v$ on $\mathbb C$ to construct also a…
A theory of Clebsch-Gordan coefficients for $SL(2, C)$ is given using only rational numbers. Features include orthogonality relations, recurrence relations, and Regge's symmetry group. Results follow from elementary representation theory…
We introduce a natural generalization of Borel's Conjecture. For each infinite cardinal number $\kappa$, let {\sf BC}$_{\kappa}$ denote this generalization. Then ${\sf BC}_{\aleph_0}$ is equivalent to the classical Borel conjecture.…
We prove a global version of the classical result that $p$-harmonic functions belong to $W^{2,2}_{loc}$ for $1<p<3+\frac{2}{n-2}$. The proof relies on Cordes' matrix inequalities [7] and techniques from the work of Cianchi and Maz'ya [5,6].
The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…