Related papers: Local reflection, definable elements and 1-provabi…
The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$.…
The parametrization theorem is derived in a flat nD pseudo-complex affine space. The pseudo-complex hyperbolic space accomodates n-number of uncompactified time-like extra dimensions with sugnature (s,r), where s and r are the numbers of…
This paper introduces a formal notion of fixed point explanations, inspired by the "why regress" principle, to assess, through recursive applications, the stability of the interplay between a model and its explainer. Fixed point…
We consider several formalizations in the language of second-order arithmetic of "The formula $\phi$ is a theorem of $\omega$-logic", including some which have been studied in the literature and a new variant defined via a least fixed…
In this paper, we prove "prismatic Kunz's theorem" which states that a complete Noetherian local ring $R$ of residue characteristic $p$ is a regular local ring if and only if the Frobenius lift on a prismatic complex of (a derived…
We develop a stability theory for contractive local IFSs on compact metric spaces. Unlike the classical global setting, local systems may exhibit a richer symbolic and geometric structure, including code spaces that are not of finite type…
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic…
We prove a general structural theorem for a wide family of local algorithms, which includes property testers, local decoders, and PCPs of proximity. Namely, we show that the structure of every algorithm that makes $q$ adaptive queries and…
In the past few years, the unifying frameworks of 4-dimensional Chern-Simons theory and affine Gaudin models have allowed for the systematic construction of a large family of integrable $\sigma$-models. These models depend on the data of a…
We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary $\sigma$ and a first order theory $T$ for $\sigma$ composed of symmetry and…
This paper presents a locally decoupled network parameter learning with local propagation. Three elements are taken into account: (i) sets of nonlinear transforms that describe the representations at all nodes, (ii) a local objective at…
In this paper, we establish a local limit theorem for linear fields of random variables constructed from independent and identically distributed innovations each with finite second moment. When the coefficients are absolutely summable we do…
We study a class of anomalies associated with time-reversal and spatial reflection symmetry in (2+1)D topological phases of matter. In these systems, the topological quantum numbers of the quasiparticles, such as the fusion rules and…
The spherically symmetric perturbations in the spatially flat Friedman models are considered. It is assumed that the Friedmannian density and pressure are related through a linear equation of state. The perturbation is joined smoothly with…
For a conformal vector field on a closed, real-analytic, Lorentzian manifold we prove that the flow is locally isometric -- that it preserves a metric in the conformal class on a neighborhood of any point -- or the metric is everywhere…
Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory $A$ can be characterised as the weakest statement $C$ over Peano Arithmetic such that ${\sf PA}+C$ interprets $A$. We study which…
We study skew-products of the form (x,\omega)\mapsto (Tx, \omega+\phi(x)) where T is a nonuniformly expanding map on a space X, preserving a (possibly singular) probability measure \tilde\mu, and \phi:X\to S^1 is a C^1 function. Under mild…
We prove a strengthening of Chang's lemma for subsets of $\mathbb F_p^n$. The classical conclusion that the large spectrum is contained in a subspace of dimension at most $2\varepsilon^{-2}\log(1/\alpha)$ is refined to show that every…
We show that Alexander's extendibility theorem for a local automorphism of the unit ball is valid also for a local automorphism $f$ of a pseudoellipsoid $\E^n_{(p_1, ..., p_{k})} \= \{z \in \C^n : \sum_{j= 1}^{n - k}|z_j|^2 + |z_{n-k+1}|^{2…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…