Related papers: Fischer-Servi logic does not have interpolation
It is shown that rational dilation fails on broad collection of distinguished varieties associated to constrained subalgebras of the disk algebra of the form C + B A(D), where B is a finite Blaschke product with two or more zeros. This is…
Craig interpolation in SMT is difficult because, e. g., theory combination and integer cuts introduce mixed literals, i. e., literals containing local symbols from both input formulae. In this paper, we present a scheme to compute Craig…
We consider two expansions of G\"{o}del logic $\mathsf{G}$ with two versions of paraconsistent negation. The first one is $\mathsf{G_{inv}}$ -- the expansion of $\mathsf{G}$ with an involuitive negation ${\sim_\mathsf{i}}$ defined via…
We consider countably many three dimensional $\mathtt{PSL}_2(\mathbb{F}_7)$-del Pezzo surface fibrations over $\mathbb{P}^1$. Conjecturally they are all irrational except two families, one of which is the product of a del Pezzo surface with…
We continue our study of operator algebras with and contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain C*-algebraic…
If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an…
General results of interpolation (eg. Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebra $F^\infty$ (resp. noncommutative disc algebra $A_n$) with consequences to the interpolation by bounded operator-valued…
We introduce post-associative algebra structures and study their relationship to post-Lie algebra structures, Rota--Baxter operators and decompositions of associative algebras and Lie algebras. We show several results on the existence of…
We show that the classes of partial isometries in finite-dimensional polyhedral spaces and in finite-dimensional rational polyhedral spaces do not have the weak amalgamation property. This implies that the linear isometry group of the…
Although the study of functional calculus has already established necessary and sufficient conditions for operators to be fractionalized, this paper aims to use our well-conceived notion of integer powers of operators to construct…
The essence of Stahl-Gonchar-Rakhmanov theory of symmetric contours as applied to the multipoint Pad\'e approximants is the fact that given a germ of an algebraic function and a sequence of rational interpolants with free poles of the germ,…
We consider multiple polylogarithms in a single variable at non-positive integers. Defining a connected graded Hopf algebra, we apply Connes' and Kreimer's algebraic Birkhoff decomposition to renormalize multiple polylogarithms at…
This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's…
We study weakly symmetric special biserial algebras of infinite representation type. We show that usually some socle deformation of such an algebra has non-periodic bounded modules. The exceptions are precisely the algebras whose Brauer…
We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization…
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with some variety-specific constructions, yields each of our…
We extend to any simply connected K\"ahler manifold with non-positive sectional curvature some conditions for interpolation in $\mathbb{C}$ and in the unit disk given by Berndtsson, Ortega-Cerd\`a and Seip. The main tool is a comparison…
We introduce the notion of $\imath$Schur superalgebra, which can be regarded as a type B/C counterpart of the $q$-Schur superalgebra (of type A) formulated as centralizer algebras of certain signed $q$-permutation modules over Hecke…
We consider the question of the correlation of Fourier coefficients of modular forms with functions of algebraic origin. We establish the absence of correlation in considerable generality (with a power saving of Burgess type) and a…
The dual or game-theoretical negation $\lnot$ of independence-friendly logic (IF) and dependence logic (D) exhibits an extreme degree of semantic indeterminacy in that for any pair of sentences $\phi$ and $\psi$ of IF/D, if $\phi$ and…