Kirby Problem 5.16 for Noncommutative Semifree DGAs
Prior state unknown→disproved
resolves the noncommutative half of the Kirby-list problem
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Decision problems in topology
Kirby Problem 5.16 for Noncommutative Semifree DGAs
resolves the noncommutative half of the Kirby-list problem
20Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
resolves the noncommutative half of the Kirby-list problem
resolves the noncommutative half of the Kirby-list problem
Recorded attempts
Evidence graph
Connected research record
- →resolves the noncommutative half of the Kirby-list problem
parent of · claim · counterexample
- →Kirby Problem 5.16 for Noncommutative Semifree DGAs
parent of · event · claim reported