相关论文: Historic forcing for Depth

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…

Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries…

We show a new proof for the fact that when $\kappa$ and $\lambda$ are infinite cardinals satisfying $\lambda ^ \kappa = \lambda$, the cofinality of the set of all functions from $\lambda$ to $\kappa$ ordered by everywhere domination is…

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…

Given a presilting object in a triangulated category, we find necessary and sufficient conditions for the existence of a complement. This is done both for classic (pre)silting objects and for large (pre)silting objects. The key technique is…

For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is…

Given any $\lambda\leq\kappa$, we construct a symmetric extension in which there is a set $X$ such that $\aleph(X)=\lambda$ and $\aleph^*(X)=\kappa$. Consequently, we show that $\mathsf{ZF}+$"For all pairs of infinite cardinals…

Let $T$ be a positive closed current of bidimension $(p,p)$ with unit mass on the complex projective space $\mathbb P^n$. For certain values of $\alpha$ and $\beta = \beta(p, \alpha)$ we show that if $T$ has enough points where the Lelong…

It is proved that every singular cardinal $\lambda$ admits a function $RTS:[\lambda^+]^2\rightarrow[\lambda^+]^2$ that transforms rectangles into squares. Namely, for every cofinal subsets $A,B$ of $\lambda^+$, there exists a cofinal subset…

Theorem A and Theorem B of [1] state that for $1<p<\infty$ the lattice of closed ideals of $\mathcal{L}(\ell_p,c_0)$, $\mathcal{L}(\ell_p,\ell_\infty)$ and of $\mathcal{L}(\ell_1,\ell_p)$ are at least of cardinality $2^{\omega}$. Here we…

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Let {\Lambda}\subsetR^{n}\timesR^{m} and k be a positive integer. Let f:R^{n}\rightarrowR^{m} be a locally bounded map such that for each ({\xi},{\eta})\in{\Lambda}, the derivatives D_{{\xi}}^{j}f(x):=|((d^{j})/(dt^{j}))f(x+t{\xi})|_{t=0},…

We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $\kappa$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both…

For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…

We show that there is an absolute constant $c>0$ such that $|A+\lambda\cdot A|\geq e^{c\sqrt{\log |A|}}|A|$ for any finite subset $A$ of $\mathbb{R}$ and any transcendental number $\lambda\in\mathbb{R}$. By a construction of Konyagin and…

Let $\Lambda$ be a 1-Auslander-Gorenstein Algebra. We give a necessary and sufficient condition for $\Lambda$ to be a tilted algebra.

We exhibit an isomorphism of associative algebras between the $\operatorname{Ext}$-algebra $\operatorname{Ext}_\Lambda^\ast(\Delta,\Delta)$ of standard modules over the dual extension algebra $\Lambda$ of two directed algebras $B$ and $A$…

For a finite-dimensional algebra {\Lambda}, we establish an explicit bijection between widely generated torsion(-free) classes and semibricks in mod {\Lambda}. Using the kappa order on the lattice of torsion classes with canonical join…

The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that…