Related papers: Stranger Things about Forcing without AC
Performing Hamiltonian analysis of the massive gravity [9] in full phase space, we see that the theory is ghost free. We also see in a more clear way that this result is intrinsic of the interaction term and does not depend on the variables…
We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to…
Let V be the universe of sets and V_{\alpha} the sets of rank \leq\alpha. We develop some axiom schemata for set theory based on the following three assumptions: 1. V \models ZFC 2. V is large with respect to the class of ordinals 3. V is…
We analyze a multiparameter periodically-forced dynamical system inspired in the SIR endemic model. We show that the condition on the \emph{basic reproduction number} $\mathcal{R}_0 < 1$ is not sufficient to guarantee the elimination of…
In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$…
We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).
The main properties of magnetized strangelets, namely, their energy per baryon, radius and electric charge, are studied. Temperature effects are also taken into account in order to study their stability compared to the 56Fe isotope and…
When dark matter structures form and equilibrate they have to release a significant amount of energy in order to obey the virial theorem. Since dark matter is believed to be unable to radiate, this implies that some of the accreted dark…
We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside…
It was established by Jensen in 1970 that there is a generic extension $L[a]$ of the constructible universe $L$ by a real $a\not\in L$ such that $a$ is $\varDelta^1_3$ in $L[a]$. Jensen's forcing construction has found a number of…
We show if we use countable support iteration of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the…
We show unexpected connection of Set Theoretical Forcing with Quantum Mechanical lattice of projections over some separable Hilbert space. The basic ingredient of the construction is the rule of indistinguishability of Standard and some…
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 meager ideal of the…
Constructor theory asserts that the laws of physics are expressible as specifications of which transformations of physical systems can or cannot be brought about with unbounded accuracy by devices capable of operating in a cycle…
The structure of the physical and strange attractors is inherently associated with the boundedness of fluctuations. The idea behind the boundedness is that a stable long-term evolution of any natural and engineered system is possible if and…
This is an overview about a method of constructing ccc forcings: Suppose first that a continuous, commutative system of complete embeddings between countable forcings indexed along $\omega_1$ is given. Then its direct limit satisfies ccc by…
We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that…
We continue the development of the theory of construction schemes over $\omega_1$ as introduced by the third author by studying their relation with forcing axioms. Formally, we introduce the cardinals $\mathfrak{m}^n_{\mathcal{F}}$ and use…
We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to…
We review several of the normal state properties of the cuprates in an attempt to establish an organizing principle from which pseudogap phenomena, broad spectral features, $T-$linear resistivity, and spectral weight transfer emerge. We…