Related papers: Stranger Things about Forcing without AC
The statement of the title is proved. It implies that under physically reasonable conditions, spacetimes which are free from singularities are necessarily stably causal and hence admit a time function. Read as a singularity theorem it…
It is a well-documented yet counterintuitive fact that wind-driven vehicles (with no onboard power source) can travel directly downwind faster than the wind itself. This effect is not paradoxical once one recognizes that the vehicle is not…
The Weak Gravity Conjecture (WGC) asserts a powerful consistency condition on gauge theories coupled to gravity, and it is widely believed that its proof will shed light on the quantum origin of gravitational interactions. Holography, and…
We apply the result of Kenneth and I. Klich, Phys. Rev. Lett.97, 160401 (2006) to derive a theorem for two objects coupled to a Dirac field. We demonstrate that a sufficient condition for the Casimir interaction to be repulsive, is for…
For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider…
Here, by introducing a version of "Unexpected hanging paradox" we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system…
This is a summary of a central argument in recent review articles by the author (cond-mat/0109419, cond-mat/0211005, and cond-mat/0211027). An effective field theory is derived for the low energy spin singlet excitations in a paramagnetic…
Some such as Dean (2014) suggest that Montague's paradox requires the necessitation rule, and that the use of the rule in such a context is contentious. But here, I show that the paradox arises independently of the necessitation rule. A…
If ZFC is consistent, then each of the following are consistent with ZFC + 2^{{aleph_0}}= aleph_2 : 1.) X subseteq R is of strong measure zero iff |X| <= aleph_1 + there is a generalized Sierpinski set. 2.) The union of aleph_1 many strong…
We presents an independence relation on sets, one can define dimension by it, assuming that we have an abstract elementary class with a forking notion that satisfies the axioms of a good frame minus stability.
In structure-based models of proteins, one often assumes that folding is accomplished when all contacts are established. This assumption may frequently lead to a conceptual problem that folding takes place in a temperature region of very…
We prove various iteration theorems for forcing classes related to subproper and subcomplete forcing, introduced by Jensen. In the first part, we use revised countable support iterations, and show that 1) the class of subproper,…
Continuing \cite{GitJir22}, we develop a version of Extender-based Magidor-Radin forcing where there are no extenders on the top ordinal. As an application, we provide another approach to obtain a failure of SCH on a club subset of an…
Light scalar fields can naturally couple disformally to matter fields. Static, non-relativistic sources do not generate a classical field profile for a disformally coupled scalar, and so such scalars are free from the constraints on the…
Quantities associated with Casimir forces are calculated in a model wave system of one spatial dimension with Dirichlet or Neumann boundary conditions. 1)Due to zero-point fluctuations, a partition is attracted to the walls of a box if the…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the null ideal of the…
We discuss the onset of irreversibility and entanglement of vortex lines in high Tc superconductors due to point disorder and thermal fluctuations using a simplified cage model. A combination of Flory arguments, known results from directed…
This work provides some general theorems about unconditional and conditional weak convergence of empirical processes in the case of Poisson sampling designs. The theorems presented in this work are stronger than previously published…
Two-dimensional systems may admit a hexatic phase and hexatic-liquid transitions of different natures. The determination of their phase diagrams proved challenging, and indeed those of hard-disks, hard regular polygons, and inverse…
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…