Related papers: Some notes on plump ordinals
This paper serves to define an extension, which we call dimensional Veblen, of Oswald Veblen's system of ordinal functions below the large Veblen ordinal. This is facilitated by iterating derivatives of ordinal functions along…
We consider several harmonic analysis operators in the multi-dimensional context of the Dunkl Laplacian with the underlying group of reflections isomorphic to $\mathbb{Z}_2^n$ (also negative values of the multiplicity function are…
In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…
Werner's set-theoretical model is one of the most intuitive models of ECC. It combines a functional view of predicative universes with a collapsed view of the impredicative sort Prop. However this model of Prop is so coarse that the…
Generalizing John Conway's construction of the Field On_2, we give the "minimal" definitions of addition and multiplication that turn the ordinals into a Field of characteristic p, for any prime p. We then analyze the structure of the…
A definition of summability is put forward in the framework of general Carleman ultraholomorphic classes in sectors, so generalizing $k-$summability theory as developed by J.-P. Ramis. Departing from a strongly regular sequence of positive…
In a private communication, K. Ono conjectured that any mock theta function of weight 1/2 or 3/2 can be congruent modulo a prime $p$ to a weakly holomorphic modular form for just a few values of $p$. In this paper we describe when such a…
The study of self-gravitating stellar systems has provided important hints to develop tools of analytical mechanics. In the present contribution we review how to exploit detuned resonant normal forms to extract information on several…
We prove a sharp quantitative version of Hales' isoperimetric honeycomb theorem by exploiting a quantitative isoperimetric inequality for polygons and an improved convergence theorem for planar bubble clusters. Further applications include…
We give a numerical characterization of weighted hyperplane arrangements arising from Dunkl systems.
Weighted cone-volume functionals are introduced for the convex polytopes in $\mathbb{R}^n$. For these functionals, geometric inequalities are proved and the equality conditions are characterized. A variety of corollaries are derived,…
A known general class of superintegrable systems on 2D spaces of constant curvature can be defined by potentials separating in (geodesic) polar coordinates. The radial parts of these potentials correspond either to an isotropic harmonic…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
We study discrete harmonic analysis associated with ultraspherical orthogonal functions. We establish weighted l^p-boundedness properties of maximal operators and Littlewood-Paley g-functions defined by Poisson and heat semigroups generated…
Provability logics are modal or polymodal systems designed for modeling the behavior of G\"odel's provability predicate in arithmetical theories and its natural extensions. If \Lambda is any ordinal, the G\"odel-L\"ob calculus GLP(\Lambda)…
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…
We describe a simple class of cosmological models called $\alpha$ attractors, which provide an excellent fit to the latest Planck data. These theories are most naturally formulated in the context of supergravity with logarithmic Kahler…
In the present paper, we prove that a topological space admits a functorial Lindel\"ofification if and only if its realcompactification is Lindel\"of. To investigate the functorial Lindel\"ofifiability of a topological space, for each…
In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded…
In the first part of the paper a general notion of sampling expansions for locally compact groups is introduced, and its close relationship to the discretisation problem for generalised wavelet transforms is established. In the second part,…