Compact spaces, elementary submodels, and the countable chain condition. II (Q2502987): Difference between revisions

For a~space \((X,\mathcal T)\) in an elementary submodel~\(M\) of~\(H(\theta)\) where \(\theta\) is a~``sufficiently large'' regular cardinal let \(X_M=X\cap M\) with the topology generated by \(\{U\cap M:U\in\mathcal T\cap M\}\). If \(X_M\) is a~compact space (all spaces are assumed to be Hausdorff), then simple additional topological hypotheses on~\(X_M\) ensure that \(X_M=X\) as it was shown in several previous papers of author. In part I of this paper [\textit{L.~R. Junqueira, P.~Larson}, and \textit{F.~D. Tall}, Ann. Pure Appl. Logic 144, 107--116 (2006; Zbl 1113.54010)] it was proved, assuming the Singular Cardinal Hypothesis and the negation of a~weak version of Chang's Conjecture, that if \(X\) is not scattered, \(X_M\)~is compact, satisfies the countable chain condition, and the character of~\(X_M\) is in~\(M\), then \(X_M=X\). In the paper under the review the author improves this result by proving the following theorem: If \(X\) is not scattered and has cardinality less than the first inaccessible, while \(X_M\) is compact and satisfies the countable chain condition, then \(X_M=X\). If the character of~\(X_M\) is in~\(M\), then ``inaccessible'' can be replaced by ``1-extendible''.