Related papers: A Constructive Fragment of Physical Propositions
Spacetimes obtained by dimensional reduction along lattices containing a lightlike direction can admit semigroup extensions of their isometry groups. We show by concrete examples that such a semigroup can exhibit a natural order, which in…
We show that no total functional can uniformly transform $\Pi_1$ primality into explicit $\Sigma_1$ witnesses without violating normalization in $\mathsf{HA}$. The argument proceeds through three complementary translations: a geometric…
Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets…
We show that the classical interpretations of Tarski's inductive definitions actually allow us to define the satisfaction and truth of the quantified formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers…
To determine the relative position of any two surfaces in a system, one approach is to useoperations (Minkowski sum and intersection) on sets of constraints. These constraints aremade compliant with half-spaces of R^n where each set of…
We show that it is possible to define a realizability interpretation for the $\Sigma_2$-fragment of classical Analysis using G\"odel's System T only. This supplements a previous result of Schwichtenberg regarding bar recursion at types 0…
We introduce here the concept of relative space, an extended 3-space which is recognized as the only space having an operational meaning in the study of the space geometry of a rotating disk. Accordingly, we illustrate how space…
Given a topologically transitive system on the unit interval, one can investigate the cover time, i.e. time for an orbit to reach certain level of resolution in the repeller. We introduce a new notion of dimension, namely the stretched…
We establish the linear instability of the semiclassical Einstein-Klein-Gordon system linearised about the Minkowski vacuum spacetime. The proof relies on formulating a forcing problem for both metric and state perturbations within the…
We prove that any metric measure spacetime arising from a smooth manifold $M$ endowed with a continuous Lorentzian metric $g$ is infinitesimally Minkowskian, under the assumption that $(M, g)$ is causally simple.
We introduce a variational first-order Sobolev calculus on metric measure spacetimes. The key object is the maximal weak subslope of an arbitrary causal function, which plays the role of the (Lorentzian) modulus of its differential. It is…
Within a simple quantization scheme, observables for a large class of finite dimensional time reparametrization invariant systems may be constructed by integration over the manifold of time labels. This procedure is shown to produce a…
We argue that the construction of spacetime is personal, specific to each observer, and requires combining aspects of both discovery and creation. What is usually referred to as the block universe then emerges by noting that part of the…
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms. Several fragments of ALC, notably logics in the FL, EL, and…
In this report, we introduce observation algebras, constructed by considering the downclosed subsets of a coherence space ordered by reverse inclusion. These may be interpreted as specifications of sets of events via some predicates with…
We formalize a transfinite Phi process that treats all possibility embeddings as operators on structured state spaces including complete lattices, Banach and Hilbert spaces, and orthomodular lattices. We prove a determinization lemma…
General realizations, star products and plane waves for kappa-Minkowski spacetime are considered. Systematic construction of general hermitian realization is presented, with special emphasis on noncommutative plane waves and hermitian star…
We study the limits to the localizability of events and reference frames in the $\kappa$-Minkowski quantum spacetime. Our main tool will be a representation of the $\kappa$-Minkowski commutation relations between coordinates, and the…
The definition of probabilities in eternally inflating universes requires a measure to regulate the infinite spacetime volume, and much of the current literature uses a global time cutoff for this purpose. Such measures have been found to…
We consider a little-known abstract decomposition result for positive measures due to Dellacherie, and show that it yields many decompositions of measures, several of which are new. We then extend Dellacherie's result to (controlled) vector…