Related papers: Stranger Things about Forcing without AC
Using an invariant modification of Jensen's "minimal $\varPi^1_2$ singleton" forcing, we define a model of ZFC, in which, for a given $n\ge2$, there exists a lightface $\varPi^1_n$ unordered pair of non-OD (hence, OD-indiscernible)…
We discuss various examples and ramifications of the conjecture that there exists a maximum force (or tension) in general relativistic systems. We contrast this situation with that in Newtonian gravity, where no maximum force exists, and…
We compute fluctuation-induced (Casimir) forces for classical systems after a temperature quench. Using a generic coarse-grained model for fluctuations of a conserved density, we find that transient forces arise even if the initial and…
In this paper, the abc conjecture is negated under certain conditions
To change the velocity of an electron requires that a Lorentz force acts on it, through an electric or a magnetic field. We point out that within the conventional understanding of superconductivity electrons appear to change their velocity…
Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…
We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation…
From Shor's [Comm. Math. Phys. 246(3), 453 (2004)] and Hastings's [Nature Phys. 5, 255 (2009)] studies, the strong superadditivity of entanglement of formation is, in general, not true. In this paper, we provide conditions for strong…
Velocity-dependent interactions in a fundamental-string dominated universe lead quite naturally, with reasonable assumptions on initial conditions, to an accelerating expanding universe without assuming the existence of a cosmological…
Under the same spirit of the Galileon-Horndeski theories and their more modern extensions, the generalized SU(2) Proca theory was built by demanding that its action may be free of the Ostrogradski's instability. Nevertheless, the theory…
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
Apart from the familiar structure firmly-rooted in the general relativistic field equations where the energy--momentum tensor has a null divergence i.e., it conserves, there exists a considerable number of extended theories of gravity…
We carry out a nonadiabatic analysis of strange-modes in hot massive stars with time-dependent convection (TDC). In envelopes of such stars, convective luminosity is not so dominant as that in envelopes of stars in the redder side of the…
A poset $P$ is said to satisfy the finite antichain condition, or FAC for short, if it has no infinite antichain. It was conjectured by Aharoni and Korman in 1992 that any FAC poset $P$ possesses a chain $C$ and a partition into antichains…
We discuss how singular can cardinals be in absence of the axiom of choice. We show that, contrasting with known negative consistency results (of Gitik and others), certain positive results are provable. Then we pose some problems.
We consider the Casimir interaction between a cylinder and a hollow cylinder, both conducting, with parallel axis and slightly different radii. The Casimir force, which vanishes in the coaxial situation, is evaluated for both small and…
$\mathsf{ZF + AD}$ proves that for all nontrivial forcings $\mathbb{P}$ on a wellorderable set of cardinality less than $\Theta$, $1_{\mathbb{P}} \Vdash_{\mathbb{P}} \neg\mathsf{AD}$. $\mathsf{ZF + AD} + \Theta$ is regular proves that for…
Gauging extra matter is a common way to couple two CFTs discontinuously. We may consider gauging matter by strongly coupled gauge theories at criticality rather than by weakly coupled (asymptotic free) gauge theories. It often triggers…
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…