Square below a non-weakly compact cardinal (Q2309501): Difference between revisions

Jensen proved that in \(L\) a regular cardinal being stationary reflecting is equivalent to its being weakly compact. For this, he worked with \(\square\)-sequences (square sequences) and used the fine structure of \(L\), a very powerful but difficult tool of inner model theory. In this paper, the author gives a new proof that is straight-forward. He uses the hyperfinite structure, introduced by Friedman and Koepke. This is a very natural and simpler alternative to fine structure theory. The proof is given by manipulations of square sequences.