Shelah's categoricity conjecture for L ω 1 , ω {\displaystyle L_{\omega _{1},\omega }} {\displaystyle L_{\omega _{1},\omega }}
Source placement record
Shelah's categoricity conjecture for L ω 1 , ω {\displaystyle L_{\omega _{1},\omega }} {\displaystyle L_{\omega _{1},\omega }}: If a sentence is categorical above the Hanf number then it is categorical in all cardinals above the Hanf number.
Here is what the pinned source says, where it came from, and what still needs editorial review.
Source status
Open
Field
Model theory and formal languages
Record type
Revision-pinned source placement
Verification
Source-index reviewed
Source grade
secondary
Reviewed
2026-07-27T18:04:33.834Z
Context and review boundary
The source list does not provide a uniform standalone exposition for every row. Use the exact subsection and linked topic article as the starting point for a reviewed reading trail.
Formal boundary
No independent formal statement has been added to this source-index record. This prevents the catalog from inventing notation or silently strengthening the cited claim.
Known approaches and partial results
Pending review. No structured approach or partial-result note has been added to this source placement.
Source trail
Wikipedia list subsection — Exact Model theory and formal languages subsection in the revision-pinned source.