相关论文: Local tabularity in MS4 with Casari's axiom

Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the finite and the infinite model theory of these sentences. We…

We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardinalities of definable sets: The condition asserts that…

Let $m=2l$ be a positive natural number, $l=1, 2, \ldots. $ A Finslerian metric $F$ is called an $m$-th root metric if its $m$-th power $F^m$ is of class $C^{m}$ on the tangent manifold $TM$. Using some homogenity properties, the local…

We consider the fourth-order Schr\"odinger equation $$ i\partial_tu+\Delta^2 u+\mu\Delta u+\lambda|u|^\alpha u=0, $$ where $\alpha>0,\mu=\pm1$ or $0$ and $\lambda\in\mathbb{C}$. Firstly, we prove local well-posedness in…

We consider the recent formulation of the Algorithmic Lov\'asz Local Lemma [10,2,3] for finding objects that avoid `bad features', or `flaws'. It extends the Moser-Tardos resampling algorithm [17] to more general discrete spaces. At each…

We conduct the multifractal analysis of the level sets of the asymptotic behavior of almost additive continuous potentials $(\phi_n)_{n=1}^\infty$ on a topologically mixing subshift of finite type $X$ endowed itself with a metric associated…

The theory of p-local compact groups, developed in an earlier paper by the same authors, is designed to give a unified framework in which to study the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups,…

Recent research has leveraged the tractability of $T\bar T$ style deformations to formulate timelike-bounded patches of three-dimensional bulk spacetimes including $dS_3$. This proceeds by breaking the problem into two parts: a solvable…

We address the locality problem arising in simulations, which take the square root of the staggered fermion determinant as a Boltzmann weight to reduce the number of dynamical quark tastes. A definition of such a theory necessitates an…

We provide a unified operational framework for the study of causality, non-locality and contextuality, in a fully device-independent and theory-independent setting. Our work has its roots in the sheaf-theoretic framework for contextuality…

Motivated by ill-posed PDEs such as $\mathrm{div} (v) = F$ we study locally convex topologies $\mathcal{T}_{\mathcal{C}}$ on real vector spaces $X$ that are a ``localized'' version of a locally convex topology $\mathcal{T}$ to members of a…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$-module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim…

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, $i\geq 0$. We prove several results concerning…

Propositional inquisitive logic is the limit of its $n$-bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grilletti, who also found complete axiomatizations of $n$-bounded…

The study of local function in topological spaces is remarkable. Various branches have been developed through this study. In this paper, we further consider the local function and exploring the various properties of the same by considering…

We describe non-locally connected planar continua via the concepts of fiber and numerical scale. Given a continuum $X\subset\mathbb{C}$ and $x\in\partial X$, we show that the set of points $y\in \partial X$ that cannot be separated from $x$…

We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly…

We present new results on finite satisfiability of logics with counting and arithmetic. One result is a tight bound on the complexity of satisfiability of logics with so-called local Presburger quantifiers, which sum over neighbors of a…

In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation: "always in the future" (for $\forall$) and "sometime in the past" (for $\exists$). In this paper we study this interpretation for the…

This paper extends our previous controllability results for a class of coupled linear parabolic systems with nonlocal interactions, motivated by applications in finance such as generalized Black--Scholes models. We establish local null…