Related papers: Machine Space I: Weak exponentials and quantificat…

Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2],…

For a metrizable space $X$ of density $\kappa$, let $PM(X)$ be the space of continuous bounded pseudometrics on $X$ endowed with the uniform convergence topology. In this paper, its topology shall be classified as follows: (i) If $X$ is…

We investigate weak and strong structures for generalized topological spaces, among others products, sums, subspaces, quotients, and the complete lattice of generalized topologies on a given set. Also we introduce $T_{3.5}$ generalized…

A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…

The space ${\mathcal A}$ of almost complex structures on a closed manifold $M$ is studied. A natural parametrization of the space ${\mathcal A}$ is defined. It is shown, that ${\mathcal A}$ is a infinite dimensional complex weak…

A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.

we prove that if $X$ is a locally compact $\sigma$-compact space then on its quotient, $\gamma(X)$ say, determined by the algebra of all real valued bounded continuous functions on $X$, the quotient topology and the completely regular…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…

We construct a topological space to study contextuality in quantum mechanics. The resulting space is a classifying space in the sense of algebraic topology. Cohomological invariants of our space correspond to physical quantities relevant to…

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

Each continuous weak selection for a space $X$ defines a coarser topology on $X$, called a selection topology. Spaces whose topology is determined by a collection of such selection topologies are called continuous weak selection spaces. For…

It is introduced the concept of a quasi-king space, which is a natural generalisation of a king space. In the realm of suborderable spaces, king spaces are precisely the compact spaces, so are the quasi-king spaces. In contrast, quasi-king…

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the…

Despite significant developments in Proof Theory, surprisingly little attention has been devoted to the concept of proof verifier. In particular, the mathematical community may be interested in studying different types of proof verifiers…

Any nonpositively curved symmetric space admits a topological compactification, namely the Hadamard compactification. For rank one spaces, this topological compactification can be endowed with a differentiable structure such that the action…

We study computable topological spaces and semicomputable and computable sets in these spaces. In particular, we investigate conditions under which semicomputable sets are computable. We prove that a semicomputable compact manifold $M$ is…