Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [pcf-theory]

The tag has no usage guidance.

12
votes
1answer
254 views

What are some good lower bounds on the consistency of the failure of the PCF conjecture?

Shelah's celebrated theorem states that $\aleph_\omega$ is a strong limit cardinal, then $2^{\aleph_\omega}<\aleph_{\omega_4}$. But the conjecture is that $\omega_4$ can be provably replaced by $\...
16
votes
0answers
440 views

Gitik's work on Shelah's weak hypothesis

It seems that Moti Gitik has recently refuted some variants of Shelah's weak hypothesis. For this see the title and abstract of his talk at the Set Theory, Model Theory and Applications conference. I ...
7
votes
1answer
247 views

PCF theory and good points in scales

If $\kappa$ is a singular cardinal, a scale for $\kappa$ consists of an increasing sequence $\langle \kappa_i : i < \mathrm{cf}(\kappa) \rangle$ converging to $\kappa$ and a sequence of functions $\...
9
votes
1answer
481 views

“Towers” on singular cardinals with countable cofinality

Let $\lambda$ be a singular cardinal of countable cofinality. Is there necessarily a sequence $\{A_\alpha\mid\alpha<\lambda^+\}$ of countable subsets of $\lambda$, such that $\alpha<\beta$ if ...
7
votes
0answers
180 views

Possible cofinalities of cuts of ultraproducts

Suppose $\kappa$ is a regular cardinal, $\bar{\mu}=(\mu_i: i<\kappa)$ is an increasing sequence of regular cardinals ($>\kappa$) and set $pcut(\bar \mu)=\{ (\lambda_1, \lambda_2):$ for some ...
5
votes
1answer
200 views

Reference for Chang's Conjecture at $\aleph_{\omega}$

The following theorem is well known: Theorem: $(\aleph_{\omega + 1}, \aleph_{\omega}) \not\twoheadrightarrow (\aleph_{n + 1}, \aleph_n)$ for every $n \geq 3$. Under CH, $(\aleph_{\omega + 1}, \...
8
votes
0answers
308 views

PCF conjecture and fixed points of the $\aleph$-function

Recently Moti Gitik refuted Shelah's PCF conjecture, by producing a countable set $a$ of regular cardinals with $|\operatorname{pcf}(a)| \geq \aleph_1.$ See his papers Short extenders forcings I and ...
6
votes
1answer
446 views

A “good scale” that is not really a scale

I don't know much about singular cardinal combinatorics, so I apologize in advance if I write something that is wrong or looks funny. First let me recall some basic definitions. Let $\lambda$ be a ...
16
votes
0answers
620 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 ...
5
votes
2answers
358 views

Prevalent singular cardinals hypothesis

The following notion is introduced by Assaf Rinot: Definition. A singular cardinal $\kappa$ is a prevalent singular cardinal iff there exists a family $\mathbb{A}\subset P(\kappa)$ with $|\mathbb{A}...
6
votes
3answers
481 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 ...
7
votes
0answers
236 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 ...
9
votes
1answer
476 views

Some variants of the Shelah's Weak Hypothesis

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
1answer
611 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) =^{+} \...
4
votes
2answers
257 views

Existence of scales with special properties

Let $\kappa$ be a singular cardinal, and let $\langle \kappa_i \mid i<\mathrm{cf}(\kappa) \rangle$ be an increasing sequence of regular cardinals cofinal in $\kappa$. Recall that a scale on $\Pi_{i&...
2
votes
0answers
221 views

a partial order not dense iff a measurable exists

For $\kappa>0$ a regular cardinal, let $Ht_\kappa$ denote the following partial quasi-order: (i) elements(objects) of $Ht_\kappa$ are classes X of sets of size $\kappa$ with the property that, ($&...
5
votes
1answer
420 views

Generalizations of pcf theory

Does anyone know of generalizations of pcf theory where we might consider products of the form: $$\aleph_1 \times (\aleph_2 \times \aleph_2) \times (\aleph_3 \times \aleph_3 \times \aleph_3) \dots$$ ...
6
votes
1answer
206 views

Bounds on $\max \mathrm{pcf}(A)$ if $\Pi A$ is big

For concreteness, let $A = \{\aleph_n : n < \omega\}$. We know $\max \mathrm{pcf}(A) \in [\aleph_{\omega+1},\Pi A]$. My question is, if $\Pi A$ is big (say, $\aleph_{\omega_1+1}$), then which ...
3
votes
2answers
450 views

Some Pcf Theory

Let $pcf(a)$ denote the set of regular cardinals such that $J_{\leq \lambda} - J_{<\lambda} \neq \emptyset$ and let $maxpcf(a)$ denote the maximum of $pcf(a)$. The $J_{\leq \lambda}$ are the usual ...