Related papers: Subspaces of an arithmetic universe via type theor…
We argue, that from a background pre space-time Zero Point Field, physical space-time emerges on averaging over unphysical Compton scales.
If we assume that there is the ultimate thoery at all, how should the concept of the spacetime be formulated? The following essay is my consideration on such a question. The use of mathematical expressions is suppressed as long as possible.…
A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound andcomplete characterization of the set of polynomial time computable functions is obtained. As a consequence,…
Supersymmetry has been studied for over three decades by physicists, its superset even longer by mathematicians, and superspace has proven to be very useful both conceptually and in facilitating computations. However, the (1) necessary…
The central idea of this work is the concept of prespace, a hypothetical structure that is postulated to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the implications…
A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such as completeness or uniform convergence. Motivated by previous work of J. Rivera-Letelier, we give a new…
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
The concept of pure spinor is generalized, giving rise to the notion of pure subspaces, spinorial subspaces associated to isotropic vector subspaces of non-maximal dimension. Several algebraic identities concerning the pure subspaces are…
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…
A physical theory of the world is presented under the unifying principle that all of nature is laid out before us and experienced through the passage of time. The one-dimensional progression in time is opened out into a multi-dimensional…
Suppose we have identified three clusters of galaxies as being topological copies of the same object. How does this information constrain the possible models for the shape of our Universe? It is shown here that, if the Universe has flat…
We introduce the notion of a topological symmetry as a quantum mechanical symmetry involving a certain topological invariant. We obtain the underlying algebraic structure of the Z_2-graded uniform topological symmetries of type (1,1) and…
The aim of this paper is to refine and extend proposals by Sozeau and Tabareau and by Voevodsky for universe polymorphism in type theory. In those systems judgments can depend on explicit constraints between universe levels. We here present…
Let $A$ be an Artin algebra. We investigate subalgebras of $A$ with certain conditions and obtain some classes of algebras whose finitistic dimensions are finite.
We show that a Beurling type theory of invariant subspaces of noncommutative $H^2$ spaces holds true in the setting of subdiagonal subalgebras of $\sigma$-finite von Neumann algebras. This extends earlier work of Blecher and Labuschagne for…
We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…
In this paper we introduce the notion of I-convergence of sequences of k-dimensional subspaces of an inner product space, where I is an ideal of subsets of N, the set of all natural numbers and k in N. We also study some basic properties of…
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…
We study thick subcategories defined by modules of complexity one in $\underline{\md}R$, where $R$ is the exterior algebra in $n+1$ indeterminates.
We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view…