English
Related papers

Related papers: Two cardinals models with gap one revisited

200 papers

We prove that for two connected sets $E,F\subset\mathbb{R}^2$ with cardinalities greater than $1$, if one of $E$ and $F$ is compact and not a line segment, then the arithmetic sum $E+F$ has non-empty interior. This improves a recent result…

General Topology · Mathematics 2022-12-12 Yu-Feng Wu

For $\mu, \kappa$ infinite, say $\mathcal{A}\subseteq [\kappa]^\kappa$ is a $(\mu,\kappa)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<\mu}$ then…

Logic · Mathematics 2021-03-09 Monroe Eskew , Vera Fischer

We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise…

General Topology · Mathematics 2007-05-23 Mikhail Matveev

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…

Logic · Mathematics 2016-09-06 Moti Gitik , Saharon Shelah

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…

Logic · Mathematics 2020-02-25 Saharon Shelah

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

Logic · Mathematics 2010-12-10 Matteo Viale , Christoph Weiß

Let $\kappa$,$\lambda$ be regular uncountable cardinals such that $\lambda > \kappa^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(\kappa) = \lambda$ starting from a ground model in…

Logic · Mathematics 2015-08-18 Omer Ben-Neria , Moti Gitik

Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In…

Logic · Mathematics 2016-09-07 Saharon Shelah , Pauli Väisänen

We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…

Logic · Mathematics 2024-03-26 Gabriele Gullà

We obtain an improvement of some coloring theorems from \cite{nsbpr}, \cite{819}, and \cite{APAL} for the case where the singular cardinal in question has countable cofinality. As a corollary, we obtain an "idealized" version of the…

Logic · Mathematics 2012-10-23 Todd Eisworth

For $\kappa$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal.

Logic · Mathematics 2021-05-18 Johannes Philipp Schürz

We show that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext_Z(G, Z) is as large as possible for every prime p and any torsion-free abelian group G . Moreover, given…

Logic · Mathematics 2007-05-23 Saharon Shelah , Lutz Strüngmann

In this paper we address a problem posed by Shelah in 1999 to find a suitable notion for superstability for abstract elementary classes in which limit models of cardinality $\mu$ are saturated. Theorem 1. Suppose that $\mathcal{K}$ is a…

Logic · Mathematics 2015-02-18 Monica VanDieren

Assuming 0^sharp does not exist, kappa is an uncountable cardinal and for all cardinals lambda with kappa <= lambda < kappa^{+ omega}, 2^lambda = lambda^+, we present a ``mini-coding'' between kappa and kappa^{+ omega}. This allows us to…

Logic · Mathematics 2016-09-06 Saharon Shelah , Lee Stanley

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…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Saharon Shelah , Lajos Soukup

We study several cardinal, and ordinal--valued functions that are relatives of Hanf numbers. Let kappa be an infinite cardinal, and let T subseteq L_{kappa^+, omega} be a theory of cardinality <= kappa, and let gamma be an ordinal >=…

Logic · Mathematics 2016-09-07 Rami Grossberg , Saharon Shelah

From a suitable large cardinal hypothesis, we provide a model with a supercompact cardinal in which universal indestructibility holds: every supercompact and partially supercompact cardinal kappa is fully indestructible by kappa-directed…

Logic · Mathematics 2007-05-23 Arthur W. Apter , Joel David Hamkins

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

General Topology · Mathematics 2022-06-07 Peter Nyikos , Lyubomyr Zdomskyy

In this work we have considered the complexity of the different structures as topological group on Z. We collect some new results, as well as some known results on the group of the integers in order to present: -A family of $2^\cont$…

General Topology · Mathematics 2016-03-16 Daniel de la Barrera Mayoral , Elena Martín Peinador

Let $K$ be a compact Hausdorff space with weight w$(K)$, $\tau$ an infinite cardinal with cofinality cf$(\tau)$ and $X$ a Banach space. In contrast with a classical theorem of Cembranos and Freniche it is shown that if cf$(\tau)>$ w$(K)$…

Functional Analysis · Mathematics 2017-09-06 Elói Medina Galego , Vinícius Morelli Cortes