{"as_of":"2026-08-13T05:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:614b74c2ce17b919dd2bdc56a58fd06c886e013ed585a3326fa5c6d190e1afde","coverage":[{"denominator":5,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T12:33:35.521885Z","state":"measured"},{"denominator":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.17415/citation-record","integrity":"/paper/2411.17415/integrity","json":"/paper/2411.17415/citation-record.json","paper":"/paper/2411.17415"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:33:35.614909Z","title":"Notes on local reflection principles","venue":null,"work_id":"9e22360a-d0cf-4c3a-ac64-fdd7cd08de38","year":1997},"citing_paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T12:33:35.505981Z"},"links":{"citing_paper":"/paper/2411.17415"},"observation_digest":"sha256:a0115a4983211e60f85ecaad85681eb0cbf129507b5f0e2b77f0e06e853eb591","observation_id":"0bf62faa-c14e-4781-b37b-65e60cc91d61","resolution":{"observed_at":"2026-08-12T12:33:35.619032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.04082","last_updated":"2023-05-19T16:14:07Z","snapshot_observed_at":"2026-07-06T13:50:26.544190Z","submitted_at":"2022-09-09T01:56:01Z","title":"Determinacy and reflection principles in second-order arithmetic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.04082","snapshot_observed_at":"2026-08-12T12:33:35.510239Z","title":"Determinacy and re flection principles in second-order arithmetic","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T12:33:35.510239Z"},"links":{"cited_paper":"/paper/2209.04082","citing_paper":"/paper/2411.17415"},"observation_digest":"sha256:b8fabbe81ef04fe43d9fc24dfb700b07d9908f5df7e021f401cf228bfea1b511","observation_id":"be6f4262-c1c0-4a45-98f8-70ebe313a69c","resolution":{"observed_at":"2026-08-12T12:33:35.510239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:33:35.603126Z","title":null,"venue":null,"work_id":"6d9f943c-2e95-4e41-8901-03bafa9fbe57","year":2009},"citing_paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T12:33:35.514525Z"},"links":{"citing_paper":"/paper/2411.17415"},"observation_digest":"sha256:9e3b4a77c56862f53f5cdde3d1aca8c42d2b26a8af96acc47ce995ff7034a4c7","observation_id":"a16c1555-1508-4bca-adf0-70a584880cb0","resolution":{"observed_at":"2026-08-12T12:33:35.606925Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.07136","last_updated":"2024-11-22T14:33:10Z","snapshot_observed_at":"2026-08-13T04:26:57.629009Z","submitted_at":"2024-02-11T09:33:36Z","title":"On the $\\Pi^1_2$ consequences of $\\Pi^1_1$-$\\mathsf{CA}_0$","version":2},"cited_work":{"arxiv_id":"2402.07136","doi":null,"metadata_source":"pith","pith_arxiv_id":"2402.07136","snapshot_observed_at":"2026-08-12T12:33:35.556811Z","title":"On the $\\Pi^1_2$ consequences of $\\Pi^1_1$-$\\mathsf{CA}_0$","venue":"math.LO","work_id":"451e6938-5c78-4cd0-a6a4-86b950f7995a","year":2024},"citing_paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T12:33:35.518065Z"},"links":{"cited_paper":"/paper/2402.07136","citing_paper":"/paper/2411.17415"},"observation_digest":"sha256:a08699d2d795e63dc7f4e90d6e8d7ee05636b428f35270774f2e92648952489c","observation_id":"ae9b9ff7-ee53-4976-b78f-d8684a38a7a2","resolution":{"observed_at":"2026-08-12T12:33:35.562403Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T12:33:35.590548Z","title":"Partial impredicativity in reverse math ematics","venue":null,"work_id":"761cc2a8-9099-4f99-9d37-b8c116b1a9ea","year":2013},"citing_paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T12:33:35.521885Z"},"links":{"citing_paper":"/paper/2411.17415"},"observation_digest":"sha256:cc42056dd7f0c2c528c15602471283b61d3894e724ff0a13c7836585b42ea90f","observation_id":"eb16f308-2701-4f3e-82a6-fc63120d0d13","resolution":{"observed_at":"2026-08-12T12:33:35.595473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.17415","last_updated":"2024-11-26T13:24:21Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-12T12:06:01.161668Z","submitted_at":"2024-11-26T13:24:21Z","title":"On some subtheories of strong dependent choice"},"reference_resolution":{"displayed":5,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":2},"total_outbound_references":5},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 0 inbound Pith citation observations for arXiv:2411.17415."}