Related papers: Realizability in OCAs and AKSs
In this paper independent sets of closure operations are introduced. We characterize minimal keys and antikeys of closure operations in terms of independent sets. We establish an expression on the connection between minimal keys and…
We consider the covering map $\pi:\mathbb{C}^n\to \mathbb{T}$ of a compact complex torus. Given an algebraic variety $X\subseteq \mathbb{C}^n$ we describe the topological closure of $\pi(X)$ in $\mathbb T$. We obtain a similar description…
In a previous paper we built a modified Hamiltonian formalism to make possible explicit maps among manifolds. In this paper the modified formalism was generalized. As an application, we have built maps among spaces associated to spinors, as…
We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which…
In this paper we obtain a Carleman approximation theorem for maps from Stein manifolds to Oka manifolds. More precisely, we show that under suitable complex analytic conditions on a totally real set $ M $ of a Stein manifold $X$, every…
We define and study the notions of closure $\text{\rsfs{C}}$ operators and interior $\mathbf{I}$ operators of the category $\mathbf{CCov}$ of convergent covers which appears in positive topologies. The main motivation of this paper is to…
We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are…
In this largely expository paper, we will present a list of En -operads and give complete, and in some cases new, proofs of the equivalences between these operads.
In this paper, we give the complete description of maps on self-adjoint bounded operators on Hilbert space which preserve a triadic relation involving the difference of operators and either commutativity or quasi-commutativity in both…
We study the basic Galois connection induced by the "satisfaction" relation between external operations $A^n\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of…
We study the closure $\bar{CSO}$ of the set $CSO$ of all complex symmetric operators on a separable, infinite-dimensional, complex Hilbert space. Among other things, we prove that every compact operator in $\bar{CSO}$ is complex symmetric.…
Motivated by a recent result of Sakai, we define a new selection operator for covers of topological spaces, inducing new selection hypotheses. We initiate a systematic study of the new hypotheses. Some intriguing problems remain open.
One must add arrows which are forced by transitivity to form the transitive closure of a directed graph. We introduce a construction of a transitive directed graph which is formed by adding vertices instead of arrows and which preserves the…
Motivated by the increasing appeal of robots in information-gathering missions, we study multi-agent path planning problems in which the agents must remain interconnected. We model an area by a topological graph specifying the movement and…
We develop synthetic notions of oracle computability and Turing reducibility in the Calculus of Inductive Constructions (CIC), the constructive type theory underlying the Coq proof assistant. As usual in synthetic approaches, we employ a…
In a previous paper, we presented several extensions of ACP with conditional expressions, including one with a retrospection operator on conditions to allow for looking back on conditions under which preceding actions have been performed.…
It is an attractive hypothesis that the spatial structure of visual cortical architecture can be explained by the coordinated optimization of multiple visual cortical maps representing orientation preference (OP), ocular dominance (OD),…
We present the exact realization of the extended Snyder model. Using similarity transformations, we construct realizations of the original Snyder and the extended Snyder models. Finally, we present the exact new realization of the…
We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…
In this paper a new general approach is developed to construct and study Lebesgue type decompositions of linear operators $T$ in the Hilbert space setting. The new approach allows to introduce an essentially wider class of Lebesgue type…