Open AccessForcing a mutual stationarity property in cofinality 𝜔₁
Author(s) -
Peter Koepke
Publication year - 2006
Publication title -
proceedings of the american mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.968
H-Index - 84
eISSN - 1088-6826
pISSN - 0002-9939
DOI - 10.1090/s0002-9939-06-08598-4
Subject(s) - algorithm , artificial intelligence , computer science
We show that the consistency strength, relative to the system ZFC \operatorname {ZFC} , of the mutual stationarity property MS ( ℵ 3 , ℵ 5 , ℵ 7 , … ; ω 1 ) \operatorname {MS} (\aleph _3,\aleph _5, \aleph _7, \ldots ; \omega _1 ) is equal to the existence of one measurable cardinal. We also discuss mutual stationarity for some other configurations of small cardinal parameters.