Related papers: Continuous first order logic for unbounded metric …
The comparison type version of the fixed point result in ordered metric spaces established by Nieto and Rodriguez-Lopez [Acta Math. Sinica (English Series), 23 (2007), 2205-2212] is nothing but a particular case of the classical Banach's…
In this paper, we introduce a new general framework, called \emph{perturbed extended $b$-metric spaces}, denoted by $(X,\mathcal{D}_{\zeta},\hbar)$, which extends the classical and extended $b$-metric structures through the inclusion of an…
Motivated by the equivalent definition of a continuous operator between Banach spaces in terms of weakly null nets, we introduce unbounded continuous operators by replacing weak convergence with the unbounded absolutely weak convergence (…
Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-based approaches in computer science. Order-invariant formulas…
We introduce the notion of a generalized $(C, \lambda)$-structure, which generalizes hyperbolicity to nonlinear dynamics in Banach spaces. The main novelties are that we allow the hyperbolic splitting to be discontinuous, and that in the…
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource. We define a variant of…
This is an attempt to build Banach space valued theory for certain singular integrals on Hamming cube. Of course all estimates below are dimension independent, and we tried to find ultimate sharp assumptions on the Banach space for a…
We utilize the idea underlying the construct of the classical weighted backward shift Rolewicz's operators to furnish a straightforward approach to a general construct of chaotic unbounded linear operators in a (real or complex) Banach…
We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also…
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we…
The purpose of this paper is devoted to studying representation of measures of non generalized compactness, in particular, measures of noncompactness, of non-weak compactness, and of non-super weak compactness, etc, defined on Banach spaces…
We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…
The paper deals with moduli of continuity for paths of random processes indexed by a general metric space $\Theta$ with values in a general metric space $\mathcal{X}$. Adapting the moment condition on the increments from the classical…
We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubi\'{s} and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023),…
The first-order theory of MALL (multiplicative, additive linear logic) over only equalities is an interesting but weak logic since it cannot capture unbounded (infinite) behavior. Instead of accounting for unbounded behavior via the…
We augment the dimension of the Euclidean space by one and the Picard iteration of a contraction by a simple iteration on the real line such that the resulting iteration becomes monotone increasing and bounded with respect to the order…
In this paper, we continue the investigation of topological properties of unbounded norm (un-)topology in normed lattices. We characterize separability and second countability of un-topology in terms of properties of the underlying normed…
For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional…
We develop a new concept of non-positive curvature for metric spaces, based on intersection patterns of closed balls. In contrast to the synthetic approaches of Alexandrov and Buesemann, our concept also applies to metric spaces that might…
One of the important consequences of the Banach Fixed Point Theorem is Hutchinson's theorem which states the existence and uniqueness of fractals in complete metric spaces. The aim of this paper is to extend this theorem for semimetric…