相关论文: Infra-topologies revisited: logic and clarificatio…
In this paper, we obtain some results on the relationships between different ideal \linebreak convergence modes namely, $\mathcal{I}^\mathcal{K}$, $\mathcal{I}^{\mathcal{K}^*}$, $\mathcal{I}$, $\mathcal{K}$, $\mathcal{I} \cup \mathcal{K}$…
Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction…
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical…
We define a moduli space of translation structures on the open topological disk with a basepoint and endow it with a locally-compact metrizable topology. We call this the immersive topology, because it is defined using the concept of…
In this article we introduce a definition of topological minimal sets, which is a generalization of that of Mumford-Shah-minimal sets. We prove some general properties as well as two existence theorems for topological minimal sets. As an…
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling by…
In this paper, we introduce the foundation of a fractal topological space constructed via a family of nested topological spaces endowed with subspace topologies, where the number of topological spaces involved in this family is related to…
Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$-spaces instead of restricting to posets. In this paper, we respond to this calling by…
We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite…
Very recently, the idea of studying structures equipped with two or more soft topologies has been considered by several researchers. Soft bitopological spaces were introduced and studied, in 2014, by Ittanagi as a soft counterpart of the…
Partial descriptions of the Universe are presented in the form of linear equations considered in the free (full, super) Fock space. The universal properties of these equations are discussed. The closure problem caused by computational and…
In this paper, we introduce and explore a new class of topological spaces termed as SC*-normal spaces, defined via SC*-open sets. The concept of SC*-normality is analyzed in relation to classical notions such as normal spaces and g-normal…
We define and study Noetherian topologies for spaces of infinite sets, and infinite words. In each case, we also obtain S-representations, namely, computable presentations of the sobrifications of those spaces.
Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by…
The purpose of this note is a wide generalization of the topological results of various classes of ideals of rings, semirings, and modules, endowed with Zariski topologies, to strongly irreducible ideals (endowed with Zariski topologies) of…
For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…