{
  "title": "A separably representable counterexample to Naimark's problem in ZFC",
  "authors": [
    "Ryotaro Tanaka"
  ],
  "year": 2026,
  "publication_type": "arXiv preprint",
  "arxiv_id": "2609.26930",
  "displayed_version": "v1",
  "doi": "10.48550/arXiv.2609.26930",
  "doi_url": "https://doi.org/10.48550/arXiv.2609.26930",
  "abstract_url": "https://arxiv.org/abs/2609.26930",
  "version_url": "https://arxiv.org/abs/2609.26930v1",
  "pdf_url": "https://arxiv.org/pdf/2609.26930v1",
  "arxiv_submission_date": "2026-09-22",
  "arxiv_submission_timestamp_utc": "2026-09-22T18:23:08Z",
  "arxiv_submission_timestamp_jst": "2026-09-23T03:23:08+09:00",
  "announcement_timestamp": null,
  "pages": 19,
  "peer_review_claim": false,
  "formal_scope_guards": [
    "Corollary 5.4 weak closure is not included in the paper formalized-scope claim",
    "Orthonormal-basis cardinalities in Corollary 6.2 are standard consequences, not dedicated Lean endpoints",
    "Result-level correspondence is not line-by-line formalization; no new mapping approval here"
  ],
  "record_kind": "PAPER_BIBLIOGRAPHY",
  "hosting": "EXTERNAL_ARXIV_ONLY",
  "hp_publication_date": "2026-09-24",
  "hp_publication_performed": true,
  "reference_pdf_independently_matched": true,
  "reference_pdf_sha256": "99c53be938ffd5adfcbdcc2b19f7b11c04a9c8d3068897385ae512b535eab98f"
}