Abstract

We show in ZFC, assuming all reals have sharps, that a countable collection of ▵ 1 3 -degrees without a minimal upper bound implies the existence of inner models with measurable cardinals