{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-1908.04958","versions":[{"work":{"authors":["Terence Tao"],"kind":"research_paper","publication":"published","publication_note":"Published in Proceedings of Symposia in Pure Mathematics 104 (2021), DOI 10.1090/pspum/104/01874. Statements here use the pinned arXiv v2: Theorem 1.1, which states the Escauriaza–Seregin–Šverák criterion.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; absence of attribution is not evidence of absence.","artifacts":[{"kind":"pdf","title":"Tao · quantitative bounds for critically bounded solutions · PDF","url":"https://arxiv.org/pdf/1908.04958v2","version":"arxiv-v2","assessment":"paper_proof","note":"External source evidence; no OpenMath execution or independent reproduction is attached."}],"published":{"value":"2021-10-14"}},"id":"arxiv-1908.04958@arxiv-v2","source_id":"arxiv-1908.04958","title":"Tao · quantitative bounds for critically bounded solutions","owner":"Terence Tao","url":"https://arxiv.org/abs/1908.04958v2","subject_scope":"Tao · quantitative bounds for critically bounded solutions","revision":"arxiv-v2","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-21","source_updated_on":"2020-07-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/1908.04958v2","attribution":"Terence Tao","rights_note":"No upstream full text is republished by this record.","check_interval_days":90}],"entries":[{"id":"navier-stokes:tao-l3-criterion:v1","source_version_id":"arxiv-1908.04958@arxiv-v2","item_id":"tao-l3-criterion","url":"https://arxiv.org/abs/1908.04958v2","wording":"Theorem 1.1, credited to Escauriaza–Seregin–Šverák: a classical solution with finite maximal time of existence has unbounded critical L³ norm as that time is approached.","wording_kind":"paraphrase","locator":"p. 2, Theorem 1.1","supersedes":null}],"problems":[{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8}],"selected_version_id":"arxiv-1908.04958@arxiv-v2","available_versions":[{"id":"arxiv-1908.04958@arxiv-v2","revision":"arxiv-v2","observed_on":"2026-10-21","title":"Tao · quantitative bounds for critically bounded solutions","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-5eb85f06d8a23031bcb9","entry_id":"navier-stokes:tao-l3-criterion:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Established result reported in the cited source","claim":{"id":"claim-navier-stokes-l3-criterion","version":1,"slug":"navier-stokes-l3-criterion","title":"The critical L³ endpoint (Escauriaza–Seregin–Šverák)"},"fragment":"claim-navier-stokes-l3-criterion","assessment":{"id":"navier-stokes:report:navier-stokes-l3-criterion:v1","entry_id":"navier-stokes:tao-l3-criterion:v1","state":"resolved","source_label":"Established result reported in the cited source","scope":"Only the exact statement and source passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/1908.04958v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-3ebeaf13fac5bf2de5d9","entry_id":"navier-stokes:tao-l3-criterion:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b25ecd144fcbcdb14c65","entry_id":"navier-stokes:tao-l3-criterion:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"The critical L³ endpoint (Escauriaza–Seregin–Šverák)","claim":{"id":"claim-navier-stokes-l3-criterion","version":1,"slug":"navier-stokes-l3-criterion","title":"The critical L³ endpoint (Escauriaza–Seregin–Šverák)"},"fragment":"claim-navier-stokes-l3-criterion","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}