Related papers: A note on the Mac\'ias topology
We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…
We define a closure operation for ideals in a commutative ring which has all the good properties of solid closure (at least in the case of equal characteristic) but such that also every ideal in a regular ring is closed. This gives in…
The notion of a firmly nonexpansive mapping is central in fixed point theory because of attractive convergence properties for iterates and the correspondence with maximal monotone operators due to Minty. In this paper, we systematically…
In previous work we showed that the contact category algebra of a quadrangulated surface is isomorphic to the homology of a strand algebra from bordered sutured Floer theory. Being isomorphic to the homology of a differential graded…
The purpose of this paper is twofold. First, we define the new spaces and investigate some topological and structural properties. Also, we compute dual spaces of new spaces which are help us in the characterization of matrix mappings.…
This article is a survey of closure operations on ideals in commutative rings, with an emphasis on structural properties and on using tools from one part of the field to analyze structures in another part. The survey is broad enough to…
Let $\A$ be the operator which assigns to each $m \times n$ matrix-valued function on the unit circle with entries in $H^\infty + C$ its unique superoptimal approximant in the space of bounded analytic $m \times n$ matrix-valued functions…
We consider the global Morrey-type spaces with variable exponents and general function defining these spaces. In the case of unbounded sets, we prove boundedness of the Hardy-Littlewood maximal operator, potential type operator in these…
We examine collective properties of closure operators on posets that are at least dcpos. The first theorem sets the tone of the paper: it tells how a set of preclosure maps on a dcpo determines the least closure operator above it, and…
Many iterative optimization algorithms involve compositions of special cases of Lipschitz continuous operators, namely firmly nonexpansive, averaged and nonexpansive operators. The structure and properties of the compositions are of…
We use the theory of fully matricial, or non-commutative, functions to investigate infinite divisibility and limit theorems in operator-valued non-commutative probability. Our main result is an operator-valued analogue of the Bercovici-Pata…
The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…
We study different geometric properties on infinite graphs, related to the weak-type boundedness of the Hardy-Littlewood maximal averaging operator. In particular, we analyze the connections between the doubling condition, having finite…
The paper is devoted to establishing relationships between global and local monotonicity, as well as their maximality versions, for single-valued and set-valued mappings between finite-dimensional and infinite-dimensional spaces. We first…
Generally-unbounded infinitesimal generators are studied in the context of operator topology. Beginning with the definition of seminorm, the concept of locally convex topological vector space is introduced as well as the concept of…
Each symmetrically-normed ideal $\mathcal{I}$ of compact operators on a Hilbert space $H$ induces a multiplier topology $\mu^*_{\mathcal{I}}$ on the algebra $\mathcal{B}(H)$ of bounded operators. We show that under fairly reasonable…
We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…
We introduce and develop the notion of hyper-ideals of multilinear operators between Banach spaces. While the well studied notion of ideals of multilinear operators (multi-ideals) relies on the composition with linear operators, the notion…
Closure operations such as tight and integral closure and test ideals have appeared frequently in the study of commutative algebra. This articles serves as a survey of the authors' prior results connecting closure operations, test ideals,…
We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…