Related papers: Partial Tower Sealing

Suppose that there is a measurable cardinal. If \aleph_\omega is a strong limit cardinal, but the power of \aleph_\omega is bigger than \aleph_{\omega_1}, then there is an inner model with a Woodin cardinal. Modulo the need of the…

We generically construct a model in which the ${\Pi^1_3}$-uniformization property is true, thus lowering the best known consistency strength from the existence of $M_1^{\#}$ to just $\mathsf{ZFC}$. The forcing construction can be adapted to…

We present a weak sufficient condition for the existence of Souslin trees at successor of regular cardinals. The result is optimal and simultaneously improves an old theorem of Gregory and a more recent theorem of the author.

We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the…

We present a covering conjecture that we expect to be true below superstrong cardinals. We then show that the conjecture is true in hod mice. This work is a continuation of the work that started in Covering with Universally Baire Functions…

We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration…

Nontrivial band topologies in semimetals lead to robust surface states that can contribute dominantly to the total conduction. This may result in reduced resistivity with decreasing feature size contrary to conventional metals, which may…

We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in…

We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $\omega_1$ follows from the consistency of ZFC.

We show that boundaries of 3D weak topological insulators can become gapped by strong interactions while preserving all symmetries, leading to Abelian surface topological order. The anomalous nature of the weak topological insulators…

We investigate interaction effects in three dimensional weak topological insulators (TI) with an even number of Dirac cones on the surface. We find that the surface states can be gapped by a surface charge density wave (CDW) order without…

Under the assumption that $\delta$ is a Woodin cardinal and $\GCH$ holds, I show that if $F$ is any class function from the regular cardinals to the cardinals such that (1) $\kappa<\cf(F(\kappa))$, (2) $\kappa<\lambda$ implies…

We give a development of the fine structure of mice with long extenders, to the level of $\kappa^+$-supercompact cardinals $\kappa$. We do this using a hierarchy with features more analogous to those familiar in the short extender context…

Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.

This paper introduces the notion of twisted toric manifolds which is a generalization of one of symplectic toric manifolds, and proves the weak Delzant type classification theorem for them. The computation methods for their fundamental…

The purpose of this paper is to introduce the construction of a stochastic process called "$\delta$-dimensional Bessel house-moving" and its properties. We study the weak convergence of $\delta$-dimensional Bessel bridges conditioned from…

We show that generalized eventually narrow sequences on a strongly inaccessible cardinal $\kappa$ are preserved under the Cummings-Shaleh non-linear iterations of the higher Hechler forcing on $\kappa$. Moreover assuming GCH,…

Assume ZF (without the Axiom of Choice). Let $j:V_\varepsilon\to V_\delta$ be a non-trivial $\in$-cofinal $\Sigma_1$-elementary embedding, where $\varepsilon,\delta$ are limit ordinals. We prove some restrictions on the constructibility of…

Starting from a commensurate triangular thin solid strip, confined within two hard structureless walls, a stretch along its length introduces a rectangular distortion. Beyond a critical strain the solid fails through nucleation of…

We present a theory for the toughness, damage tolerance, and tensile strength of a class of hierarchical, fractal, metamaterials. We show that the even though the absolute toughness and damage tolerance decrease with increasing number of…