Related papers: Conservativity spectra and generalized Ignatiev mo…

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

Generalized indefinite strings provide a canonical model for self-adjoint operators with simple spectrum (other classical models are Jacobi matrices, Krein strings and 2x2 canonical systems). We prove a number of Szeg\H{o}-type theorems for…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

We investigate how spectral properties of a measure preserving system $(X,\mathcal{B},\mu,T)$ are reflected in the multiple ergodic averages arising from that system. For certain sequences $a:\mathbb{N}\to\mathbb{N}$ we provide natural…

We investigate absolutely continuous spectrum of generalized indefinite strings. By following an approach of Deift and Killip, we establish stability of the absolutely continuous spectra of two model examples of generalized indefinite…

Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space. Strong preservation for a specification…

We give a Herglotz-type representation of an arbitrary generalized spectral measure. As an application, a new proof of the classical Naimark's dilation theorem is given. The same approach is used to describe the spectrum of all unitary…

In this paper we introduce generalised Markov numbers and extend the classical Markov theory for the discrete Markov spectrum to the case of generalised Markov numbers. In particular we show recursive properties for these numbers and find…

We review arXiv:1308.3444 and arXiv:1104.1891. The structure of the spectrum of a quantum integrable system is crucial to understand its properties. In his seminar 1971 paper, Baxter observed that the spectrum of the "ice model" has a very…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…

The new representation formula for the spectral shift function due to F.Gesztesy and K.A.Makarov is considered. This formula is extended to the case of relatively trace class perturbations.

A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…

We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this…

We prove bounds for a class of unital homomorphisms arising in the study of spectral sets, by involving extremal functions and vectors. These are used to recover three celebrated results on spectral constants by Crouzeix--Palencia,…

Categorical spectra are spectrum objects in pointed $(\infty,\infty)$-categories: sequences $(X_n)$ equipped with equivalences $X_n\simeq \Omega X_{n+1}$. This thesis develops foundations for categorical spectra and constructs their tensor…

For a class $\Gamma$ of formulas, $\Gamma$ local reflection principle $\mathrm{Rfn}_{\Gamma}(T)$ for a theory $T$ of arithmetic is a scheme formalizing the $\Gamma$-soundness of $T$. Beklemishev proved that for every $\Gamma \in \{\Sigma_n,…

We calculate the particle spectrum of the SSM which follows from the assumption that the commonly assumed universal form of the soft supersymmetry --breaking terms is invariant under renormalisation. It is argued that this ``strong''…

We derive the spectral dependence of the non-linear susceptibility of any order, generalizing the common form of Sellmeier equations. This dependence is fully defined by the knowledge of the linear dispersion of the medium. This finding…

We study the inverse problem for the Hankel operators in the general case. Following the work of G\'erard--Grellier, the spectral data is obtained from the pair of Hankel operators $\Gamma$ and $\Gamma S$, where $S$ is the shift operator.…

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $\tau$ of $W$ such that $\tau_{\sigma\theta}\in \{\tau_{\theta},\ \sigma\tau_{\theta}\}$ for all $\theta\in W$ and all reflections $\sigma$…