Related papers: The Nuisance Principle in Infinite Settings
The hole argument of general relativity threatens a radical and pernicious form of indeterminism. One natural response to the argument is that points belonging to different but isometric models should always be identified, or…
This paper presents new constructions of models of Hume's Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields,…
This paper investigates the satisfiability problem for Separation Logic, with unrestricted nesting of separating conjunctions and implications, for prenex formulae with quantifier prefix in the language $\exists^*\forall^*$, in the cases…
Quantum coherence, the physical property underlying fundamental phenomena such as multi-particle interference and entanglement, has emerged as a valuable resource upon which exotic modern technologies are founded. In general, the most…
We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…
In [2] it has been proved that a linear Hamiltonian lattice field perturbed by a conservative stochastic noise belongs to the 3/2-L\'evy/Diffusive universality class in the nonlinear fluctuating theory terminology [15], i.e. energy…
A particular problem about special kind of two light pulses propagation has been considered in cases of inertial motion, constant homogeneous gravitation field and progressive non-inertial motion with constant acceleration. A contradiction…
In this article, I focus on the resiliency of the P=?NP problem. The main point to deal with is the change of the underlying logic from first to second-order logic. In this manner, after developing the initial steps of this change, I can…
Scale-separated AdS compactifications of string theory can be constructed at the two-derivative supergravity level in the presence of smeared orientifold planes. The unsmearing corrections are known to leading order in the large volume,…
Heisenberg's uncertainty principle has been understood to set a limitation on measurements; however, the long-standing mathematical formulation established by Heisenberg, Kennard, and Robertson does not allow such an interpretation.…
The relationship between the complexity classes P and NP is a question that has not yet been answered by the Theory of Computation. The existence of a language in NP, proven not to belong to P, is sufficient evidence to establish the…
We develop a necessary stochastic maximum principle for a finite-dimensional stochastic control problem in infinite horizon under a polynomial growth and joint monotonicity assumption on the coefficients. The second assumption generalizes…
The $P$ versus $NP$ problem is still unsolved. But there are several oracles with $P$ unequal $NP$ relative to them. Here we will prove, that $P\not=NP$ relative to a $P$-complete oracle. In this paper, we use padding arguments as the proof…
The firewall paradox is often presented as arising from double entanglement, but I argue that more generally the paradox is double purity. Near-horizon modes are purified by the interior, in the infalling vacuum. Hence they cannot also be…
After highlighting the cases in which the semantics of a language cannot be mechanically reproduced (in which case it is called inherent), the main epistemological consequences of the first incompleteness Theorem for the two fundamental…
We study the satisfiability problem for the two-variable first-order logic over structures with one transitive relation. % We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential…
An artificially designed Turing Machine algorithm $\mathbf{M}_{}^{o}$ generates the instances of the satisfiability problem, and check their satisfiability. Under the assumption $\mathcal{P}=\mathcal{NP}$, we show that $\mathbf{M}_{}^{o}$…
This article is motivated by the fact that there is a distinction between the descriptions of logical explosion from syntactic and semantic points of view. The discussion is illustrated using the concept of abstract model structures and the…
The uncertainty principle is one of quantum theory's most foundational features. It underpins a quantum phenomenon called measurement incompatibility -- two physical observables of a single quantum system may not always be measured…
The heuristic principle that constructive dynamics may arise wherever there exists a difference, or gradient, is discussed. Consideration of black-hole entropy appears to provide a clue for setting a lower bound on any extensive measure of…