An interpolation theorem
classification
🧮 math.LO
keywords
alephimpliescardinalsinterpolationlargeprovestheoremcardinal
read the original abstract
Whenever x is a tame cardinal invariant and ZFC+large cardinals proves that x=aleph one implies WCG then ZFC+large cardinals proves that x=aleph one implies b=aleph one, and b=aleph one implies WCG. Here WCG is a certain prediction principle on omega one. This theorem is one of the many possible interpolation theorems of this kind.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.