Related papers: Precompact Apartness Spaces
In this paper, we introduce the notions of pre-uniform spaces and pre-proximities and investigate some basic properties about them, where the definition of pre-uniformity here is different with the pre-uniformities which are studied in…
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also…
The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/H\"older continuous mappings acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing…
The idea of pairwise paracompactness was studied by many authors in a bitopological space. Here we study the same in the setting of more general structure of a bispace using the thoughts of the same given by Bose et al[2].
We present the first steps of a predicative reconstruction of the constructive Bishop-Cheng measure theory. Working in a semi-formal elaboration of Bishop's set theory and invoking the notion of a set-indexed family of subsets (of a given…
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…
This chapter aims to provide a clear and understandable picture of constructive semigroups with apartness in Bishop's style of constructive mathematics, BISH. Our theory is partly inspired by the classical case, but it is distinguished from…
Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…
The aim of this short note is to develop a (co)homology theory for topological spaces together with the specialisation preorder. A known way to construct such a (co)homology is to define a partial order on the topological space starting…
We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that…
We study the topological structure and the topological dynamics of groups of homeomorphisms of scattered spaces. For a large class of them (including the homeomorphism group of any ordinal space or of any locally compact scattered space),…
This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…
The aim of this paper is to introduce the concept of Delta-Compact spaces along with some basic properties of it. Here, we try to establish the behavior of Delta-Compact spaces under the continuous mapping. Finally, we define another…
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…
We introduce a pregeometry employing uniform spaces over the denumerable set X of spacetime events. The discrete uniformity D_X over X is used to obtain a pregeometric model of macroscopic spacetime neighborhoods. We then use a uniformity…
A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such as completeness or uniform convergence. Motivated by previous work of J. Rivera-Letelier, we give a new…
We introduce three new classes of pracompact spaces, consider their basic properties and relations with other compact-like spaces.
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…