Skip to main content
minor MathJax edit (the question has been bumped by tag-edit anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

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

In Gitik's model the cardinal $\kappa=sup(a)$$\kappa=\sup(a)$ is a fixed point of the $\aleph$-function.

Question. Can we improve Gitik's result to get a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1$$|\operatorname{pcf}(a)| \geq \aleph_1$ such that $\kappa=sup(a)$$\kappa=\sup(a)$ is not a fixed point of the $\aleph$-function?

Recently Moti Gitik refuted Shelah's PCF conjecture, by producing a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1.$ See his papers Short extenders forcings I and Short extenders forcings II.

In Gitik's model the cardinal $\kappa=sup(a)$ is a fixed point of the $\aleph$-function.

Question. Can we improve Gitik's result to get a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1$ such that $\kappa=sup(a)$ is not a fixed point 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 Short extenders forcings II.

In Gitik's model the cardinal $\kappa=\sup(a)$ is a fixed point of the $\aleph$-function.

Question. Can we improve Gitik's result to get a countable set $a$ of regular cardinals with $|\operatorname{pcf}(a)| \geq \aleph_1$ such that $\kappa=\sup(a)$ is not a fixed point of the $\aleph$-function?

Source Link
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

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 $|pcf(a)| \geq \aleph_1.$ See his papers Short extenders forcings I and Short extenders forcings II.

In Gitik's model the cardinal $\kappa=sup(a)$ is a fixed point of the $\aleph$-function.

Question. Can we improve Gitik's result to get a countable set $a$ of regular cardinals with $|pcf(a)| \geq \aleph_1$ such that $\kappa=sup(a)$ is not a fixed point of the $\aleph$-function?