Results 1 to 10 of about 2,866 (99)
Interpolation in Term Functor Logic
Crítica, 2023 Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic.
J.-Martín Castro-Manzano
doaj +2 more sources
Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]
Logical Methods in Computer Science, 2009 Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen +2 more
doaj +1 more source
Real interpolation with logarithmic functors
Journal of Inequalities and Applications, 2002 The interpolation spaces in question consist of the vectors \(f\in X_0 +X_1\) satisfying \[ \Biggl(\int_0 ^\infty (t^{-\theta} \phi (t) K(x,\,y;\,X_0,\,X_1))^q t^{-1} \,dt \Biggr)^{1/q}
Evans, W. D. +2 more
openaire +4 more sources
Uniform Interpolation for Coalgebraic Fixpoint Logic [PDF]
, 2015 We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under ...
Marti, Johannes +2 more
core +3 more sources
Disjunctive bases: normal forms and model theory for modal logics [PDF]
, 2019 We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the ...
Enqvist, Sebastian, Venema, Yde
core +2 more sources
P-adic interpolation of metaplectic forms of cohomological type [PDF]
, 2011 Let G be a reductive algebraic group over a number field k. It is shown how Emerton's methods may be applied to the problem of p-adically interpolating the metaplectic forms on G, i.e.
Hill, Richard, Loeffler, David
core +3 more sources
An interpolation theorem for adjoint functors [PDF]
Proceedings of the American Mathematical Society, 1970 0. Introduction. In this paper we present a category theoretic generalization of the construction of the tensor algebra or symmetric algebra of a module which proceeds by representing the module as the quotient of the free module on the underlying set of the given module by its module of relations, then obtaining the tensor algebra as the quotient of ...
openaire +2 more sources
, 2020 Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$.
Finkelberg, Michael +2 more
core +1 more source
Induced Matchings and the Algebraic Stability of Persistence Barcodes [PDF]
, 2013 We define a simple, explicit map sending a morphism $f:M \rightarrow N$ of pointwise finite dimensional persistence modules to a matching between the barcodes of $M$ and $N$.
Bauer, Ulrich, Lesnick, Michael
core +3 more sources
Regulators and cycle maps in higher-dimensional differential algebraic K-theory [PDF]
, 2015 We develop differential algebraic K-theory of regular arithmetic schemes. Our approach is based on a new construction of a functorial, spectrum level Beilinson regulator using differential forms.
Bunke, Ulrich, Tamme, Georg
core +1 more source