## A result from PCF theory

There is a very curious theorem by Shelah which states that:

If for every natural number $n$ we have $2^{\aleph_n} < \aleph_{\omega}$ then, $2^{\aleph_{\omega}} < \aleph_{\omega_4}$.

An other way to state this is this one: if $\aleph_{\omega}$ is a strong limit cardinal then: $$\prod_{n=0}^{\infty} \aleph_n < \aleph_{\omega_4}$$

## Classification of dimensions for the non-existence of exotic spheres

It turns out that the only dimensions $n$ for which a sphere $S^n$ admits a unique differentiable structure are exactly $n=1, 2, 3, 5, 6, 12, 56, 61$.

In all other dimensions, except $n=4$, we get the existence of exotic spheres.

What happens at dimension $4$ is still largely unknown and it goes by the name of smooth Poincare conjecture, the only open case of generalized Poincare conjecture.

## Hello world

χαῖρε, ξεῖνε, παρ᾿ ἄμμι φιλήσεαι

Odys, a, 123

This blog will be mainly about mathematics, physics, philosophy, linguistics, history, poetry, art and theology.