Related papers: Experimental verifiability and topology
Every topological space has a Kolmogorov quotient that is obtained by identifying topologically indistinguishable points, that is, points that are contained in exactly the same open sets. In this survey, we look at the relationship between…
We present several application of simple topological arguments in problems of Kolmogorov complexity. Basically we use the standard fact from topology that the disk is simply connected. It proves to be enough to construct strings with some…
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…
Perhaps more than any other of the physical sciences, cosmology exemplifies the inevitable contact between science and philosophy, including the problem of the demarcation criteria that distinguish science from non-science. Although modern…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
Relying on Kolmogorov's classical characterization of normable Topological Vector spaces, we study the normability of those Probabilistic Normed Spaces that are also Topological Vector spaces and provide a characterization of normable…
Probabilistic models require the notion of event space for defining a probability measure. An event space has a probability measure which ensues the Kolmogorov axioms. However, the probabilities observed from distinct sources, such as that…
We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…
A topological space satisfies $\GNga$ (also known as Gerlits--Nagy's property $\gamma$) if every open cover of the space such that each finite subset of the space is contained in a member of the cover, contains a point-cofinite cover of the…
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…
We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…
Here we present an overview of countably-normed spaces. We discuss the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and discuss the sigma-fields generated by these topologies. In particular,…
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).…
It is shown how one can define vector topological charges for topological exitations of non-linear sigma-models on compact homogeneous spaces T_G and G/T_G (where G is a simple compact Lie group and T_G is its maximal commutative subgroup).…
This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms…
The purpose of this paper is to explore the question "to what extent could we produce formal, machine-verifiable, proofs in real algebraic geometry?" The question has been asked before but as yet the leading algorithms for answering such…
Many recursive functions can be defined elegantly as the unique homomorphisms, between two algebras, two coalgebras, or one each, that are induced by some universal property of a distinguished structure. Besides the well-known applications…
Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
A topological space $X$ is called strongly $\sigma$-metrizable if $X=\bigcup_{n\in\omega}X_n$ for an increasing sequence $(X_n)_{n\in\omega}$ of closed metrizable subspaces such that every convergence sequence in $X$ is contained in some…