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.
Exact FrontierDelta
Scope and record
Occurred: Apr 4, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Anderson's Quasi-Completeness Question · Anderson quasi-complete
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Rethlas + Archon (GPT-5.4 Pro)
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Rethlas + Archon (GPT-5.4 Pro)