Related papers: Iterability for (transfinite) stacks

Inflation is well known to be difficult in the context of supergravity, if the potential is dominated by the $F$ term. Non-renormalizable terms generically give $|V''|\sim V/M^2$, where $V(\phi)$ is the inflaton potential and $M$ is the…

We prove a theorem on iterated forcing that can be used for preservation of $\aleph_2$ and $\aleph_1$ in iterations with supports of size $\aleph_1$ of forcings that have amalgamation properties similar to those present in the perfect set…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

This article is a survey based on our earlier paper ("The 'Vertical' Generalization of the Binary Goldbach's Conjecture as Applied on 'Iterative' Primes with (Recursive) Prime Indexes (i-primeths)" [11]), a paper in which we have proposed a…

We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

We point out three correlated predictions of the axion monodromy inflation model: large amplitude of gravitational waves, suppression of power on horizon scales and on scales relevant for the formation of dwarf galaxies. While these…

We introduce the notion of a restricted exchangeable partition of $\mathbb{N}$. We obtain integral representations, consider associated fragmentations, embeddings into continuum random trees and convergence to such limit trees. In…

We propose an alternative refined de Sitter conjecture. It is given by a natural condition on a combination of the first and second derivatives of the scalar potential. We derive our conjecture in the same weak coupling, semi-classical…

In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…

We embed natural inflation in an explict string theory model and derive observables in cosmology. We achieve this by compactifying the type IIB string on a Calabi-Yau orientifold, stabilizing moduli via the Large Volume Scenario, and…

We revisit models of natural inflation and show that the single-field effective theory described by the potential $V(a)\sim \cos\frac{a}{f}$ breaks down as the inflaton $a$ makes large-field excursions, even for values of $f$ smaller than…

Semigroup actions and their invertible extensions are discussed. First, we develop a theory of natural extensions for continuous actions of countable, embeddable semigroups. Second, we demonstrate that not every surjective such action of a…

We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For…

The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give…

Let $a$ be a real euclidean vector space of finite dimension and $\Sigma$ a root system in $a$ with a basis $\Delta$. Let $\Theta \subset \Delta$ and $M = M_{\Theta}$ be a standard Levi of a reductive group $G$ such that $a_{\Theta}$ $= a_M…

For $n<\omega$, let $N_n$ be the minimal iterable proper class mouse $M$ such that $M\models$ "there are ordinals $\delta_0<\kappa_0<\ldots<\delta_{n-1}<\kappa_{n-1}$ such that each $\delta_i$ is a Woodin cardinal and each $\kappa_i$ is a…

This paper continues the study of the Ramsey-like large cardinals. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such…

We introduce a new and natural stationary set preserving forcing $\mathbb P^{c-c}({\lambda},{\mu})$ that (under $\mathsf{NS}_{\omega_1}$ precipitous + existence of $H_{\theta}^#$ for a sufficiently large regular ${\theta}$) increases the…

We show that the existence of a well-known type of ideals on a regular cardinal $\lambda$ implies a compactness property concerning the specialisability of a tree of height $\lambda$ with no cofinal branches. We also use Neeman's method of…