logic-foundations / Model theory

SOP2=SOP3SOP_2 = SOP_3

The new content is SOP2⇒SOP3SOP_2 \Rightarrow SOP_3; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in SOP3⇒SOP2⇒SOP1SOP_3 \Rightarrow SOP_2 \Rightarrow SOP_1 reverses: Mutchnik answered the second (SOP1=SOP2SOP_1 = SOP_2), and this answers the first, collapsing the bottom of the hierarchy to SOP1=SOP2=SOP3SOP_1 = SOP_2 = SOP_3. The SOPnSOP_n hierarchy for n≥3n \ge 3 remains, as does everything above it.

35Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

logic-foundationsAug 13, 2026Significance 35/100Registry: unreviewed

SOP2=SOP3SOP_2 = SOP_3

Prior state unknown→proved

The new content is SOP2⇒SOP3SOP_2 \Rightarrow SOP_3; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in SOP3⇒SOP2⇒SOP1SOP_3 \Rightarrow SOP_2 \Rightarrow SOP_1 reverses: Mutchnik answered the second (SOP1=SOP2SOP_1 = SOP_2), and this answers the first, collapsing the bottom of the hierarchy to SOP1=SOP2=SOP3SOP_1 = SOP_2 = SOP_3. The SOPnSOP_n hierarchy for n≥3n \ge 3 remains, as does everything above…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

The new content is SOP2⇒SOP3SOP_2 \Rightarrow SOP_3; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in SOP3⇒SOP2⇒SOP1SOP_3 \Rightarrow SOP_2 \Rightarrow SOP_1 reverses: Mutchnik answered the second (SOP1=SOP2SOP_1 = SOP_2), and this answers the first, collapsing the bottom of the hierarchy to SOP1=SOP2=SOP3SOP_1 = SOP_2 = SOP_3. The SOPnSOP_n hierarchy for n≥3n \ge 3 remains, as does everything above it.

The new content is SOP2⇒SOP3SOP_2 \Rightarrow SOP_3; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in SOP3⇒SOP2⇒SOP1SOP_3 \Rightarrow SOP_2 \Rightarrow SOP_1 reverses: Mutchnik answered the second (SOP1=SOP2SOP_1 = SOP_2), and this answers the first, collapsing the bottom of the hierarchy to SOP1=SOP2=SOP3SOP_1 = SOP_2 = SOP_3. The SOPnSOP_n hierarchy for n≥3n \ge 3 remains, as does everything above it.

Recorded attempts

Evidence graph

Connected research record