Related papers: Conservativity spectra and generalized Ignatiev mo…
We continue the study of the spectral theory associated to integrable metrics, started in our previous paper arXiv:1301.1793 [math.SP]. We introduce the notion of 1-integrable metric on line-bundles on a compact Riemann surface. We extend…
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. G\"unter Asser…
This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of…
Generalized spectra of differential operators can be related to spectra of preconditioned discretized operators. Obtaining (estimates of) the eigenvalues of the preconditioned discretized operators may lead to better estimating of the…
The idealized theory of quantum vacuum energy density is a beautiful application of the spectral theory of differential operators with boundary conditions, but its conclusions are physically unacceptable. A more plausible model of a…
It is an open question whether compositional truth with the principle of propositional soundness ,,all arithmetical sentences which are propositional tautologies are true'' is conservative over its arithmetical base theory. In this article,…
Speckle patterns are a powerful tool for high-precision metrology, as they allow remarkable performance in relatively simple setups. Nonetheless, researchers in this field follow rather distinct paths due to underappreciated general…
We introduce a generalization of the Cantor-Dedekind continuum with explicit infinitesimals. These infinitesimals are used as numbers obeying the same basic rules as the other elements of the generalized continuum, in accordance with…
This is the second article in a two-part series presenting a new proof comparing the non-invariant trace formula for a general linear group with that of one of its inner forms. In this article, we focus on the spectral side of the trace…
A probability measure in R^d is called a spectral measure if it has an orthonormal basis consisting of exponentials. In this paper we study spectral Cantor measures. We establish a large class of such measures and give a necessary and…
We identify measures arising in the representations of products of generalized Stieltjes transforms as generalized Stieltjes transforms, provide optimal estimates for the size of those measures, and address a similar issue for generalized…
In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of…
We obtain a new version of the Uncertainty Principle for functions with Fourier transforms supported on a lacunary set of intervals. This is a generalization of Zygmund's theorem on lacunary trigonometric series to the real line in the…
We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely…
We prove preservation theorems for $\mathcal{L}_{\omega_1, G}$, the countable fragment of Vaught's closed game logic. These are direct generalizations of the theorems of \L{}o\'s-Tarski (resp. Lyndon) on sentences of $\mathcal{L}_{\omega_1,…
The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…
We consider the spectral properties of a class of regularized estimators of (large) empirical covariance matrices corresponding to stationary (but not necessarily Gaussian) sequences, obtained by banding. We prove a law of large numbers…
We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a…
Cie\'sli\'nski asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partial answer to this question, showing that if we…