Related papers: A Constructive Fragment of Physical Propositions
We argue that there exists an operational way to establish the observability of the notions of space and time. Specifically, we propose a theory-independent protocol for a gedanken-experiment, whose outcome is a signal establishing the…
We motivate and construct a mathematical theory for the separation of space and time in general relativity. The formalism only requires a single observer and an optional choice of reference frame at each instant. As the splitting is done…
We use a characterization of Minkowski measurability to study the asymptotics of best packing on cut-out subsets of the real line with Minkowski dimension $d\in(0,1)$. Our main result is a proof that Minkowski measurability is a sufficient…
We investigate the limitations of length measurements by accelerated observers in Minkowski spacetime brought about via the hypothesis of locality, namely, the assumption that an accelerated observer at each instant is equivalent to an…
We consider Minkowski spacetime, the set of all point-events of spacetime under the relation of causal accessibility. That is, ${\sf x}$ can access ${\sf y}$ if an electromagnetic or (slower than light) mechanical signal could be sent from…
We propose to derive deviation measures through the Minkowski gauge of a given set of acceptable positions. We show that, given a suitable acceptance set, any positive homogeneous deviation measure can be accommodated in our framework. In…
The discrete data encoded in the power moments of a positive measure, fast decaying at infinity on euclidean space, is incomplete for recovery, leading to the concept of moment indeterminateness. On the other hand, classical integral…
An extension of Marcinkiewicz Interpolation Theorem, allowing intermediate spaces of Orlicz type, is proved. This generalization yields a necessary and sufficient condition so that every quasilinear operator, which maps the set, $S(X,\mu)$,…
We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated…
We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard…
We work primarily with the Kripke frame consisting of two-dimensional Minkowski spacetime with the irreflexive accessibility relation 'can reach with a slower-than-light signal'. We show that in the basic temporal language, the set of…
An algebraic characterization of vacuum states in Minkowski space is given which relies on recently proposed conditions of geometric modular action and modular stability for algebras of observables associated with wedge-shaped regions. In…
We develop a new functional-analytic technique for investigating the degree of noncompactness of an operator defined on a quasinormed space and taking values in a Marcinkiewicz space. The main result is a general principle from which it can…
We construct and parametrize solutions to the constraint equations of general relativity in a neighborhood of Minkowski spacetime with arbitrary prescribed decay properties at infinity. We thus provide a large class of initial data for the…
We present a novel derivation of both the Minkowski metric and Lorentz transformations from the consistent quantification of a causally ordered set of events with respect to an embedded observer. Unlike past derivations, which have relied…
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for…
The Minkowski Question Mark function relates the continued-fraction representation of the real numbers, to their binary expansion. This function is peculiar in many ways; one is that its derivative is 'singular'. One can show by classical…
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…
Starting from a discussion of the concrete representations of the coordinates of the k-Minkowski spacetime (in 1+1 dimensions, for simplicity), we explicitly compute the associated Weyl operators as functions of a pair of Schroedinger…
Friedrich's proofs for the global existence results of de Sitter-like space-times and of semi-global existence of Minkowski-like space-times [Comm. Math. Phys. \textbf{107}, 587 (1986)] are re-examined and discussed, making use of the…