English
Related papers

Related papers: Resolvability vs. almost resolvability

200 papers

For a ring R, denote by Spec^R_kappa(Gamma) the kappa-spectrum of the Gamma-invariant of strongly uniform right R-modules. Recent realization techniques of Goodearl and Wehrung show that Spec^R_{aleph_1}(Gamma) is full for suitable von…

Logic · Mathematics 2007-05-23 Saharon Shelah , Jan Trlifaj

It is shown that if T is stable unsuperstable, and aleph_1< lambda =cf(lambda)< 2^{aleph_0}, or 2^{aleph_0} < mu^+< lambda =cf(lambda)< mu^{aleph_0} then T has no universal model in cardinality lambda, and if e.g. aleph_omega < 2^{aleph_0}…

Logic · Mathematics 2016-09-06 Menachem Kojman , Saharon Shelah

We give a unified treatment of the countable dense homogeneity of products of Polish spaces, with a focus on uncountable products. Our main result states that a product of fewer than $\mathfrak{p}$ Polish spaces is countable dense…

General Topology · Mathematics 2025-10-30 Andrea Medini , Juris Steprāns

We improve previous work on the consistency strength of mutually stationary sequences of sets concentrating on points with divergent cofinality building on previous work by Adolf, Cox and Welch. Specifically, we have greatly reduced our…

Logic · Mathematics 2019-08-06 Dominik Adolf

We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily Lindelof, and countably tight. Moreover if kappa is regular…

Logic · Mathematics 2007-05-23 Istvan Juhász , Saharon Shelah

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is…

Functional Analysis · Mathematics 2016-10-26 Tomasz Kania , Tomasz Kochanek

We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our…

General Topology · Mathematics 2016-04-19 Paolo Lipparini

For $\kappa$ a regular uncountable cardinal, the higher Baire and Cantor spaces ${}^\kappa\kappa$ and ${}^\kappa2$ (endowed with the ${<}\kappa$-box topology) have been relatively well-studied, but less is known about the case where…

Logic · Mathematics 2026-05-12 Yusuke Hayashi , Tristan van der Vlugt

In this article we prove two cases of the abundance conjecture for $3$-folds in characteristic $p>5$: $(i)$ $(X, \Delta)$ is KLT and $\kappa(X, K_X+\Delta)=1$, and $(ii)$ $(X, 0)$ is KLT, $K_X\equiv 0$ and $X$ is not uniruled.

Algebraic Geometry · Mathematics 2018-09-03 Omprokash Das , Joe Waldron

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…

Logic · Mathematics 2015-07-16 Miguel Angel Mota , William Weiss

We obtain a partial result on the following conjecture. Conjecture. Let (P, {\Sigma}) be a projectum stable mouse pair, and let \kappa be a cardinal of V such that \kappa < o(M_\infty(P, {\Sigma})); then the following are equivalent: (1)…

Logic · Mathematics 2022-07-11 Stephan Jackson , Grigor Sargsyan , John Steel

We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…

Logic · Mathematics 2007-05-23 Menachem Kojman , Saharon Shelah

The Kalikow problem for a pair (lambda, kappa) of cardinal numbers, lambda > kappa (in particular kappa =2) is whether we can map the family of omega --sequences from lambda to the family of omega --sequences from kappa in a very continuous…

Logic · Mathematics 2016-09-07 Saharon Shelah

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

Rings and Algebras · Mathematics 2013-04-12 Artur Bartoszewicz , Szymon Gł\cab , Adam Paszkiewicz

We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of…

Logic · Mathematics 2024-04-29 Tom Benhamou , Jing Zhang

From large cardinals we show the consistency of normal, fine, $\kappa$-complete $\lambda$-dense ideals on $\mathcal{P}_\kappa(\lambda)$ for successor $\kappa$. We explore the interplay between dense ideals, cardinal arithmetic, and squares,…

Logic · Mathematics 2023-03-27 Monroe Eskew

Let $\kappa$ be an uncountable cardinal with $\kappa=\kappa^{{<}\kappa}$. Given a cardinal $\mu$, we equip the set ${}^\kappa\mu$ consisting of all functions from $\kappa$ to $\mu$ with the topology whose basic open sets consist of all…

Logic · Mathematics 2023-02-03 Philipp Lücke , Philipp Schlicht

We introduce a general method of constructing locally compact scattered spaces from certain families of sets and then, with the help of this method, we prove that if kappa^{<kappa}=kappa then there is such a space of height kappa^+ with…

Logic · Mathematics 2007-05-23 Istvan Juhász , Saharon Shelah , Lajos Soukup , Zoltan Szentmiklóssy

We consider the two-cardinal Kurepa Hypothesis $\mathsf{KH}(\kappa,\lambda)$. We observe that if $\kappa\leq\lambda<\mu$ are infinite cardinals then…

Logic · Mathematics 2025-10-17 Fanxin Wu

Let $\mathrm{cof}(\mu)=\mu$ and $\kappa$ be a supercompact cardinal with $\mu<\kappa$. Assume that there is an increasing and continuous sequence of cardinals $\langle\kappa_\xi\mid \xi<\mu\rangle$ with $\kappa_0:=\kappa$ and such that, for…

Logic · Mathematics 2020-01-16 Alejandro Poveda