Results 1 to 10 of about 2,082 (82)
Real interpolation with logarithmic functors
Journal of Inequalities and Applications, 2002 We present a real interpolation method involving broken-logarithmic functors. We obtain a variety of interpolation theorems for quasilinear operators on quasi-Banach spaces, including limiting cases.
Opic Bohumír +2 more
doaj +4 more sources
Interpolation of compact bilinear operators [PDF]
Bulletin of Mathematical Sciences, 2020 This paper is devoted to the study of the stability of the compactness property of bilinear operators acting on the products of interpolated Banach spaces.
Mieczysław Mastyło, Eduardo B. Silva
doaj +1 more source
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Enqvist, Sebastian +2 more
core +7 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
Interpolation in Term Functor Logic
Crítica (México D. F. En línea), 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. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution,
openaire +2 more sources
Completion of continuity spaces with uniformly vanishing asymmetry [PDF]
, 2014 The classical Cauchy completion of a metric space (by means of Cauchy sequences) as well as the completion of a uniform space (by means of Cauchy filters) are well-known to rely on the symmetry of the metric space or uniform space in question.
Chand, Alveen, Weiss, Ittay
core +1 more source
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
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
Correct interpolation functors of orbits
Journal of Functional Analysis, 1991 The authors show that certain interpolation functors of orbits are correct. This implies that under the approximation condition those functors are computable, i.e., are completely determined by the regular finite-dimensional couple of Banach spaces. Also they give the notion of local factorizable Banach couples and show that each mutually closed couple
Krugljak, N.Ya, Mastyło, M
openaire +2 more sources