Related papers: Incompatibility of generic hugeness principles
Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square…
We discuss two general aspects of the theory of cardinal characteristics of the continuum, especially of proofs of inequalities between such characteristics. The first aspect is to express the essential content of these proofs in a way that…
It is pointed out that at present we only prove that inertial static mass and gravitational static mass are equivalent. We have not proved that inertial moving mass and gravitational moving mass are also equivalent. It is proved by the…
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle…
In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. The maximum principle is the property of forcing: p ||- exists x theta(x) iff for some name tau p ||- theta(tau). We also look at three…
Functional measures for lattice quantum gravity should agree with their continuum counterparts in the weak field, low momentum limit. After showing that the standard simplicial measure satisfies the above requirement, we prove that a class…
We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $\theta$-supercompact, for any desired $\theta$. In addition, we prove several global results…
A class of Modified Gravity Models, consisting of inverse powers of linear combination of quadratic curvature invariants, is studied in the full parameter space. We find that singularity-free cosmological solutions, interpolating between an…
The classical gravitational two-body problem is generalized in order to be applicable also to weak gravitational fields. The equation of motion holds both for terrestrial and large cosmic scales, the Newtonian gravitational law represents a…
We discuss what we take to be three possible misconceptions in the foundations of general relativity, relating to: (a) the interpretation of the weak equivalence principle and the relationship between gravity and inertia; (b) the connection…
In this paper, we obtain the consistency, relative to large cardinals, of the existence of dense ideals on every successor of a regular cardinal simultaneously. Using a consequent transfer principle, we show that in this model there is a…
We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to…
The Einstein equivalence principle in the electromagnetic sector can be violated in modifications of gravity theory generated by a multiplicative coupling of a scalar field to the electromagnetic Lagrangian. In such theories, deviations of…
If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…
Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…
We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD,…
In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…
For a cuspidal automorphic representation of GL2/Q associated to a modular form, the local and global Langlands correspondences are compatible at all finite places of Q. On the p-adic Coleman-Mazur eigencurve this principle can fail (away…
In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.
We show that the notions of generic and Laver-generic supercompactness are first-order definable in the language of ZFC. This also holds for generic and Laver-generic (almost) hugeness as well as for generic versions of other large…