Related papers: An $\mathrm{NSOP}_{1}$ theory without the existenc…
We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual…
In this paper, we take a closer look at Czerwinski's "${\rm P}\neq{\rm NP}$ relative to a ${\rm P}$-complete oracle" [Cze23]. There are (uncountably) infinitely-many relativized worlds where ${\rm P}$ and ${\rm NP}$ differ, and it is…
The PBR theorem is widely seen as one of the most important no-go theorems in the foundations of quantum mechanics. Recently, in Found. Phys. 53(3): 64 (2023), it has been argued that there is no reality to the PBR theorem using a pair of…
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…
We investigate the a theorem for nonsupersymmetric gauge-Yukawa theories beyond the leading order in perturbation theory. The exploration is first performed in a model-independent manner and then applied to a specific relevant example.…
It is well-known that the charge of fermion is 0 or $\pm1$ in the U(1) gauge theory on noncommutative spacetime. Since the deviation from the standard model in particle physics has not yet observed, and so there may be no room to…
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere…
Recent no-go theorems on interpretations of quantum theory featuring an assumption of `Absoluteness of Observed Events' (AOE) are shown to have an unexpectedly strong corollary: one cannot reject AOE and at the same time assume that the…
The apparent impossibility of extending non-relativistic quantum mechanics to a relativistic quantum theory is shown to be due to the insufficient structural richness of the field of complex numbers over which quantum mechanics is built. A…
According to a recent no-go theorem (M. Pusey, J. Barrett and T. Rudolph, Nature Physics 8, 475 (2012)), models in which quantum states correspond to probability distributions over the values of some underlying physical variables must have…
We argue against current proposals concerning the non-existence of time. We point out that a large number of these proposals rely, at least implicitly, on the assumption of `closure' (or `partial closure') of the laws of Physics. I.e. the…
No quantitative theory describing all physical phenomena can be made if any arbitrary standard spacetime structure is assumed. This statement is a consequence of transforming the Peano arithmetic axioms into sentences with a physical…
Gauss-Bonnet formula is used to derive a new and simple theorem of nonexistence of vacuum static nonsingular lorentzian wormholes. We also derive simple proofs for the nonexistence of lorentzian wormhole solutions for some classes of static…
This paper examines a denumerable version of the nested-set theorem and derives from it a contradiction involving the formal consistency of the actual infinity assumed by the Axiom of Infinity.
The null splitting theorem (proved in math.DG/9909158) is discussed. As an application, a uniqueness theorem for Minkowski space and for de Sitter space associated with the occurrence of null lines (inextendible globally achronal null…
It is proved that the suspension of a closed n-dimensional manifold M, $n\ge1$, does not embed in a product of n+1 curves. In fact, the ultimate result will be proved in a much more general setting. This is a far-reaching generalization the…
We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…
SAT is not in P, is true and provable in a simply consistent extension B' of a first order theory B of computing, with a single finite axiom characterizing a universal Turing machine. Therefore, P is not equal to NP, is true and provable in…
We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…
The no-masking theorem states that it is impossible to encode an arbitrary quantum state into the correlations between two subsystems so that no original information about is accessible in the marginal state of either subsystem. In this…