Related papers: Strongest transformations

A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and…

We improve the upper bound for the consistency strength of stationary reflection at successors of singular cardinals.

We solve a long-standing open problem of Shelah regarding the \emph{Approachability Ideal} $I[\kappa^+]$. Given a singular cardinal $\aleph_\gamma$, a regular cardinal $\mu\in (\mathrm{cf}(\gamma),\aleph_\gamma)$ and assuming appropriate…

We study the pullback theorem of Sobolev mappings on Carnot groups via mollification of mappings. With the pullback theorem we extend the classical result proved by Xiangdong Xie : Rigidity of Sobolev mappings $W^{1,p}(G_1;G_2)$ for…

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

We show that it is consistent relative to a huge cardinal that for all infinite cardinals $\kappa$, $\square_\kappa$ holds and there is a stationary $S \subseteq \kappa^+$ such that $\mathrm{NS}_{\kappa^+} \restriction S$ is…

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…

We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the…

Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of…

We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such…

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental…

W.H. Woodin showed that if $\kappa_1 < \cdots < \kappa_n$ are strong cardinals then two-step ${\bf\Sigma}^1_{n+3}$ generic absoluteness holds after collapsing $2^{2^{\kappa_n}}$ to be countable. We show that this number can be reduced to…

Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying…

The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…

We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten…

We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…

We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a…