Square below a non-weakly compact cardinal (Q2309501)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7184239
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Square below a non-weakly compact cardinal |
scientific article; zbMATH DE number 7184239 |
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
0.8713234
0 references
0.85573447
0 references
0.85328954
0 references
0.84846956
0 references
0 references
0 references
0.84553903
0 references
0.8414087
0 references
0.8352816
0 references
