相关论文: Historic iteration with aleph_epsilon-support

We show that it is consistent, relative to the consistency of a strongly inaccessible cardinal, that an instance of the generalized Borel Conjecture introduced in [8] holds while the classical Borel Conjecture fails.

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular…

We analyze the dynamics of a homogeneous and isotropic universe in the Einstein--Cartan theory of gravity. The spin of fermions produces spacetime torsion that prevents gravitational singularities and replaces the big bang with a…

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

Taking into account only luminous objects, the kinematics of clusters of galaxies, galaxies and their interior, require a much higher mass than the luminous one to explain the observations. This situation has provoked more than 30 years of…

We introduce a new covering property, defined in terms of order types of sequences of open sets, rather than in terms of cardinalities of families. The most general form of this compactness notion depends on two ordinal parameters. In the…

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…

We isolate \emph{the approximating diamond principles}, which are consequences of the diamond principle at an inaccessible cardinal. We use these principles to find new methods for negating the diamond principle at large cardinals. Most…

In this paper, we consider the problem of formal iteration. We construct an area preserving mapping which does not have any square root. This leads to a counterexample to Moser's existence theorem for an interpolation problem. We give…

Classical and recent results on uncertainty principles for functions on finite Abelian groups relate the cardinality of the support of a function to the cardinality of the support of its Fourier transforms. We use these results and their…

The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…

Our theme is that not every interesting question in set theory is independent of $ZFC$. We give an example of a first order theory $T$ with countable $D(T)$ which cannot have a universal model at $\aleph_1$ without CH; we prove in $ZFC$ a…

This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…

We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…

We briefly review some results concerning the problem of classical singularities in general relativity, obtained with the help of the theory of differential spaces. In this theory one studies a given space in terms of functional algebras…

The present discussion concerning certain fundamental physical theories (such as string theory and multiverse cosmology) has reopened the demarcation problem between science and non-science. While parts of the physics community see the…

The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random real forcing for $\aleph^{\aleph_0}_0$; in spite of this similarity, the Cohen forcing and Random…

The evidence for the accelerated expansion of the universe and the time-dependence of the fine-structure constant suggests the existence of at least one scalar field with a mass of order H_0. If such a field exists, then it is generally…

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

We consider the proposition that multiple universes exist by reviewing the various manifestations. In recent years, this idea has been elevated from science fiction and introduced in separate guises as an explanation for coincidence…