Related papers: Gap Forcing
A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…
We show that it is possible to add $\kappa^+-$Cohen subsets to $\kappa$ with a Prikry forcing over $\kappa$. This answers a question from \cite{HayutBenhanouGitik}. A strengthening of non-Galvin property is introduced. It is shown to be…
We attempt a critical reconsideration of "detailed balance" as a principle that can be used to restrict the proliferation of couplings in Horava-Lifshitz gravity. We re-examine the shortcomings that have been usually associated with it in…
We present a class of modified-gravity theories which we call ultra-local models. We add a scalar field, with negligible kinetic terms, to the Einstein-Hilbert action. We also introduce a conformal coupling to matter. This gives rise to a…
We discuss constraints on which flat directions can have large vacuum expectation values (VEVs) after inflation. We show that only flat directions which are not charged under B-L and develop positive pressure due to renormalization group…
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…
Here are two of our main results: Theorem 1. Let X be a normal space with dim X=n and m\geq n+1. Then the space C*(X,R^m) of all bounded maps from X into R^m equipped with the uniform convergence topology contains a dense G_{\delta}-subset…
In this article we introduce a new class of weighted sequence spaces of Sobolev type and prove several compact embedding theorems for them. It is our contention that the chosen class is general enough so as to allow applications in various…
Building on work of Holy, L\"ucke and Njegomir \cite{MR3913154} on small embedding characterizations of large cardinals, we use some classical results of Baumgartner (see \cite{MR0384553} and \cite{MR0540770}), to give characterizations of…
Astrophysical bounds severely limit the possibility of observing collider signals of gravity with less than 3 flat extra dimensions. However, small distortions of the compactified space can lift the masses of the lightest graviton…
Keeping N=1 supersymmetry in 4-dimension and in the leading order, we disuss the various orbifold compactifications of M-theory suggested by Horava and Witten on $T^6/Z_3$, $T^6/Z_6$, $T^6/Z_{12}$, and the compactification by keeping…
We propose a generalisation of the Weak Gravity Conjecture in the presence of scalar fields. The proposal is guided by properties of extremal black holes in ${\cal N}=2$ supergravity, but can be understood more generally in terms of…
This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…
In this paper, we prove the compact embedding from the variable-order Sobolev space $W^{s(x,y),p(x,y)}_0 (\Omega)$ to the Nakano space $L^{q(x)}(\Omega)$ with a critical exponent $q(x)$ satisfying some conditions. It is noteworthy that the…
We analyze the implications of electroweak and strong coupling unification in a very general class of models extending the minimal supersymmetric standard model in $4+p$ dimensions $(p\geq 0)$. In general, electroweak precision data require…
In the simplest compactification, we discuss the intermediate unification in M-theory on $S^1/Z_2$, and point out that we can push the eleven dimension Planck scale to the TeV range if the gauge coupling in the hidden sector is super weak,…
We search for viable f(R) theories of gravity, making use of the equivalence between such theories and scalar-tensor gravity. We find that models can be made consistent with solar system constraints either by giving the scalar a high mass…
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to $\kappa$) such that the composition still…
In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model…
I prove several theorems concerning upward closure and amalgamation in the generic multiverse of a countable transitive model of set theory. Every such model $W$ has forcing extensions $W[c]$ and $W[d]$ by adding a Cohen real, which cannot…