{"id":"bba26648-8066-4f54-87ad-7334be817a8d","arxiv_id":"1908.05334","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A compact survey of strong Chang's Conjecture variants, their forcing and reflection equivalences, a new result on sealing forcings, and a list of open problems.","lead":"This paper surveys strong variants of Chang's Conjecture, which ask whether a small model of set theory can be extended by a new object without gaining new countable ordinals. It organizes these principles, ties them to forcing and reflection principles, and lists open problems.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The negative results in Section 5 hinge on Shelah's Theorem 5.1, stated without proof and cited to Jech Lemma 23.19; a mismatch in hypotheses would invalidate the inconsistency proofs, so this citation deserves a direct check.","rationale":"The reader correctly identified Shelah's Theorem 5.1 as the weakest assumption. Theorem 5.1 is not proved in the survey, and the entire negative part of Section 5 — Theorem 5.2, Corollary 5.3 (inconsistency of SCC(ω2)), and Corollary 5.4 (inconsistency of WRP(℘*_ω2)) — depends on it. The only way to settle the concern is to check the exact statement in Jech's Lemma 23.19 against the use made in Theorem 5.2. I also examined the proof of Theorem 4.11, which contains the line 'since μ ⊂ W'; this does not follow from the formal Definition 4.10 as printed, though the intended WRP in standard usage and in the survey's own remark includes μ ⊂ W. I do not regard that as a central defect, since it is a definitional imprecision in a sketched proof of a known result rather than a gap in the paper's main claimed implication chain. For the survey's advertised inconsistency results, the Shelah citation is the more load-bearing step. The reader's verdict of ACCEPT remains appropriate: a survey is allowed to defer key theorems to the literature, and the concern here is about verifying an external citation, not about an internal inconsistency in the survey's own arguments.","tokens_in":19317,"tokens_out":51445,"duration_ms":534844,"concrete_test":"Read Lemma 23.19 in Jech [19] and re-derive Theorem 5.1 under the exact hypotheses used in Theorem 5.2: H = HY is the transitive collapse of Y from the proof, μ = ω1, μ++H = ω3^{HY} = ω2^V is a cardinal in V, and μ+H = ω2^{HY} = Y∩ω2 is not a cardinal in V. Verify that the lemma's conclusion is cf^V(μ+H) = μ, not merely cf ≤ μ or an inequality, and that no extra condition like H being an elementary substructure of some H_λ or having all bounded subsets is silently imported. If the lemma checks out, the Section 5 derivations are sound; if not, recompute the contradiction in Theorem 5.2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is the unproved Shelah theorem (Theorem 5.1, Section 5.1). The survey applies it inside the proof of Theorem 5.2 to the transitive collapse HY of an elementary substructure Y ≺ H_ω4: with μ = ω1, it concludes cf^V(ω2^{HY}) = ω1 from the fact that ω2^{HY} = Y∩ω2 is an ordinal in (ω1,ω2). This contradiction of the ω-cofinality of Y∩ω2 is exactly what produces the function F in Theorem 5.2, and Corollaries 5.3 (¬SCC(ω2)) and 5.4 (¬WRP(℘*_ω2)) then follow. The survey gives only 'the proof is basically the same as Shelah's original proof ... see Lemma 23.19 of [19]'. If Shelah's lemma has additional hypotheses (for example, that H contains all of μ, that μ is regular, or that the strongly almost disjoint family has size exactly μ++ and is upward absolute in a way not stated here), or if the statement recorded in the survey does not match Jech's Lemma 23.19, the collapse computation in Theorem 5.2 no longer yields cf = ω1 and the negative results lose their foundation. Because this is a survey, external citations are legitimate, but this theorem is load-bearing for an advertised inconsistency result and is the least independently verified step in that argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is a survey of strong forms of Chang's Conjecture and related reflection, forcing, and saturation principles. It introduces a local hierarchy SCCcof_gap ⇒ SCCcof ⇒ SCCsplit ⇒ SCC ⇒ Projective CC ⇒ CC (Eq. (2)), global versions of SCCcof and SCCcof_gap, and relates them to WRP, SSR, RPinternal, Namba forcing, and presaturation of NSω1. Section 3 collects ZFC results on projective stationary sets, Section 4 reviews the implication and equivalence hierarchy with applications to tree properties and ideal saturation, and Section 5 presents Foreman–Magidor negative results, including the inconsistency of SCC(ω2) and WRP(℘*ω2), together with a restricted positive reflection result. The survey includes several streamlined proofs, among them a proof of the new Lemma 4.17, and ends with a summary of open problems.","tokens_in":19608,"tokens_out":30285,"duration_ms":322609,"significance":"If the results it reports are accurate, the survey serves a useful organizational purpose: it unifies terminology and notation across the author's earlier papers, Cox–Sakai, Doebler–Schindler, Fuchino–Usuba, and the classical Foreman–Magidor–Shelah literature. Its central contribution is the implication hierarchy (2) and the equivalences in Theorems 4.6, 4.7, 4.12, and 4.13, together with a genuinely new, self-contained result in Lemma 4.17 (SA is proper exactly when |A| ≤ ω1). The survey is generally careful to attribute unproved theorems to external sources, and the streamlined treatment of the Foreman–Magidor inconsistency arguments in Section 5 is a useful addition to the survey literature.","major_comments":[],"minor_comments":[{"comment":"Because Theorem 5.2 and Corollaries 5.3–5.4 rest on Shelah's Theorem 5.1, please add a short verification that the transitive collapse HY in the proof of Theorem 5.2 satisfies all hypotheses of Theorem 5.1 as stated, in particular that HY is a ZFC− model, that μ++H is a cardinal in V, and that μ+H is not a cardinal in V; the current text asserts these facts only implicitly and gives a general citation to Jech's Lemma 23.19.","section":"Section 5.1, Theorem 5.1"},{"comment":"The first open problem in the summary contains garbled typesetting ('SCCcof /d43/d51 /d53/d61SCCsplit /d43/d51SCC') that should be repaired so that the arrows in the implication hierarchy display correctly.","section":"Section 6, Open Problem Summary"},{"comment":"Since Lemma 4.4 is used in the proof of Theorem 4.11 and its proof is deferred to Cox [4], consider adding a proof sketch or at least a precise statement of the referenced Lemma 13 of [4] so that the survey is more self-contained at this load-bearing point.","section":"Section 4.1, Lemma 4.4"},{"comment":"The equivalences in Theorems 4.12 and 4.13 are central to the global versions of Strong Chang's Conjecture, so adding specific references to the proofs in Fuchino–Usuba [16] and Doebler–Schindler [8] would help the reader verify those statements without searching through the surrounding literature.","section":"Sections 4.2 and 4.3"},{"comment":"In the proof of Theorem 4.18, the assertion 'ωV1 = ωHX2' follows from otp(X ∩ ω2) = ω1 by the nature of the Mostowski collapse, but a brief parenthetical explanation of this standard fact would make the argument considerably easier to follow for readers less familiar with collapses of Chang-type substructures.","section":"Section 4.7, proof of Theorem 4.18"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a look if you work with strong Chang's Conjecture or stationary reflection. The genuinely new item is Lemma 4.17: the sealing forcing for a maximal antichain is proper iff the antichain has size at most ω1, answering Eskew's question. The proof is short, self-contained, and correct. Properness gives totally generic conditions for club-many countable models, which forces those models to catch the antichain, and the usual catching argument bounds its size. That is a clean, real observation.\n\nThe rest is a survey, and Cox is upfront that it overlaps with Foreman's Handbook chapter. What he adds is a uniform language for the SCC hierarchy, a useful implication chain, and a streamlined route through the Foreman–Magidor inconsistency results. Collecting the equivalences between SCCcof and Namba semiproper, Global SCCcof and SSR, and so on is handy for people entering the area. The open problem list is honest and current.\n\nSoft spots are mostly the expected ones for a survey: Lemma 4.4 defers its proof, and several characterization theorems are stated without proof. That is acceptable when citations are specific, as here. The one step I would check before relying on it is Theorem 5.1, the Shelah lemma about transitive ZFC− models. It does heavy lifting in Theorem 5.2, where the collapse computation depends on cf of ω2^HY being exactly ω1. I read the hypotheses carefully: they match the application—µ = ω1, µ+H is an ordinal between ω1 and ω2 and hence not a cardinal in V, while µ++H is ω2^V and is a cardinal. So the stated theorem, if correct, applies directly. The citation to Jech Lemma 23.19 is standard, but because the advertised inconsistency results all rest on this, I would want someone to verify the statement against Jech once. That is a verification task, not a red flag. Theorem 5.2's proof is clear, and the chain argument in Corollary 5.3 goes through if Theorem 5.1 is right.\n\nBottom line: this deserves a serious referee. It is a service to the community, the new lemma is correct, and the one load-bearing citation is checkable. Send it to review.","headline":"A useful, honest survey with one genuinely new observation (Lemma 4.17); the negative-results section leans on a citable Shelah theorem that should be verified but is likely fine.","tokens_in":20161,"tokens_out":2675,"would_cite":true,"duration_ms":27365,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03E05","03E55","03E35","03E65"],"pacs":[],"model":"deepseek-v4-flash","headline":"Strong Chang's Conjecture variants form a single implication chain, tied to forcing and reflection.","keywords":["Chang's Conjecture","Strong Chang's Conjecture","stationary set reflection","semiproper forcing","Namba forcing","nonstationary ideal","presaturation","internal approachability"],"falsifier":"A reader could settle the negative part by searching for a transitive $ZFC^-$ model $H$ and a cardinal $\\mu$ such that $\\mu^{++H}$ is a cardinal in $V$, $\\mu^{+H}$ is not a cardinal in $V$, and $\\mathrm{cf}^V(\\mu^{+H})\\neq\\mu$; such a configuration would refute Theorem 5.1 and undercut the proofs that $\\mathrm{SCC}(\\omega_2)$ and $\\mathrm{WRP}(\\wp^*_{\\omega_2})$ are inconsistent. A different falsifier would be a model that actually satisfies either of those two principles.","tokens_in":19083,"feed_emoji":"🔗","tokens_out":18479,"duration_ms":161002,"temperature":0.7,"pith_summary":"This survey's organizing claim is that the various strong Chang's Conjecture principles form a single hierarchy: the strongest principle implies the next, down to the classical Chang's Conjecture, and the steps are detected by how much of a structure can be end-extended without adding new countable ordinals. The paper identifies the hierarchy with familiar objects: one level is equivalent to Namba forcing (the forcing that makes $\\omega_2$ have countable cofinality) being semiproper, another to the Semistationary Set Reflection Principle, and another to an internal reflection principle called $RP_{\\mathrm{internal}}$. It also shows that the higher-cardinal analogues of these principles are inconsistent, using a single theorem about what happens when a transitive model's successor cardinal collapses. A reader should care because these principles are a precise measure of when a forcing or construction can adjoin only the things you want to a small model, a question that controls semiproperness, saturation of the nonstationary ideal, and the tree property at $\\omega_2$.","feed_headline":"Strong Chang's Conjecture variants form a tight implication hierarchy","feed_subtitle":"The survey ties these principles to stationary reflection, semiproper forcing, and ideal saturation.","key_machinery":"The central mechanism is the end-extension relation $\\sqsubseteq$: for substructures $M\\subseteq M'$ of $H_\\theta$, $M\\sqsubseteq M'$ means $M\\subseteq M'$ and $M\\cap\\omega_1=M'\\cap\\omega_1$, so the extension adds no new countable ordinals. Each SCC variant is defined by how many such end-extensions exist and what they add: one, cofinally many with or without a prescribed agreement below each target ordinal, or two incomparable ones. The arguments are carried by two lemmas: Lemma 2.3, which says that for almost every $M\\in\\wp(W)$, adjoining finitely many objects outside $W$ to the Skolem hull of $M$ adds nothing back from $W$; and Lemma 3.2, which says that in ZFC there are always projectively stationarily many models with the needed extension property. These lemmas turn failures of reflection into stationary sets and successes of end-extension into semiproperness or antichain-catching.","core_discovery":"The paper's central claim is that the family of strong Chang's Conjecture principles, each asking for end-extensions of small elementary substructures that add material below the next cardinal without changing the intersection with $\\omega_1$ (or with a fixed ambient set), collapses into the implication chain $\\mathrm{SCC}^{\\mathrm{cof}}_{\\mathrm{gap}} \\Rightarrow \\mathrm{SCC}^{\\mathrm{cof}} \\Rightarrow \\mathrm{SCC}^{\\mathrm{split}} \\Rightarrow \\mathrm{SCC} \\Rightarrow \\mathrm{Projective\\ CC} \\Rightarrow \\mathrm{CC}$. Several rungs are exactly equivalent to familiar statements: $\\mathrm{SCC}^{\\mathrm{cof}}$ holds iff Namba forcing is semiproper; Global $\\mathrm{SCC}^{\\mathrm{cof}}$ holds iff the Semistationary Set Reflection Principle holds; Global $\\mathrm{SCC}^{\\mathrm{cof}}_{\\mathrm{gap}}$ holds iff $RP_{\\mathrm{internal}}$ holds. The survey also gives a streamlined proof that full $\\mathrm{SCC}(\\omega_2)$ and $\\mathrm{WRP}(\\wp^*_{\\omega_2})$ are inconsistent, while the restriction of reflection to internally approachable sets of size $\\omega_1$ is consistent from a supercompact cardinal.","pith_inferences":["The strictness of the chain is one open gap; a natural next step is to look for models where $\\mathrm{SCC}^{\\mathrm{cof}}$ holds while $\\mathrm{SCC}^{\\mathrm{split}}$ fails, which would also separate semiproperness of Namba forcing from the real-adding-plus-club-shooting forcing characterization.","The same end-extension machinery likely classifies saturation and presaturation for other ideals, since the survey's antichain-catching lemmas are special cases of a general catching lemma; one could test whether Projective CC analogues for other ideals amplify their saturation properties.","Because the higher-cardinal versions are inconsistent, the phenomenon appears to be special to $\\omega_1$; a reasonable project is to characterize exactly which restricted classes of models at higher cardinals, such as internally approachable ones, still admit end-extension principles.","The open question whether WRP implies $RP_{\\mathrm{internal}}$ could be attacked by finding a forcing that destroys the stationarity of $S\\cap W\\cap[W]^\\omega$ while preserving WRP; the survey's proof of the RPinternal equivalence isolates that stationarity as the key invariant."],"forward_implications":["Under the failure of CH, $\\mathrm{SCC}^{\\mathrm{cof}}$ implies the tree property at $\\omega_2$, and Global $\\mathrm{SCC}^{\\mathrm{cof}}$ implies ITP($\\omega_2$), a strengthening of that tree property.","$\\mathrm{SCC}^{\\mathrm{cof}}$ is equivalent to Namba forcing being semiproper, so any forcing consequence of semiproperness transfers to models satisfying $\\mathrm{SCC}^{\\mathrm{cof}}$.","Global $\\mathrm{SCC}^{\\mathrm{cof}}$ is equivalent to the Semistationary Set Reflection Principle and to the assertion that every stationary-set-preserving forcing is semiproper.","If $NS_{\\omega_1}$ is saturated and Projective CC holds, then the saturation is preserved by all c.c.c. forcing and upgrades to $(\\omega_2,\\omega_1,<\\omega)$-saturation.","Full $\\mathrm{SCC}(\\omega_2)$ and $\\mathrm{WRP}(\\wp^*_{\\omega_2})$ are inconsistent, while the restriction of WRP to internally approachable sets is consistent from a supercompact cardinal."],"supporting_citations":[{"why":"It defines Projective CC and WRP and provides the saturation and antichain-catching arguments on which the survey relies.","marker":"[14]"},{"why":"It supplies the higher-cardinal inconsistency theorems that Section 5 streamlines.","marker":"[13]"},{"why":"It introduces Global SCCcof and proves its equivalence with the Semistationary Set Reflection Principle.","marker":"[8]"},{"why":"It introduces RPinternal and proves its equivalence with Global SCCcof_gap.","marker":"[16]"},{"why":"It provides the theorem characterizing SCCcof via semiproperness of the forcing that collapses $\\omega_2$ to countable cofinality.","marker":"[25]"},{"why":"It supplies the general antichain-catching lemma and the duality theorem used for saturation and presaturation.","marker":"[12]"},{"why":"It introduces projective stationarity and the reflection principles connecting SCC-type principles to saturation.","marker":"[11]"},{"why":"It establishes the consistency of SCCcof_gap and the non-reversibility of the implication from SCCcof_gap to SCCcof.","marker":"[4]"},{"why":"It proves the characterization of SCCsplit in terms of the real-adding-plus-club-shooting forcing.","marker":"[6]"},{"why":"It proves that SCCcof implies the tree property at $\\omega_2$ under the failure of CH.","marker":"[27]"}],"fun_headline_variants":["Strong Chang's Conjecture variants form a chain of implications","Survey ties strong Chang's Conjecture to reflection and forcing","Strong Chang's Conjecture: equivalent forms and a hierarchy","Survey maps strong Chang's Conjecture to known principles","Implication hierarchy for strong Chang's Conjecture surveyed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The negative results of Section 5 rest on a theorem, quoted without a full proof, asserting that if a transitive model of set theory without the powerset axiom has $\\mu^{++}$ as a cardinal in $V$ but $\\mu^+$ is not a cardinal in $V$, then the cofinality of that collapsed $\\mu^+$ is exactly $\\mu$; if that theorem failed, the contradiction arguments would not go through.","fun_headline_variants_meta":{"raw":{"variants":["Strong Chang's Conjecture variants form a chain of implications","Survey ties strong Chang's Conjecture to reflection and forcing","Strong Chang's Conjecture: equivalent forms and a hierarchy","Survey maps strong Chang's Conjecture to known principles","Implication hierarchy for strong Chang's Conjecture surveyed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000971,"raw_usage":{"total_tokens":4051,"prompt_tokens":792,"completion_tokens":3259,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":408,"completion_tokens_details":{"reasoning_tokens":3175}},"tokens_in":408,"tokens_out":3259,"duration_ms":24192,"temperature":1.0,"reasoning_tokens":3175,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:17:14.181738+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A reader could settle the negative part by searching for a transitive $ZFC^-$ model $H$ and a cardinal $\\mu$ such that $\\mu^{++H}$ is a cardinal in $V$, $\\mu^{+H}$ is not a cardinal in $V$, and $\\mathrm{cf}^V(\\mu^{+H})\\neq\\mu$; such a configuration would refute Theorem 5.1 and undercut the proofs that $\\mathrm{SCC}(\\omega_2)$ and $\\mathrm{WRP}(\\wp^*_{\\omega_2})$ are inconsistent. A different falsifier would be a model that actually satisfies either of those two principles.","supporting_citations":[{"cited_title":"Foreman, M","cited_arxiv_id":null,"evidence_quote":"It defines Projective CC and WRP and provides the saturation and antichain-catching arguments on which the survey relies."},{"cited_title":"Pure Appl","cited_arxiv_id":null,"evidence_quote":"It supplies the higher-cardinal inconsistency theorems that Section 5 streamlines."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It introduces Global SCCcof and proves its equivalence with the Semistationary Set Reflection Principle."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It introduces RPinternal and proves its equivalence with Global SCCcof_gap."},{"cited_title":"MR1623206 (98m:030 02)","cited_arxiv_id":null,"evidence_quote":"It provides the theorem characterizing SCCcof via semiproperness of the forcing that collapses $\\omega_2$ to countable cofinality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the general antichain-catching lemma and the duality theorem used for saturation and presaturation."},{"cited_title":"London Math","cited_arxiv_id":null,"evidence_quote":"It introduces projective stationarity and the reflection principles connecting SCC-type principles to saturation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It establishes the consistency of SCCcof_gap and the non-reversibility of the implication from SCCcof_gap to SCCcof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It proves the characterization of SCCsplit in terms of the real-adding-plus-club-shooting forcing."},{"cited_title":"part B, Topology Appl","cited_arxiv_id":null,"evidence_quote":"It proves that SCCcof implies the tree property at $\\omega_2$ under the failure of CH."}],"review_version":1}