Square below a non-weakly compact cardinal

DOI10.1007/S00153-019-00695-6MaRDI QIDQ2309501zbMATH OpenOpenAlexFDO

Authors Hazel Brickhill

Publication date 1 April 2020

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-019-00695-6

zbMATH Keywords

constructible universefine structurehyperfinite structuresquare sequencestationary reflection

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Review text

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.

Recommendations

• Squares and uncountably singularized cardinals
• Subcompact cardinals, squares, and stationary reflection
• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Partial strong compactness and squares
• □ on the singular cardinals
• A Remark on Weakly Compact Cardinals
• A non-Borel special alpha-limit set in the square
• Singular cardinals and square properties
• Successive weakly compact or singular cardinals
• A lower bound on the Mahlo rank of a weakly compact cardinal

Cites work

• A strengthening of Jensen's □ principles
• An Elementary Approach to the Fine Structure of L
• Hyperfine structure theory and gap 1 morasses
• The fine structure of the constructible hierarchy

Cited in

(5)

• Square and delta reflection
• Weak compactness and no partial squares
• INTERNAL APPROACHABILITY AND REFLECTION
• Rectangular square-bracket operation for successor of regular cardinals
• A non-Borel special alpha-limit set in the square

This page was built for publication: Square below a non-weakly compact cardinal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2309501)