Related papers: Extension of Hyperspace Selections
For a linear difference equation with the coefficients being computable sequences, we establish algorithmic undecidability of the problem of determining the dimension of the solution space including the case when some additional prior…
Recently an extension to higher-order logic -- called DHOL -- was introduced, enriching the language with dependent types, and creating a powerful extensional type theory. In this paper we propose two ways how choice can be added to DHOL.…
The ongoing rapid expansion of the Internet greatly increases the necessity of effective recommender systems for filtering the abundant information. Extensive research for recommender systems is conducted by a broad range of communities…
We give tight lower and upper bounds on the expected missing mass for distributions over finite and countably infinite spaces. An essential characterization of the extremal distributions is given. We also provide an extension to totally…
We summarize the arguments that space and time are likely to be emergent notions; i.e. they are not present in the fundamental formulation of the theory, but appear as approximate macroscopic concepts. Along the way we briefly review…
Beginning with the Bell theorem, cyclic systems of dichotomous random variables have been the object of many foundational findings in quantum mechanics. Here, we ask the question: if one chooses a cyclic system "at random" (uniformly within…
Given information about which options a decision-maker definitely rejects from given finite sets of options, we study the implications for decision-making with E-admissibility. This means that from any finite set of options, we reject those…
We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata…
In 1931 Elie Cartan constructed a geometry which was rarely considered. Cartan proposed a way to define an infinitesimal metric $ds$ starting from a variational problem on hypersurfaces in an $n$-dimensional manifold $\mathcal{M}$. This…
The Galactic centre and its surrounding space are important in studying galaxy-scale evolution, and stellar populations therein are expected to have imprints of the long-term evolution. Interstellar extinction, however, severely limits…
In this note, a new method for deriving the volume of hypersphere is proposed by using probability theory. The explicit expression of the multiple times convolution of the probability density functions we should use is very complicated. But…
We study some closure-type properties of function spaces endowed with the new topology of strong uniform convergence on a bornology introduced by Beer and Levy in 2009. The study of these function spaces was initiated in [2] and [3]. The…
We prove that if a subset of a $d$-dimensional vector space over a finite field with $q$ elements has more than $q^{d-1}$ elements, then it determines all the possible directions. If a set has more than $q^k$ elements, it determines a…
Given a compact set $K\subset {\Bbb R}^d,$ let ${\mathcal E}(K)$ denote the space of Whitney jets on $K$. The compact set $K$ is said to have the extension property if there exists a continuous linear extension operator $W:{\mathcal E}(K)…
We prove that Michael's paraconvex-valued selection theorem for paracompact spaces remains true for C'(E)-valued mappings defined on collectionwise normal spaces. Some possible generalisations are also given.
Over the last 20 years, supernovae have become a key tool to constrain the expansion history of the Universe through the construction of Hubble diagrams, using luminosity distances to supernovae belonging to the "Ia" subtype. This technique…
Assume that X is a metrizable separable space, and each clopen-valued lower semicontinuous multivalued map Phi from X to Q has a continuous selection. Our main result is that in this case, X is a sigma-space. We also derive a partial…
We prove the existence of subspace designs with any given parameters, provided that the dimension of the underlying space is sufficiently large in terms of the other parameters of the design and satisfies the obvious necessary divisibility…
In this article, we present new comments to the article On Kant's First Insight Into The Problem of Space Dimensionality and Its Physical Foundations. In particular, we discuss how the space concept is designed in the first writing of Kant.…
The 'hole argument'(the English translation of German 'Lochbetrachtung') was formulated by Albert Einstein in 1913 in his search for a relativistic theory of gravitation. The hole argument was deemed to be based on a trivial error of…