closed subset is independent of ZFC, ZFC + CH, and ZFC + ¬CH, assuming consistency of a Mahlo cardinal(英语:Mahlo cardinal). This theorem of Shelah(英语:Saharon
Global QC Tool for monitoring time-series stability & cross-platform consistency of satellite SST) iQuam (页面存档备份,存于互联网档案馆), in situ SST Quality Monitor