Related papers: Incompleteness Theorems for Observables in General…
The problem as to when two noncommuting observables are considered to have the same value arises commonly, but shows a nontrivial difficulty. Here, an answer is given by establishing the notion of perfect correlations between noncommuting…
The problem of exact observability is analyzed for a wide class of neutral type systems by an infinite dimensional approach. The duality with the exact controllabil-ity problem is the main tool. It is based on an explicit expression of a…
It is shown that any theory that has certain properties has a measurement problem, in the sense that it makes predictions that are incompatible with measurement outcomes being absolute (that is, unique and non-relational). These properties…
All gauge theories need ``something fixed'' even as ``something changes.'' Underlying the implementation of these ideas all major physical theories make indispensable use of an elaborately designed spacetime model as the ``something…
The existence of incompatibility is one of the most fundamental features of quantum theory, and can be found at the core of many of the theory's distinguishing features, such as Bell inequality violations and the no-broadcasting theorem. A…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…
Although the categorical arithmetic is not effectively axiomatizable, the belief that the incompleteness Theorems can be apply to it is fairly common. Furthermore, the so-called "essential" (or "inherent") semantic incompleteness of the…
This article deals with empty spacetime and the question of its physical reality. By "empty spacetime" we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric…
We introduce some early considerations of physical and mathematical impossibility as preludes to the Goedel incompleteness theorems. We consider some informal aspects of these theorems and their underlying assumptions and discuss some the…
The purpose of this paper is to present a universal approach to the study of controllability/observability problems for infinite dimensional systems governed by some stochastic/deterministic partial differential equations. The crucial…
A complete theory of overmeasurement by measuring refinements of observables is presented. It encompasses a wider set of functions of observ- ables (coarsenings) . Thus the theory has a broad potential application.It is applied to a…
The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…
This paper is an exploration of the nuanced realm of reference frames within the framework of General Relativity. Our analysis exposes a violation of Earman's SP1 principle in scenarios involving fields that are dynamically uncoupled, a…
We present an overview on relational observables in gravity mainly from a loop quantum gravity perspective. The gauge group of general relativity is the diffeomorphism group of the underlying manifold. Consequently, general relativity is a…
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…
The traditional optical concept for the object does not provide an experimental feasibility to speak for itself, due to the fact that no measuring instrument catches up with the fluctuation of light fields. Using the theory of coherence, we…
This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…
In ordinary quantum field theory, one can define the algebra of observables in a given region in spacetime, but in the presence of gravity, it is expected that this notion ceases to be well-defined. A substitute that appears to make sense…