Related papers: On the conservation results for local reflection p…

Ramsey's theorem for $n$-tuples and $k$-colors ($\mathsf{RT}^n_k$) asserts that every k-coloring of $[\mathbb{N}]^n$ admits an infinite monochromatic subset. We study the proof-theoretic strength of Ramsey's theorem for pairs and two…

Using techniques from TRO equivalence of masa bimodules we prove various transference results: We show that when $\alpha$ is a group homomorphism which pushes forward the Haar measure of $G$ to a measure absolutely continuous with respect…

For a large class of scalar-tensor-like modified gravity whose action contains nonminimal couplings between a scalar field $\phi(x^\alpha)$ and generic curvature invariants $\mathcal{R}$ beyond the Ricci scalar $R=R^\alpha_{\;\;\alpha}$, we…

A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We…

We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit…

Let $\Sigma$ be a (reduced) root system. Let $\mathsf{k}$ be an algebraically closed field of zero characteristic, and consider the corresponding semisimple Lie algebra $\mathfrak{g}_{\mathsf{k}, \Sigma}$. Then there is a first-order…

It is proved that if $T$ is a $\Sigma_{n+1}$ Definable theory which is $\Sigma_n$-sound and extends $PA$, then $T$ can not prove the sentence $\Sigma_n-sound(T)$ that expresses the $\Sigma_n$-soundness of $T$. Optimality of this result is…

Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…

Each conservation law of a given partial differential equation is determined (up to equivalence) by a function known as the characteristic. This function is used to find conservation laws, to prove equivalence between conservation laws, and…

In this paper, by using monotonicity formulas for vector bundle-valued $p$-forms satisfying the conservation law, we first obtain general $L^2$ global rigidity theorems for locally conformally flat (LCF) manifolds with constant scalar…

Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true…

Let {\Lambda}\subsetR^{n}\timesR^{m} and k be a positive integer. Let f:R^{n}\rightarrowR^{m} be a locally bounded map such that for each ({\xi},{\eta})\in{\Lambda}, the derivatives D_{{\xi}}^{j}f(x):=|((d^{j})/(dt^{j}))f(x+t{\xi})|_{t=0},…

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 consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are…

This paper presents reduction theorems for stability, attractivity, and asymptotic stability of compact subsets of the state space of a hybrid dynamical system. Given two closed sets $\Gamma_1 \subset \Gamma_2 \subset \Re^n$, with…

Let $\Gamma$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $\Gamma$ and let $G_v^{\Gamma(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $\Gamma(v)$. The graph…

We are interested in the discretisation of the steady version of hyperbolic problems. We first show that all the known schemes (up to our knowledge) can be rephrased in a common framework. Using this framework, we first show all the known…

We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…

In recent work we constructed completely general conservation laws for energy and linear and angular momentum of extended systems in general relativity based on the notion of a rigid quasilocal frame (RQF). We argued at a fundamental level…

In general relativity, the contracted Bianchi identity makes the field equation compatible with the energy conservation, likewise in $f(R)$ theories of gravity. We show that this classical phenomenon is not guaranteed in the symmetric…