# Questions tagged [cardinal-arithmetic]

The tag has no usage guidance.

56 questions
Filter by
Sorted by
Tagged with
147 views

### Does this proof by Shelah use any "hidden assumptions"?

Recall that the approachability ideal for $\kappa$, denoted $I[\kappa]$, consists of all sets $A\subseteq\kappa$ such that there is a sequence $\overline{a}=(a_{\alpha})_{\alpha\in\kappa}$ of bounded ...
340 views

159 views

### Continuum function maximum

Easton's theorem can give a very weak nontrivial constraint on continuum function, but it does not hold for singular cardinals. So: What are the non-trivial constraints on continuum function in ...
356 views

### Cardinality of infinite towers of Alephs - can tower be more than countable?

Lets define function T as $$T(0) = \aleph_0$$ $$T(1) = \aleph_{\aleph_0}$$ $$T(2) = \aleph_{\aleph_{\aleph_0}}$$ etc No finite tower of alephs can reach the first inaccessible cardinal My questions ...
258 views

### Can be this "handwaving" idea about "counting" reals somehow put on solid ground?

We know that the Cantor's cardinality of a countable set is $\aleph_0$ and the cardinality of continuum is $2^{\aleph_0}=\aleph_0^{\aleph_0}$. Unfortunately, this measure is based on the idea of ...
409 views

### Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

The choice principle $\text{AC}_{\text{WO}}$ proves a large amount of cardinal arithmetic. It's well-known to imply DC, that successor cardinals are regular, and that for all $X$, there is $\lambda$ ...
274 views

### Can this result in cardinal arithmetic be established without using pcf theory?

Suppose $\kappa\leq\mu$ are infinite cardinals. Let us agree to call a family $\mathcal{P}\subseteq[\mu]^{<\mu}$ a countably generating family for $[\mu]^\kappa$ if every member of $[\mu]^\kappa$ ...
158 views

### Reference request for an elementary identity in cardinal arithmetic

Let $\kappa$ be an infinite cardinal. Then we have $$\beth_{\kappa+1} = \prod_{\alpha<\kappa} \beth_{\alpha} = \beth_{\kappa}^{\kappa}$$ The only non-trivial inequality is the first less-than-or-...
312 views

### Minimum cardinality of a cofinal collection of countable subsets of a set

Setup Let $X$ be a set of cardinality $\kappa\geq \aleph_0$. Edit: Based on Todd Eisworth's suggestion: What is the minimum cardinality of a collection $\hat{X}$ of countable subsets of $X$ such that ...
319 views

### How can we know the well-foundedness of $\epsilon_0$?

I think the question can be quite philosophical, but I see that $WF(\epsilon_0)$ is widely accepted as one of the attributes of the natural numbers. Gentzen proved $Con(PA)$ with $PRA+WF(\epsilon_0)$....
225 views

### Cardinal numbers and the Bolzano-Weierstrass theorem

Let $\kappa$ be a cardinal number, define $\textsf{M}(\kappa)$ and $\textsf{BW}(\kappa)$ as follows: $\textsf{M}(\kappa)$ : For every sequence $(f_{n}:\kappa\to \mathbb{R})_{n\in\mathbb{N}}$ of real-...
265 views

### Model in $\mathsf{ZFC}$ such that ${\cal P}(\ldots)$ has "jumping property"

Is there a model of $\mathsf{ZFC}$ such that for every cardinal $\beta > \aleph_0$ there is a cardinal $\alpha < \beta$ such that $|{\cal P}(\alpha)| >\beta$?
157 views

483 views

167 views

### Cardinality of generating sets of faithful modules over integral domain

Let $R$ be an integral domain. Let $\alpha$ be an infinite cardinal . Let $M$ be a faithful $R$-module such that $\mu(M)< \alpha$ . Let $N$ be a submodule of $M$ and $m\in M$ and $r\in R$ be such ... 1 vote
143 views

### On cardinality of generating subsets of some submodules

Let $R$ be a commutative ring with unity. Let $\alpha$ be an infinite cardinal . Let $M$ be an $R$-module such that $\mu(M)< \alpha$ . Let $N$ be a submodule of $M$ and $m\in M$ and $r\in R$ be ... 580 views

391 views

417 views

2k views

### Is it possible to define higher cardinal arithmetics

In number theory there are several operators like ‎addition, ‎multiplication and ‎exponentiation defined from ‎$‎‎‎\omega‎‎\times‎‎\omega‎$ ‎to ‎‎$‎‎‎\omega‎$. Each ‎of ‎them ‎is defined as an ‎...
841 views

### Exponentiation and Dedekind-finite cardinals

It is known that the sum and the product of two Dedekind-finite cardinals are also Dedekind-finite cardinals. What about cardinal exponentiation ? Question: Let A and B be two Dedekind-finite ...
719 views

### Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem: Theorem. Assuming the consistency of infinitely many strong cardinals, one ...
400 views

### For which cardinal numbers $\kappa$ is it consistent with ZFC that $\kappa^{\mathrm{cf}(\kappa)} < \kappa^\kappa$?

ZFC proves that $\kappa^{\mathrm{cf}(\kappa)} \leq \kappa^\kappa$ for all infinite cardinal numbers $\kappa$. Further, it is consistent with ZFC that we always have equality (e.g. assume GCH). ...
406 views

562 views

### Consistency strength of the failure of Shelah's Strong Hypothesis (SSH)

Some known facts about SSH (Shelah's Strong Hypothesis): i) "$0^\sharp$ does not exist" implies SSH. ii) SSH implies SCH (Singular Cardinal Hypothesis). iii) The failure of SCH is equiconsistent ...
248 views

### Other variants of the Shelah's Weak Hypothesis

The paper Menachem Kojman. Splitting families of sets in ZFC. arXiv:1209.1307 presents these variants of the Shelah's Weak Hypothesis:  (\textrm{SWH}_n) \textrm{ There are no infinite } \nu ...
2k views

### Possible troubles in Shelah's book "Cardinal Arithmetic"

I found some possible troubles in Observation 5.3(7) in the Chapter II of the Shelah's book "Cardinal Arithmetic" (page 86). For convenience, I quote the result and the proof in the book here (...
Are equivalent (in ZFC) the following two statements, for any infinite cardinal $\mu$? (i) For every infinite cardinal $\kappa$, $|\{ \lambda \in \kappa : \lambda \textrm{ is a singular cardinal and} ... 10 votes 1 answer 657 views ### "cov vs pp" problem This is the problem$(\beta)$of the section 14.7 in the "Analytical Guide" of the Shelah's book "Cardinal Arithmetic":$(\beta)$Is$\operatorname{cov} ( \lambda , \lambda, \aleph_{1} , 2) =^{+} \...
In ZF we have the two relations $A \leq B$ and $A \leq^\ast B$ which relate the size of sets: the first says there is an injection from $A$ to $B$, the second that there is a surjection from $B$ to $A$...