Related papers: Historic iteration with aleph_epsilon-support
We prove the consistency of the failure of the singular cardinals hypothesis at $\aleph_\omega$ together with the reflection of all stationary subsets of $\aleph_{\omega+1}$. This shows that two classic results of Magidor (from 1977 and…
The work presents the first part of second edition of the previous edition of 2000 under the same title containing the proof (in ZF) of the nonexistence of inaccessible cardinals, now enriched and improved. This part contains the apparatus…
Martin's Axiom for $\sigma$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions.
Without observational or theoretical modifications, Newtonian and general relativity seem to be unable to explain gravitational behavior of large structure of the universe. The assumption of dark matter solves this problem without modifying…
It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above…
The incompatibility between the treatment of time in the classical and in the quantum theory results in the so-called problem of time in canonical quantum gravity. For this reason, attempts have been made to devise algorithms of…
In infinitely cyclic cosmology past eras are discussed using set theory and transfinite numbers. One consistent scenario, already in the literature, is where there is always a countably infinite number, $\aleph_0$, of universes and no big…
This study in the philosophy of cosmology is a part of an ongoing effort to investigate and reassess the importance of the anthropic (Davies-Tipler) argument against cosmologies containing the past temporal infinity. Obviously, the prime…
We deal with some pcf investigations mostly motivated by abelian group theory problems and deal their applications to test problems (we expect reasonably wide applications). We prove almost always the existence of aleph_omega-free abelian…
We consider the cardinal sequences of compact scattered spaces in models where CH is false. We describe a number of models where the continuum is aleph_2 in which no such space can have aleph_2 countable levels.
The aim of this paper is to re-examine the question of the average magnification in a universe with some inhomogeneously distributed matter. We present an analytic proof, valid under rather general conditions, including clumps of any shape…
Characteristic earlier results were of the form CON$(2^{\aleph_0} \to [\lambda]^2_{n, 2})$, with $2^{\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\aleph_0} =…
We prove an iteration theorem which guarantees for a wide class of nice iterations of $\omega_1$-preserving forcings that $\omega_1$ is not collapse, at the price of needing large cardinals to burn as fuel. More precisely, we show that a…
Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…
It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…
This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} =…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
In recent years, the hope to confirm the existence of dark matter by experimentally detecting it has diminished significantly. After more than 30 years of experimental searches, many of the most promising candidates have since been ruled…
In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…
The non-Keplerian galactic rotational curves and the gravitational lensing data strongly indicate a significant dark matter component in the universe. Moreover, these data can be combined to deduce the equation of state of dark matter. Yet,…