Related papers: On Namba Forcing and Minimal Collapses
In this paper, we introduce several classes of Prikry-type forcing notions, two of which are used to produce minimal generic extensions, and the third is applied in $\alpha$-recursion theory to produce minimal covers. The first forcing as a…
Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak…
Assuming four strongly compact cardinals, it is consistent that all entries in Cicho\'n's diagram are pairwise different, more specifically that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} <…
Minimal BCOV theory is a classical field theory which describes a subclass of deformations of the category of perfect complexes on a Calabi-Yau variety. We compute minimal models for $L_\infty$-algebras describing minimal BCOV theory and…
This work considers the doubly degenerate nutrient model \begin{equation*}\label{AH1} \left\{ \begin{split} &u_t=\nabla\cdot\left(u^{m-1}v\nabla u\right)-\nabla\cdot\left(f(u)v\nabla v\right)+\ell uv,&&x\in\Omega,\,t>0, &v_t=\Delta v-uv,…
We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…
For $\alpha\geq 2$, we investigate a class of Fourier extension operators on fractional surfaces $(\xi,|\xi|^\alpha)$. For the corresponding $\alpha$-Strichartz inequalities, by applying the missing mass method and bilinear restriction…
We prove several rigidity results for corona $C^*$-algebras and \v{C}ech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todor\v{c}evi\'c's $\OCA$ and Martin's Axiom at level…
We generalized the Korkin-Zolotarev theorem to the case of entire functions having the smallest $L^1$ norm on a system of intervals $E$. If $\bbC\setminus E$ is a domain of Widom type with the Direct Cauchy Theorem we give an explicit…
We prove from the existence of a Mahlo cardinal the consistency of the statement that $2^\omega = \omega_3$ holds and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$ reflects to an ordinal less than $\omega_2$ with…
We associate two linear categories with two objects to a module over the subalgebra of coinvariants of a Hopf-Galois extension, and prove that they are isomorphic. The structure Theorem for cleft extensions, and the Militaru \cStefan…
We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Ros{\l}anowski and Shelah math.LO/9807172, math.LO/9909115. To make a real use of these forcing notions (that is to iterate them without…
We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this…
Not all convex functions on $\mathbb{R}^n$ have finite minimizers; some can only be minimized by a sequence as it heads to infinity. In this work, we aim to develop a theory for understanding such minimizers at infinity. We study astral…
Generalizing some earlier techniques due to the second author, we show that Menas' theorem which states that the least cardinal kappa which is a measurable limit of supercompact or strongly compact cardinals is strongly compact but not…
A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small…
The two parallel concepts of "small" sets of the real line are meagre sets and null sets. Those are equivalent to Cohen forcing and Random real forcing for $\aleph^{\aleph_0}_0$; in spite of this similarity, the Cohen forcing and Random…
Bershadsky, Cecotti, Ooguri and Vafa constructed a real valued invariant for Calabi-Yau manifolds, which is called the BCOV invariant. In this paper, we consider a pair $(X,Y)$, where $X$ is a compact Kaehler manifold and…
We investigate the effects of various forcings on several forms of the Halpern-L\"auchli Theorem. For inaccessible $\kappa$, we show they are preserved by forcings of size less than $\kappa$. Combining this with work of Zhang in…