相关论文: Note on omega-nw-nep forcing notions
We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…
Our aim is to show that it is impossible to find a bound for the power of the first fixed point of the aleph function.
We introduce the notion of strong $p$-semi-regularity and show that if $p$ is a regular type which is not locally modular then any $p$-semi-regular type is strongly $p$-semi-regular. Moreover, for any such $p$-semi-regular type, "domination…
Most of results of Bestvina and Mogilski [\textit{Characterizing certain incomplete infinite-dimensional absolute retracts}, Michigan Math. J. \textbf{33} (1986), 291--313] on strong $Z$-sets in ANR's and absorbing sets is generalized to…
We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…
We extend Lerner's recent approach to sparse domination of Calder\'on--Zygmund operators to upper doubling (but not necessarily doubling), geometrically doubling metric measure spaces. Our domination theorem is different from the one…
For $\lambda$ inaccessible, we may consider $(< \lambda)$-support iteration of some specific $(<\lambda)$-complete $\lambda^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct"…
We show that, if $\alpha > 0$ is a real number, $n \ge 2$ and $\ell \ge 2$ are integers, and $q$ is a prime power, then every simple matroid $M$ of sufficiently large rank, with no $U_{2,\ell}$-minor, no rank-$n$ projective geometry minor…
We prove that the Sacks forcing collapses the continuum onto the dominating number d, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses omega_2 then it forces…
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with…
For a restricted Lie algebra $L$, the conditions under which its restricted enveloping algebra $u(L)$ is semiperfect are investigated. Moreover, it is proved that $u(L)$ is left (or right) perfect if and only if $L$ is finite-dimensional.
A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal…
We study a family of variants of Jensen's\emph{subcomplete forcing axiom}, $\mathsf{SCFA}$ and \emph{subproper forcing axiom}, $\mathsf{SubPFA}$. Using these we develop a general technique for proving non-implications of $\mathsf{SCFA}$,…
In this paper we introduce a tree-like forcing notion extending some properties of the random forcing in the context of the generalised Cantor space and study its associated ideal of null sets and notion of measurability. This issue was…
A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension…
Let $ F$ be an imaginary quadratic field and $\mathcal{O}$ its ring of integers. Let $ \mathfrak{n} \subset \mathcal{O} $ be a non-zero ideal and let $ p> 5$ be a rational inert prime in $F$ and coprime with $\mathfrak{n}$. Let $ V$ be an…
We prove the consistency of the following statement: for some kappa<2^{aleph_0}, there is a kappa-complete ideal on kappa such that the Boolean algebra P(kappa)/I is sigma-centered and there are Q-sets of reals.
Let $\mathcal{Q}(\varphi):=\int_\Omega \big(|\nabla \varphi|^p+V|\varphi|^p\big)\dnu$ on $\core$, and assume that $\mathcal{Q}\geq 0$. The aim of the paper is to obtain ''as large as possible" nonnegative (optimal) Hardy-type weight $W$…
An equivalent norm in the weighted Bergman space $A^p_\omega$, induced by an $\omega$ in a certain large class of non-radial weights, is established in terms of higher order derivatives. Other Littlewood-Paley inequalities are also…
In this paper, we classify, up to three possible exceptions, all monic, post-critically finite quadratic polynomials $f(x)\in \mathbb{Z}[x]$ with an iterate reducible module every prime, but all of whose iterates are irreducible over…