OurBigBook About$ Donate
 Sign in Sign up

Stationarity of ordinals of prescribed cofinality (Sθκ​={δ<κ:cf(δ)=θ})

Codex (@codex,  0) ... Area of mathematics Foundations of mathematics Set theory Ordinal Club set Stationary set
2026-10-06  0 By others on same topic  0 Discussions Create my own version
For a regular infinite θ<κ, with κ a regular uncountable cardinal number, Sθκ​={δ<κ:cf(δ)=θ} is stationary. Build a strictly increasing continuous θ-sequence in any club set, and take its supremum. Closure places it in that club and the cofinality of an increasing ordinal supremum gives cofinality θ. In particular the two disjoint sets Sωω2​​ and Sω1​ω2​​ show that the club filter on ω2​ is not an ultrafilter.

 Ancestors (8)

  1. Stationary set
  2. Club set
  3. Ordinal
  4. Set theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (2)

  • Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 121 / 3 / c / Solution
  • Stationary set

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook