Related papers: On a question of Grinblat
We show that the log canonical bundle, $\kappa$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for…
In this short note we show that if lambda>aleph_1 is regular and lambda is not the successor of a singular cardinal of cofinality aleph_0, and G is a lambda-free abelian group of size lambda, then there is a free group G' subseteq G of size…
We give some general criteria, when kappa-complete forcing preserves largeness properties -- like kappa-presaturation of normal ideals on lambda (even when they concentrate on small cofinalities). Then we quite accurately obtain the…
Assume that there is no quasi-measurable cardinal smaller than $2^\omega$. ($\kappa$ is quasi measurable if there exists $\kappa $-additive ideal $\ci $ of subsets of $\kappa $ such that the Boolean algebra $P(\kappa)/\ci$ satisfies c.c.c.)…
We show that any compact half-conformally flat manifold of negative type, with bounded $L^2$ energy, sufficiently small scalar curvature, and a non-collapsing assumption, has all betti numbers bounded. We show that this result is optimal…
Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…
We prove that in the product of kappa many Boolean algebras we cannot find an independent set of more than 2^kappa elements solving a problem of Monk (earlier it was known that we cannot find more than 2^{2^kappa} but can find 2^kappa).
We solve a well--known problem in the theory of compact scattered spaces and superatomic boolean algebras by showing that, under GCH and for each regular cardinal $\kappa \geq \omega$, there is a poset $\mathcal P_\kappa$ preserving all…
Let $H$ be a connected Hopf algebra acting on an algebra $A$. Working over a base field having characteristic $0$, we show that for a given prime (semi-prime, completely prime) ideal $I$ of $A$, the largest $H$-stable ideal of A contained…
A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha…
The aim of this paper is to give natural examples of $\mathbf{\Sigma}_1^1$-complete and $\mathbf{\Pi}_1^1$-complete sets. In the first part, we consider ideals on $\omega$. In particular, we show that the Hindman ideal $\mathcal{H}$ is…
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 show under $\sf{ZF} + \sf{DC} + \sf{AD}_{\mathbb{R}}$ that every set of reals is $I$-regular for any $\sigma$-ideal $I$ on the Baire space $\omega^{\omega}$ such that $\mathbb{P}_I$ is proper. This answers the question of Khomskii. We…
Given a C*-dynamical system (A,G,\alpha), we discuss conditions under which subalgebras of the multiplier algebra M(A) consisting of fixed points for \alpha are Morita-Rieffel equivalent to ideals in the crossed product of A by G. In case G…
We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $\kappa > 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq…
We prove that: I. If $L$ is a $T_1$ space, $|L|>1$ and $d(L) \leq \kappa \geq \omega$, then there is a submaximal dense subspace $X$ of $L^{2^\kappa}$ such that $|X|=\Delta(X)=\kappa$; II. If $\frak{c}\leq\kappa=\kappa^\omega<\lambda$ and…
A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…
Cummings, Foreman, and Magidor investigated the extent to which square principles are compact at singular cardinals. The first author proved that if $\kappa$ is a singular strong limit of uncountable cofinality, all scales on $\kappa$ are…
This paper answers three questions posed by the first author. In Theorem 2.6 we show that the family of strong measure zero subsets of {}^{omega_1}2 is 2^{aleph_1}-additive under GMA and CH. In Theorem 3.1 we prove that the generalized…
Let kappa be an uncountable cardinal and the edges of a complete graph with kappa vertices be colored with aleph_0 colors. For kappa >2^{aleph_0} the Erd\H{o}s-Rado theorem implies that there is an infinite monochromatic subgraph. However,…