Strongly discrete subsets in ω*
Strongly irresolvable spaces.
Strongly sequential spaces.
Strongly sequential spaces
The problem of Y. Tanaka [10] of characterizing the topologies whose products with each first-countable space are sequential, is solved. The spaces that answer the problem are called strongly sequential spaces in analogy to strongly Fréchet spaces.
Strongly summable ultrafilters on N and small maximal subgroups of ßN.
Structure of the set of compatible proximities when the set is finite
Structure resolvability
We introduce the general notion of structure resolvability and structure irresolvability, generalizing the usual concepts of resolvability and irresolvability.
Struktur- und Anzahlformeln für Topologien auf endlichen Mengen.
Strutture di convergenza per filtri
Study of -closed sets and the related notions in topological spaces.
Sulle topologie collegate con la convergenza puntuale
Sum theorems for the tightness and -character in the class of compact spaces
Summable Family in a Commutative Group
Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [22], [7]. In this paper we present our formalization of this theory in Mizar [6]. First, we compare the notions of the limit of a family indexed by a directed set, or a sequence, in a metric space [30], a real normed linear space [29] and a linear topological space [14] with the concept of the limit of an image filter [16]. Then, following Bourbaki [9], [10] (TG.III, §5.1 Familles sommables...
Sur la classe des morphismes propres dans la catégorie des espaces de convergence
Sur la compactification de Stone-Čech d'un espace de convergence
Sur la convergence relative d'une suite d'ensembles et de leurs applications sur les suites de fonctions
Sur la topologie mixte de Wiweger
Sur les espaces riemanniens avec bords singuliers
Sur quelques points de topologie générale. Théorie des nasses et des tramails
Sur trois questions de Grimeisen en topologie générale