Related papers: Uniformizable and realcompact bornological univers…
In the author's PhD thesis (2019) universal envelopes were introduced as a tool for studying the continuously obtainable information on discontinuous functions. To any function $f \colon X \to Y$ between $\operatorname{qcb}_0$-spaces one…
To give characterizations of monotonically countably paracompact spaces with set-valued maps, Yamazaki [22] introduced the notion of strictly increasing closed cover of a topological space with which the boundedness of a set-valued map was…
By imposing natural geometrical and kinematical conditions on a conformal Killing vector in Bianchi I spacetime, we show that a class of axisymmetric metrics admits a conformal motion. This class contains new exact solutions of Einstein's…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
Hyperuniformity refers to the suppression of density fluctuations at large scales. Typical for ordered systems, this property also emerges in several disordered physical and biological systems, where it is particularly relevant to…
We investigate 2D topological gravity theories with matter fields turned on. We compute correlators of boundary creation operators with extra matter insertions. We provide a systematic procedure to determine a set of $\alpha$-states on…
Recent studies reveal striking representational alignment between artificial neural networks (ANNs) and biological brains, leading to proposals that all sufficiently capable systems converge on universal representations of reality. Here, we…
Using the definition of uniformly perfect sets in terms of convergent sequences, we apply lower bounds for the Hausdorff content of a uniformly perfect subset $E$ of $\mathbb{R}^n$ to prove new explicit lower bounds for the Hausdorff…
The large-scale structure of the Universe is well approximated by the Friedmann equations, parametrized by several energy densities which can be observationally inferred. A natural question to ask is: How different would the Universe be if…
I explain the difficulty of making various concepts of and relating to probability precise, rigorous and physically significant when attempting to apply them in reasoning about objects (e.g., spacetimes) living in infinite-dimensional…
The study of finite approximations of probability measures has a long history. In (Xu and Berger, 2017), the authors focus on constrained finite approximations and, in particular, uniform ones in dimension $d=1$. The present paper gives an…
In this paper, we prove that the topology induced by algebraic cone metric coincides with the topology induced by the metric obtained via a nonlinear scalarization function, i.e. any algebraic cone metric space is metrizable. Furthermore,…
Let $\Omega$ be a bounded, convex domain in a separable Hilbert space. The authors prove a version of the theorem of Bun Wong, which asserts that if such a domain admits an automorphism orbit accumulating at a strongly pseudoconvex boundary…
We consider the question of properly defining energy and momenta for non asymptotic Minkowskian spaces in general relativity. Only spaces of this type, whose energy, linear 3-momentum, and intrinsic angular momentum vanish, would be…
We study the class $HQ(\mathbb{D})$, the set of harmonic quasiconformal automorphisms of the unit disk $\mathbb{D}$ in the complex plane, endowed with the topology of uniform convergence. Several important topological properties of this…
We introduced the concept of a metric value set (MVS) in an earlier paper \cite{GM} and developed the idea further in \cite{AS}. In this paper we study locally $M$-metrizable spaces and the products of $M$-metrizable spaces. Finally we…
In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them…
This short paper proposes an alternative theory to Anthropic Principle. According to our interpretation, the Universe is not "fine-tuned" for life, but "roughly-tuned" for computation and its biofilness is only a phenomenon. This standpoint…
Homotopy Type Theory with a univalent universe $\,\mathcal{U}_0$ is interpreted at the strength of finite order arithmetic. We eliminate Grothendieck universes, avoid the axiom of replacement, and bound all uses of separation.
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a…