Related papers: Fischer-Servi logic does not have interpolation
The analytic properties of automorphic L-functions have historically been obtained either through integral representations (the "Rankin-Selberg method"), or properties of the Fourier expansions of Eisenstein series (the "Langlands-Shahidi…
BS4 is a natural Belnapian conservative extension of Lewis modal system S4 via strong negation. In [24] it was proved that the translation TB that naturally generalises the Godel-Tarski translation T embeds faithfully Nelsons logic N4 into…
We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call…
The Schur-Agler class consists of functions over a domain satisfying an appropriate von Neumann inequality. Originally defined over the polydisk, the idea has been extended to general domains in multivariable complex Euclidean space with…
Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking…
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG…
In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It…
When $a\ge2$, we show that a general pointed curve never interpolates through the expected number of points in the Hirzebruch surface $\mathcal{H}_a$, with one exception. In the exceptional case, the number of such interpolating maps is…
The algebraic structure of V.P. Potapov's Fundamental Matrix Inequality (FMI) is discussed and its interpolation meaning is analyzed. Functional model spaces are involved. A general Abstract Interpolation Problem is formulated which seems…
Let A = Z[c], where c is an irrational number whose square is rational, or let A = Z[1/r], where r > 1 is a square-free natural number. We show that no finite-index subgroup of SL(2,A) is left orderable. (Equivalently, these subgroups have…
We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on…
We introduce the notion of a homological integral for an infinite-dimensional weak Hopf algebra and use the homological integral to prove several structure theorems. For example, we prove that the Artin--Schelter property and the Van den…
Rational Krylov subspace projection methods have proven to be a highly successful approach in the field of model order reduction (MOR), primarily due to the fact that some derivatives of the approximate and original transfer functions are…
Let $\mathfrak A$ be a subdiagonal algebra with diagonal $\mathfrak D$ in a $\sigma$-finite von Neumann algebra $\mathcal M$ with respect to a faithful normal conditional expectation $\Phi$. We mainly consider the interpolation problem in…
We prove that if $\frak{g}^{\prime}$ is a contraction of a Lie algebra $\frak{g}$ then the number of functionally independent invariants of $\frak{g}^{\prime}$ is at least that of $\frak{g}$. This allows to determine explicitly the number…
We prove a factorizable version of the Feigin-Frenkel theorem on the center of the completed enveloping algebra of the affine Kac-Moody algebra attached to a simple Lie algebra at the critical level. On any smooth curve C we consider a…
In this paper, we discuss models of the common knowledge logic. The common knowledge logic is a multi-modal logic that includes the modal operators $\mathsf{K}_{i}$ ($i\in\mathcal{I}$, where $\mathcal{I}$ is a finite set of agents) and…
We show that the guarded-negation fragment (GNFO) is, in a precise sense, the smallest extension of the guarded fragment (GFO) with Craig interpolation. In contrast, %we show that the smallest extension of the two-variable fragment (FO2)…
This paper shows that the sheaf representation of finitely presented Heyting algebras constructed by Ghilardi and Zawadowski is, from an algebraic perspective, equivalent to the construction of profinite completion. We show that the dual…
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style proof calculi: a non-wellfounded system admitting infinite…