algebra / Commutative algebra

Anderson's Quasi-Completeness Question

Is every weakly quasi-complete Noetherian local ring quasi-complete? Asked by D. D. Anderson in 2014. The ring $A = k^p[[X, Y]][k]$ with $k = \mathbb{F}_p(u_1, u_2, \dots)$ is weakly quasi-complete but not quasi-complete.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraApr 4, 2026Significance 10/100Registry: lean verified

Anderson's Quasi-Completeness Question

Prior state unknowndisproved

Is every weakly quasi-complete Noetherian local ring quasi-complete? Asked by D. D. Anderson in 2014. The ring $A = k^p[[X, Y]][k]$ with $k = \mathbb{F}_p(u_1, u_2, \dots)$ is weakly quasi-complete but not quasi-complete.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Is every weakly quasi-complete Noetherian local ring quasi-complete? Asked by D. D. Anderson in 2014. The ring $A = k^p[[X, Y]][k]$ with $k = \mathbb{F}_p(u_1, u_2, \dots)$ is weakly quasi-complete but not quasi-complete.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.