{"as_of":"2026-08-23T15:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:46f39c3a591172fa55f70aa4f40cb3e184871fe0124e5ad34f13521ce811d5b9","coverage":[{"denominator":32,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":32,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T07:17:25.299581Z","state":"measured"},{"denominator":32,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":32,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2601.21118/citation-record","integrity":"/paper/2601.21118/integrity","json":"/paper/2601.21118/citation-record.json","paper":"/paper/2601.21118"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.233614Z","title":"Alvir, N","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.233614Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:ff80b7bda364e29e244a917a10023cb414428f557811ee6981dd70ba777bee14","observation_id":"9c9941c6-f83d-418e-b13e-a2f5d0305bf8","resolution":{"observed_at":"2026-08-03T07:17:25.233614Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.236676Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.236676Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:cde41bc18c9cd83fa171803996d073ae78abedf11ebaf88b3c7705df7c57cfae","observation_id":"960ef4b3-572f-47ba-8afe-0ca430054b31","resolution":{"observed_at":"2026-08-03T07:17:25.236676Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.239045Z","title":"Ash and J","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.239045Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:ce5ddfef1938760d22115bdfeb62d7b7c2f1cfa45aa0b43e9d3852ed0629e2ff","observation_id":"539c403b-ff5f-4d99-897a-c27f96ceb510","resolution":{"observed_at":"2026-08-03T07:17:25.239045Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.241574Z","title":"Ash and J","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.241574Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:3277c74a1c39e9f1a31c1e6fca39af60880b91301aaf37e581e8dbf1d63bf4d2","observation_id":"65b6f9e3-a26d-4c42-8852-d5718ec20352","resolution":{"observed_at":"2026-08-03T07:17:25.241574Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.243899Z","title":"Cooper.Computability Theory","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.243899Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:2cc3e24d8af6c687afca3017d0eb40eaf8ee7255d4e5f001768a1800056646dd","observation_id":"9ff9c426-06d9-4244-973d-71895bba2837","resolution":{"observed_at":"2026-08-03T07:17:25.243899Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.246202Z","title":"Downey and J","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.246202Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:37486da68d86113e9a7276d7960d275fe390bc94ec39331103100f10e35afa24","observation_id":"ff8a4e82-0677-44ed-97dd-1dd4617c6118","resolution":{"observed_at":"2026-08-03T07:17:25.246202Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.248477Z","title":null,"venue":null,"work_id":null,"year":1931},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.248477Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:b539bbf19c06d2328e9c48ac0e22b99b9e2e1c32fffff4ec7e6ca0614d7ab68c","observation_id":"87352ab3-25f0-4838-97bf-eb02365f4afe","resolution":{"observed_at":"2026-08-03T07:17:25.248477Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.250482Z","title":"Goncharov, S","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.250482Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:bf47d32a1336c9e023471cb0be1fb86a7a5ffed09239f3b8e8531ccdd44a78f3","observation_id":"801facd8-29ed-4a75-ac3e-3a352793cc6e","resolution":{"observed_at":"2026-08-03T07:17:25.250482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.12084","last_updated":"2025-05-01T16:00:33Z","snapshot_observed_at":"2026-08-18T20:57:44.076540Z","submitted_at":"2024-11-18T21:49:46Z","title":"Scott Spectral Gaps are Bounded for Linear Orderings","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.12084","snapshot_observed_at":"2026-08-03T07:17:25.252395Z","title":"Gonzalez and M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.252395Z"},"links":{"cited_paper":"/paper/2411.12084","citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:bdd07d9925438fe3f6e3bdb7cf19884b4cfc9e19e7814c1aead744df0a58d58f","observation_id":"8e61f72e-3488-4fd8-a8a2-63a881bf86b3","resolution":{"observed_at":"2026-08-03T07:17:25.252395Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.255086Z","title":"Gonzalez, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.255086Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:ab5cfe98740eb73af2cfe801ad8e46a9c9840b9db30eb85afa3f11ecdc47a9af","observation_id":"76fb1a26-6e49-447f-85d4-c8fa8ca0bb29","resolution":{"observed_at":"2026-08-03T07:17:25.255086Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.257109Z","title":"Gonzalez, M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.257109Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:b903c8aad7b27862d9b3c18ae8ce6e9b2185b5d869e6fd9e2dd5aed9f35628b9","observation_id":"67fa638c-fde6-45f8-a4d8-dcf7710f1b0c","resolution":{"observed_at":"2026-08-03T07:17:25.257109Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.259272Z","title":"Gonzalez and D","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.259272Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:2a34b9a1dadc5ac2a7de0ba22fbf71b15393d2fee694f045da29d8cc329ecb0c","observation_id":"30a49522-480b-4de0-b9ac-506954a2152a","resolution":{"observed_at":"2026-08-03T07:17:25.259272Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.261575Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.261575Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:705d966066b342478bbf239ccffdd02213201928a138f476a12b912df8ff8af0","observation_id":"8b8a477a-5773-4f73-ad86-b0c1604baba5","resolution":{"observed_at":"2026-08-03T07:17:25.261575Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.263624Z","title":"Harison-Trainor","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.263624Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:0b8eb95e1db07439809a26c61c1ffbd495028a2d79927e0a2c45fb601bafddb9","observation_id":"38e82a35-87ae-41b3-b7a0-ffa8b854cce0","resolution":{"observed_at":"2026-08-03T07:17:25.263624Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.265824Z","title":"Hirschfeldt, B","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.265824Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:12dda810029844f8b9ec29c3889d7f33d5c8d63b0ade0ffa2f64a89a087ced6a","observation_id":"7d266b8c-cc8c-4090-9d12-f8c803a8f009","resolution":{"observed_at":"2026-08-03T07:17:25.265824Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.267825Z","title":null,"venue":null,"work_id":null,"year":1901},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.267825Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:57a3ae4f59797ec0de8b6f5f9d5bbb09503e25e941eb212ea48e53558a8fffd3","observation_id":"096c44ea-66a5-4de9-9294-0126edfb21fc","resolution":{"observed_at":"2026-08-03T07:17:25.267825Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.269718Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.269718Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:3cc72cdc721808e044ed9c07bd704f6611b0bc222d1c278f57cb1f7d5774a720","observation_id":"cac30f5c-f8dc-45ca-9ff5-bc2502a8d06b","resolution":{"observed_at":"2026-08-03T07:17:25.269718Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.271649Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.271649Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:d7578d82580de94fb29f60c8557e039e76920b4268d40471c1abb1925a4b8941","observation_id":"26bcc28d-31cf-4cdf-b14b-f646e30e7a29","resolution":{"observed_at":"2026-08-03T07:17:25.271649Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.273742Z","title":"Lipshitz and M.E","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.273742Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:a6199783fe7c8368139a563410713c0f3299afe418ff1990bb3340b5cfc2ca70","observation_id":"50dea309-673d-4249-9e76-50af575f3622","resolution":{"observed_at":"2026-08-03T07:17:25.273742Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.275684Z","title":"Llewellyn-Jones.Presburger Arithmetic and pseudo-recursive saturation","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.275684Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:f7773a24e67fd7b37448207c370daa9c4eab7beb903692054b60fff419f137a2","observation_id":"0a123313-0010-47ae-955b-b884732ac09e","resolution":{"observed_at":"2026-08-03T07:17:25.275684Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.277624Z","title":"Marker.Model Theory: An Introduction","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.277624Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:96540d7ea563a38dda63a9e27cea2c2059e95f1936ce9268fcb49e00d6b8a4ca","observation_id":"b3f4800f-e47f-470f-956f-b09451f23cf3","resolution":{"observed_at":"2026-08-03T07:17:25.277624Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.279493Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.279493Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:67447cfe6f38cbf3ea326e0cad375ed6dbcc1696f8e85eb07f0e24be42ed9274","observation_id":"81977b2a-94ce-448d-a2c4-d24283ef772b","resolution":{"observed_at":"2026-08-03T07:17:25.279493Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.281396Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.281396Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:107d43d03eef311f4a7962823118665f03965117dae224e758094ac50f0696f1","observation_id":"c751455a-5749-45f2-9540-a5c17ee03ff3","resolution":{"observed_at":"2026-08-03T07:17:25.281396Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.283446Z","title":"Miller, B","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.283446Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:217f418595c352cd39f92bd7481d650ff4758c0bcbc2c21a3ea87d9ceccb34b0","observation_id":"d70db0bd-1f38-460f-819e-f0abea03fe11","resolution":{"observed_at":"2026-08-03T07:17:25.283446Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.285622Z","title":"Montalbán","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.285622Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:2815dc6b8d9782e9b5ed6af0a2dc53e2c98d57cde6c20e862550708244921345","observation_id":"cbda5d04-73fd-4cfa-96e7-a3e90ded4330","resolution":{"observed_at":"2026-08-03T07:17:25.285622Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.287722Z","title":"Montalbán.Computable Structure Theory: Within the Arithmetic","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.287722Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:90aeb20c29d9a3b56133ddd8b645e6448275fcb04c4c55e4651911bc99350a34","observation_id":"e1cd47cb-4d39-4f9f-ae55-309a8f20729e","resolution":{"observed_at":"2026-08-03T07:17:25.287722Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.289557Z","title":"Montalbán.Computable Structure Theory: Beyond the Arithmetic.Draft, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.289557Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:0598c5367126fada48558cc4dd1df11e1607259f9051448c33b13e6f18717771","observation_id":"97e5a0b6-eb00-42fb-9c8e-40507ea6149a","resolution":{"observed_at":"2026-08-03T07:17:25.289557Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.291437Z","title":"Montalbán and D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.291437Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:6c51d5e90e57eb12c5e63119a13ddc06b92d7596758bce719f619363637b5446","observation_id":"b9dc6f96-fd82-445b-9f9a-d1c53ccc05c0","resolution":{"observed_at":"2026-08-03T07:17:25.291437Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.293554Z","title":"Presburger","venue":null,"work_id":null,"year":1929},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.293554Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:cfbe21312d9a433ca715a3635bc84d688eebb42979789c807a9c18bb8303fc75","observation_id":"fa1f81c8-94ba-4c25-bc40-6411ef405d39","resolution":{"observed_at":"2026-08-03T07:17:25.293554Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.295728Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.295728Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:3d1539e1205786ad41e5340c70d4b4f4bc5918f848885ca1b2427bd0010264ef","observation_id":"f8df407f-7956-42dd-badd-27cbe50592ac","resolution":{"observed_at":"2026-08-03T07:17:25.295728Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.297760Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.297760Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:ace6c44c54aff1e9ba8b1bbdf47ded19d9900d2d9136bcd3b145959728485c80","observation_id":"09d1cf9e-3af0-4e8c-8590-6441a3322dc1","resolution":{"observed_at":"2026-08-03T07:17:25.297760Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T07:17:25.299581Z","title":"Tennenbaum","venue":null,"work_id":null,"year":1959},"citing_paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-03T07:17:25.299581Z"},"links":{"citing_paper":"/paper/2601.21118"},"observation_digest":"sha256:5e7b5d6c63dc5b2a45fce6dbda14053fd1f6d59614306ffb7fe65ce4efa6a5b4","observation_id":"edd63211-8576-4feb-932e-4e1566c9c5fe","resolution":{"observed_at":"2026-08-03T07:17:25.299581Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2601.21118","last_updated":"2026-06-16T19:26:54Z","latest_version":3,"primary_category":"math.LO","snapshot_observed_at":"2026-08-12T16:56:18.002270Z","submitted_at":"2026-01-28T23:18:39Z","title":"Measuring the Complexity of Countable Presburger Models"},"reference_resolution":{"displayed":32,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":32,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":32},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2601.21118."}