The new content is ; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in reverses: Mutchnik answered the second (), and this answers the first, collapsing the bottom of the hierarchy to . The hierarchy for remains, as does everything above…
logic-foundations / Model theory
The new content is ; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in reverses: Mutchnik answered the second (), and this answers the first, collapsing the bottom of the hierarchy to . The hierarchy for remains, as does everything above it.
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
The new content is ; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in reverses: Mutchnik answered the second (), and this answers the first, collapsing the bottom of the hierarchy to . The hierarchy for remains, as does everything above it.
The new content is ; the converse implication was known from the start. Dzamonja and Shelah asked whether either implication in reverses: Mutchnik answered the second (), and this answers the first, collapsing the bottom of the hierarchy to . The hierarchy for remains, as does everything above it.
Recorded attempts
Evidence graph
Connected research record
- →
- →