Related papers: Co-c.e. spheres and cells in computable metric spa…
We show that if a set $A$ is computable from every superlow 1-random set, then $A$ is strongly jump-traceable. This theorem shows that the computably enumerable (c.e.) strongly jump-traceable sets are exactly the c.e.\ sets computable from…
This work provides theoretical foundations for kernel methods in the hyperspherical context. Specifically, we characterise the native spaces (reproducing kernel Hilbert spaces) and the Sobolev spaces associated with kernels defined over…
A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…
We study the concept of cone metric space in the context of ordered vector spaces by setting up a general and natural framework for it.
We solve the covering problem for Demuth randomness, showing that a computably enumerable set is computable from a Demuth random set if and only if it is strongly jump-traceable. We show that on the other hand, the class of sets which form…
Computational experiments have become essential for scientific discovery, allowing researchers to test hypotheses, analyze complex datasets, and validate findings. However, as computational experiments grow in scale and complexity, ensuring…
We propose a new type of quantum computer which is used to prove a spectral representation for a class F of computable sets. When S in F codes the theorems of a formal system, the quantum computer produces through measurement all theorems…
In this paper we consider surfaces with one or two families of spherical curvature lines. We show that every surface with a family of spherical curvature lines can locally be generated by a pair of initial data: a suitable curve of Lie…
We study metric spaces that admit a conical bicombing and thus obey a weak form of non-positive curvature. Prime examples of such spaces are injective metric spaces. In this article we give a complete characterization of complete metric…
We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…
We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products,…
For $r \in [0,1]$ we say that a set $A \subseteq \omega$ is \emph{coarsely computable at density} $r$ if there is a computable set $C$ such that $\{n : C(n) = A(n)\}$ has lower density at least $r$. Let $\gamma(A) = \sup \{r : A \hbox{ is…
We initiate a formal study of logical inferences in context of the measure problem in cosmology or what we call cosmic logic. We describe a simple computational model of cosmic logic suitable for analysis of, for example, discretized…
A space is functionally countable if every real-valued continuous function has countable image. A stronger property recently defined by Tkachuk is exponentially separability. We start by studying these properties in GO spaces, where we…
In this article, using the computer, are enumerated all locally-rigid packings by $N$ congruent circles (spherical caps) on the unit sphere ${\Bbb S}^2 $ with $N < 12.$ This is equivalent to the enumeration of irreducible spherical contact…
An astonishingly diverse biomolecular circuitry orchestrates the functioning machinery underlying every living cell. These biomolecules and their circuits have been engineered not only for various industrial applications but also to perform…
A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…
In 2007 H. Long-Guang and Z. Xian, [H. Long-Guang and Z. Xian, Cone Metric Spaces and Fixed Point Theorems of Contractive Mapping, J. Math. Anal. Appl., 322(2007), 1468-1476], generalized the concept of a metric space, by introducing cone…
An open (resp., closed) subset A of a topological space (X, T ) is called C-open (resp., C-closed) set if cl(A) \ A (resp., A \ int(A)) is a countable set. This paper aims to present the concept of C-open and C-closed sets. We first…