Related papers: Effective local compactness and the hyperspace of …
We prove that the free locally convex space $L(X)$ over a metrizable space $X$ has countable tightness if and only if $X$ is separable.
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…
Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
In this paper we present a result concerning locally contractive maps defined on subsets of perfect Polish ultrametric spaces (i.e. separable complete ultrametric spaces). Specifically, we show that a perfect compact ultrametric space…
We prove that the countable product of supercomplete spaces having a countable closed cover consisting of partition-complete subspaces is supercomplete with respect to its metric-fine coreflection. Thus, countable products of…
We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally…
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…
A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…
We explore representing the compact subsets of a given represented space by infinite sequences over Plotkin's $\mathbb{T}$. We show that computably compact computable metric spaces admit representations of their compact subsets in such a…
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…
We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
Adapting a homotopy reconstruction theorem for general metric compacta, we show that every countable metric or ultrametric compact space can be topologically reconstructed as the inverse limit of a sequence of finite $T_0$ spaces which are…
The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…
We study ergodic-theoretic properties of coded shift spaces. A coded shift space is defined as a closure of all bi-infinite concatenations of words from a fixed countable generating set. We derive sufficient conditions for the uniqueness of…
We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…
The aim of this paper is to introduce the notion of $a$-locally closed set by utilizing $a$-open sets defined by Ekici and to study some properties of this new notion. Also, some characterizations and many fundamental results regarding this…
We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical…
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the…