Related papers: Continuous first order logic for unbounded metric …
We develop a framework for studying variational problems in Banach spaces with respect to gradient relations, which encompasses many of the notions of generalized gradients that appear in the literature. We stress the fact that our approach…
In this paper, we study the nonexpansive properties of metric resolvent, and present a convergence rate analysis for the associated fixed-point iterations (Banach-Picard and Krasnosel'skii-Mann types). Equipped with a variable metric, we…
In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.
We endow projective (resp. direct) limits of Banach tensor structures with Fr\'{e}chet (resp. convenient) structures and study adapted connections to $G$-structures in both frameworks. This situation is illustrated by a lot of examples.
This paper is devoted to providing a unifying approach to the study of the uniqueness of unconditional bases, up to equivalence and permutation, of infinite direct sums of quasi-Banach spaces. Our new approach to this type of problem…
In this paper, we consider a fixed metric space (possibly an oriented Riemannian manifold with boundary) with an increasing sequence of distance functions and a uniform upper bound on diameter. When the metric space endowed with the…
We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary $\sigma$ and a first order theory $T$ for $\sigma$ composed of symmetry and…
Reflecting our experiences in areas, like Algebraic Specifications, Abstract Model Theory, Graph Transformations, and Model Driven Software Engineering (MDSE), we present a general, category independent approach to Logics of First-Order…
In this note, we analyze frequently hypercyclic solutions of abstract higher-order differential equations in separable infinite-dimensional complex Banach spaces. We essentially apply results from the theory of $C$-regularized semigroups,…
Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…
We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…
Suppose $E$ is a Banach lattice. Recently, there have been some motivating contexts regarding the known Banach-Saks property and the Grothendieck property from an order point of view. In this paper, we establish these results for operators…
A distortion lower bound of $\Omega(\log(h)^{1/p})$ is proven for embedding the complete countably branching hyperbolic tree of height $h$ into a Banach space admitting an equivalent norm satisfying property $(\beta)$ of Rolewicz with…
We focus on nonconvex and nonsmooth minimization problems with a composite objective, where the differentiable part of the objective is freed from the usual and restrictive global Lipschitz gradient continuity assumption. This longstanding…
We study a metric-like structure on categories, showing that the concept of the limit of a sequence in a metric space and the concept of the colimit of a sequence in a category have a common generalization. The main concept is a norm on a…
We prove that the existence of Banach spaces with $L$-orthogonal sequences but without $L$-orthogonal elements is independent of the standard foundation of Mathematics, ZFC. This provides a definitive answer to…
It has recently been observed that, in contrast to the classical case, holomorphic structures on line bundles over the quantum projective line are not uniquely determined by degree. We formulate a fixed-point-theoretic framework for the…
Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…
In this paper we study decay of correlations and limit theorems for generalized baker's transformations. Our examples are piecewise non-uniformly hyperbolic maps on the unit square that posses two spatially separated lines of indifferent…
We study three kinds of compactness in some variants of G\"odel logic: compactness, entailment compactness, and approximate entailment compactness. For countable first-order underlying language we use the Henkin construction to prove the…