Related papers: Fischer-Servi logic does not have interpolation
We study qualitative properties of the group von Neumann algebra of a Baumslag-Solitar group. Namely, we prove that, in the non-amenable and {ICC} case, the associated ${\rm II}_1$ factor is prime, not solid, and does not have any Cartan…
Fractal interpolation functions (FIFs) developed through iterated function systems (IFSs) prove more versatile than classical interpolants. However, the applications of FIFs in the domain of `shape preserving interpolation' are not fully…
We prove that an isomorphism of graded Grothendieck groups $K^{gr}_0$ of two Leavitt path algebras induces an isomorphism of a certain quotient of algebraic filtered $K$-theory and consequently an isomorphism of filtered $K$-theory of their…
Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties…
We reconsider the theory of Lagrange interpolation polynomials with multiple interpolation points and apply it to linear algebra. For instance, $A$ be a linear operator satisfying a degree $n$ polynomial equation $P(A)=0$. One can see that…
In this paper we study a filtered "K-theoretical" analog of a graded algebra associated to any loopless graph G which was introduced in \cite{PS}. We show that two such filtered algebras are isomorphic if and only if their graphs are…
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…
We present a thermodynamic formulation for scale-invariant systems based on the minimization with constraints of Fisher's information measure. In such a way a clear analogy between these systems's thermal properties and those of gases and…
The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the…
We provide a general framework to construct fractal interpolation surfaces (FISs) for a prescribed countably infinite data set on a rectangular grid. Using this as a crucial tool, we obtain a parameterized family of bivariate fractal…
We prove that an iterative derivation $\delta_F$ on a field $F$ can be extended to an iterative derivation $\delta_A$ on a central simple $F-$algebra $A$ if the characteristic of $F$ does not divide the exponent of $A$ in the Brauer group…
In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic IK, we provide new and simpler decidability proofs for FIK and LIK.
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of…
A Lie algebra over a field of characteristic 0 splits over its soluble radical and all complements are conjugate. I show that the splitting theorem extends to Leibniz algebras but that the conjugacy theorem does not.
The representation theory of 0-Hecke-Clifford algebras as a degenerate case is not semisimple and also with rich combinatorial meaning. Bergeron et al. have proved that the Grothendieck ring of the category of finitely generated…
By using a Borel density theorem for algebraic quotients, we prove a theorem concerning isometric actions of a Lie group $G$ on a smooth or analytic manifold $M$ with a rigid $\mathrm{A}$-structure $\sigma$. It generalizes Gromov's…
We prove a number of results on integrability and extendability of Lie algebras of unbounded skew-symmetric operators with common dense domain in Hilbert space. By integrability for a Lie algebra $\mathfrak{g}$, we mean that there is an…
We show that bicrossed product Hopf algebras arising from exact factorizations in almost simple finite groups, so in particular, in simple and symmetric groups, admit no quasitriangular structure.
Scalar-valued meromorphic Herglotz-Nevanlinna functions are characterized by the interlacing property of their poles and zeros together with some growth properties. We give a characterization of matrix-valued Herglotz-Nevanlinna functions…