Square below a non-weakly compact cardinal (Q2309501): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-019-00695-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2982159018 / rank | |||
Normal rank |
Revision as of 22:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Square below a non-weakly compact cardinal |
scientific article |
Statements
Square below a non-weakly compact cardinal (English)
0 references
1 April 2020
0 references
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.
0 references
square sequence
0 references
constructible universe
0 references
fine structure
0 references
hyperfinite structure
0 references
stationary reflection
0 references