Related papers: Conservativity spectra and generalized Ignatiev mo…
A theory of recursive definitions has been mechanized in Isabelle's Zermelo-Fraenkel (ZF) set theory. The objective is to support the formalization of particular recursive definitions for use in verification, semantics proofs and other…
The field-theoretical approach is reviewed. Perturbations in general relativity as well as in an arbitrary $D$-dimensional metric theory are studied on a background, which is a solution (arbitrary) of the theory. Lagrangian for…
Generalizing homogeneous spectra for rings graded by natural numbers, we introduce multihomogeneous spectra for rings graded by abelian groups. Such homogeneous spectra have the same completeness properties as their classical counterparts,…
In this paper we study the spectrum of heights of transitive models of theories extending $V = L[A]$, under various definitions. In particular, we investigate the consistency strength of making those spectra as simple as possible.
Regular sequences are natural generalisations of fixed points of constant-length substitutions on finite alphabets, that is, of automatic sequences. Using the harmonic analysis of measures associated with substitutions as motivation, we…
We explore a strong categorical correspondence between isomorphism classes of sheaves of arbitrary rank on a given algebraic curve and twisted pairs on another algebraic curve, mostly from a linear-algebraic standpoint. In a particular…
We study the stability of certain spectra under some algebraic conditions weaker than the commutativity and we generalize many known commutative perturbation results.
This paper is a follow-up to "Models of PT${}^-$ with internal induction for total formulae." We give a strenghtening of the main result on the semantical non-conservativity of the theory of PT${}^-$ with internal induction for total…
The theory of generalized Weyl algebras is used to study the $2\times 2$ reflection equation algebra $\mathcal{A}=\mathcal{A}_q(\operatorname{M}_2)$ in the case that $q$ is not a root of unity, where the $R$-matrix used to define…
We establish criteria for the spectrum of a generalized indefinite string to be purely discrete and to satisfy Schatten-von Neumann properties. The results can be applied to the isospectral problem associated with the conservative…
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…
In this survey paper we review classical results and recent progress about a certain topic in the spectral theory of two-dimensional canonical systems. Namely, we consider the questions whether the spectrum $\sigma$ is discrete, and if it…
The Glivenko--Cantelli theorem is a uniform version of the strong law of large numbers. It states that for every IID sequence of random variables, the empirical measure converges to the underlying distribution (in the sense of uniform…
We study regularity properties of frequency measures arising from random substitutions, which are a generalisation of (deterministic) substitutions where the substituted image of each letter is chosen independently from a fixed finite set.…
Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that…
We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with $\Delta_0$-induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano…
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Glivenko's theorem from double negation to an arbitrary nucleus,…
We develop the General Theory of Relativity in a formalism with extended causality that describes physical interaction through discrete, transversal and localized pointlike fields. The homogeneous field equations are then solved for a…
Answering a question of Kaye, we show that the compositional truth theory with a full collection scheme is conservative over Peano Arithmetic. We demonstrate it by showing that countable models of compositional truth which satisfy the…
Empirical scaling laws describe how test loss and other performance metrics depend on model size, dataset size, and compute. While such laws are consistent within specific regimes, apparently distinct scaling behaviors have been reported…