Related papers: Iterability for (transfinite) stacks
We introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $\Sigma$-Prikry. We show that given…
We show that the prediction for the primordial tensor power spectrum cannot be modified at leading order in derivatives. Indeed, one can always set to unity the speed of propagation of gravitational waves during inflation by a suitable…
Homogeneous oscillations of the inflaton after inflation can be unstable to small spatial perturbations even without coupling to other fields. We show that for inflaton potentials $\propto |\phi|^{2n}$ near $|\phi|=0$ and flatter beyond…
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and…
An anthropic understanding of the cosmological constant requires that the vacuum energy at late time scans from one patch of the universe to another. If the vacuum energy during inflation also scans, the various patches of the universe…
We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…
We revisit arguments that simple models of inflation with a small red tilt in the scalar power spectrum generically yield an observable tensor spectrum. We show that criteria for fine-tuning based upon the algebraic simplicity of the…
Let $\mathcal{N}$ be the $\sigma$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open…
We propose a novel scenario to explain the small cosmological constant (CC) by a finely tuned inflaton potential. The tuned shape is stable under radiative corrections, and our setup is technically natural. The peculiar po- tential…
Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…
We show that if the universe is self-iterable and $\kappa$ is an inaccessible limit of Woodin cardinal then $AD_R + "\Theta$ is regular" holds in the derived model at $\kappa$. The proof is fine-structure free, and only assumes basic…
Motivated by string theory activities, we investigate inflationary models and the swampland criteria in the context of a stringy rescaled gravity. Inspired by differential equations associated with special functions, we develop an algorithm…
Consider a compact metric space $X$, and let $\mathcal{F}=\{f_1,\,f_2,\ldots,\, f_k\}$ be a set of contracting and continuous self maps on $X$. Let $\Sigma$ be a sub-shift on $k$ symbols, and let $\Sigma_k$ be the full shift. Define…
In this work, we give a description of all sigma-finite measures on the space of rooted compact real trees which satisfy a certain regenerative property. We show that any infinite measure which satisfies the regenerative property is the…
We present here the effective theory of inflation `a la Ginsburg-Landau in which the inflaton potential is a polynomial. The slow-roll expansion becomes a systematic 1/N expansion where N ~ 60. The spectral index and the ratio of…
Let G be a finite graph or an infinite graph on which Z^d acts with finite fundamental domain. If G is finite, let T be a random spanning tree chosen uniformly from all spanning trees of G; if G is infinite, known methods show that this…
The power spectrum of M-theory cascade inflation is derived. It possesses three distinctive signatures: a decisive power suppression at small scales, oscillations around the scales that cross the horizon when the inflaton potential jumps…
Markov decision processes are widely used for planning and verification in settings that combine controllable or adversarial choices with probabilistic behaviour. The standard analysis algorithm, value iteration, only provides a lower bound…
We consider products of $\psi$ classes and products of $\omega$ classes on $\overline{M}_{0,n+3}$. For each product, we construct a flat family of subschemes of $\overline{M}_{0,n+3}$ whose general fiber is a complete intersection…
We review the relation between the inflationary potential and the spectra of density (scalar) perturbations and gravitational waves (tensor perturbations) produced, with particular emphasis on the possibility of reconstructing the inflaton…