Related papers: Local reflection, definable elements and 1-provabi…
Induction is typically formalized as a rule or axiom extension of the LK-calculus. While this extension of the sequent calculus is simple and elegant, proof transformation and analysis can be quite difficult. Theories with an induction…
The aim of this article is to explore in all remaining aspects the spectral theory of locally normal operators. In a previous article we proved the spectral theorem in terms of locally spectral measures. Here we prove the spectral theorem…
We discuss probabilistic neural networks with a fixed internal representation as models for machine understanding. Here understanding is intended as mapping data to an already existing representation which encodes an {\em a priori}…
The standard nonperturbative approaches of renormalization group for tensor models are generally focused on a purely local potential approximation (i.e. involving only generalized traces and product of them) and are showed to strongly…
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…
We set up a new notion of local convergence for permutations and we prove a characterization in terms of proportions of \emph{consecutive} pattern occurrences. We also characterize random limiting objects for this new topology introducing a…
A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…
Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…
We study a class of high-frequency path functionals for diffusions with singular thresholds or boundaries, where the process exhibits either (i) skweness, oscillating coefficients, and stickiness, or (ii) sticky reflection. The functionals…
Let $E/F$ be a quadratic extension of $p$-adic fields and $\textrm{U}_{2r+1}$ be the unitary group associated with $E/F$. We prove the following local converse theorem for $\textrm{U}_{2r+1}$: given two irreducible generic supercuspidal…
The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an important role in propositional proof complexity. In this…
$M$-dimensional extended objects $\Sigma$ can be described by projecting a Diff $\Sigma$ invariant Hamiltonian of time-independent Hamiltonian density {\cal H} onto the Diff $\Sigma$- singlet sector, which after Hamiltonian reduction, using…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
In this paper we scrutinize the so called Principle of Local Lorentz Invariance (\emph{PLLI}) that many authors claim to follow from the Equivalence Principle. Using rigourous mathematics we introduce in the General Theory of Relativity two…
Let $X $ be a square integrable random variable with basic probability space $(\O, \A, \P)$, taking values in a lattice $\mathcal L(v_0,1)=\big\{v_k=v_0+ k,k\in \Z\big\}$ and such that $\t_X =\sum_{k\in \Z}\P\{X=v_k\}\wedge…
We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform…
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…
We prove a fixed point theorem for the action of certain local monodromy groups on \'etale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of…
We consider the deformed Laguerre Ensemble $H_n=\dfrac{1}{m}\Sigma_n^{1/2}A_{m,n}A_{m,n}^*\Sigma_n^{1/2}$ in which $\Sigma_n$ is a positive hermitian matrix (possibly random) and $A_{m,n}$ is a $n\times m$ complex Gaussian random matrix…
We present a technique for estimating the shape and reflectance of an object in terms of its surface normals and spatially-varying BRDF. We assume that multiple images of the object are obtained under fixed view-point and varying…