{"as_of":"2026-08-08T11:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4600690cd30d9c2013e7219f98f19e4a50f688e08821183861384f0b91d1bad3","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T17:47:02.993888Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2512.09120/citation-record","integrity":"/paper/2512.09120/integrity","json":"/paper/2512.09120/citation-record.json","paper":"/paper/2512.09120"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T17:47:00.016072Z","title":"Quasi-finitely axiomatizable totally categorical theories.Ann","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.016072Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:a2f785f3931cbd955bb83435d0430ca87f135dfc8bacc76ba26a63fe61957e0d","observation_id":"aabdb88a-ebfa-4f7f-b0e4-894241afe762","resolution":{"observed_at":"2026-08-03T17:47:00.016072Z","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-03T17:47:00.113022Z","title":"Reflection principles and provability algebras in formal arithmetic","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.113022Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:7044157363aeadab889cb78b2956365ffe1f92485ca646a0b6d3379ca051cd86","observation_id":"3a553675-6fa7-4d04-87a1-bbf7b1293af8","resolution":{"observed_at":"2026-08-03T17:47:00.113022Z","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-03T17:47:00.233813Z","title":"Discernible elements in models for Peano arithmetic.J","venue":null,"work_id":null,"year":1973},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.233813Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:c0f58578debd4fc865485dd069f8cdc751c5797210a0280ec6352bdf68825cf6","observation_id":"0242f7b9-0495-4219-bdfb-bb4ea5eecbfc","resolution":{"observed_at":"2026-08-03T17:47:00.233813Z","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-03T17:47:00.376395Z","title":"Variations on a Visserian theme","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.376395Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:2600399bde5177f4bbe1a2e60ce6aceb930e29895d8121cc052fa1fc223837ce","observation_id":"3f92c71f-b8b0-4c32-b860-773323c17d63","resolution":{"observed_at":"2026-08-03T17:47:00.376395Z","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-03T17:47:00.457846Z","title":"Completions of restricted complexity I, weak arithmetical theories","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.457846Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:c062d71668e4931d91afdff90bcdf514e9c8f02f0d1b58f1056321119a0c5cf0","observation_id":"c0b01e04-862c-4098-9325-d121e279ec8e","resolution":{"observed_at":"2026-08-03T17:47:00.457846Z","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-03T17:47:00.574183Z","title":"Categoricity-like properties in the first order realm","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.574183Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:c36987a87612ec14f9d8e7e4ee96cff9d8614d269e1f9b245e02db34c025d03d","observation_id":"fd6d0ae3-7f87-4009-b375-6faf87cadd5f","resolution":{"observed_at":"2026-08-03T17:47:00.574183Z","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-03T17:47:00.691990Z","title":"Arithmetization of metamathematics in a general setting.Fund","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.691990Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:cfcdd49cfeab76c5e83a41b4a7cf3482d3e1f4f2e2755538f81919311d1b439d","observation_id":"78e3df35-cd56-4ade-99d3-dcbc9f18d2ef","resolution":{"observed_at":"2026-08-03T17:47:00.691990Z","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-03T17:47:00.832166Z","title":"Bi-interpretation in weak set theories","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.832166Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:ed32e45bd374b71bcac139cffc1f1bf4a68e2a979d2862df04f506d9e31f25e7","observation_id":"6efc58d5-3c04-4c7f-895f-a0986fccf7e8","resolution":{"observed_at":"2026-08-03T17:47:00.832166Z","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-03T17:47:00.950426Z","title":"Williams","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:00.950426Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:603d815e032e9d7d1d4b677b3dee23ad0592b112166399b6291f9dadc73bd528","observation_id":"267b2008-5897-4f8f-b083-5ebebce73780","resolution":{"observed_at":"2026-08-03T17:47:00.950426Z","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-03T17:47:01.068493Z","title":"When bi-interpretability implies synonymy","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.068493Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:538491335b29c48d3af6b557fb5b120c98c451ff62f6ee3a99167380cbcd95e1","observation_id":"590c7156-be38-4cf5-91a4-b7818a1fa80a","resolution":{"observed_at":"2026-08-03T17:47:01.068493Z","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-03T17:47:01.184660Z","title":"Separationsbetweendefinitenesspropertiesforsequentialtheories[work- ing title]","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.184660Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:f5f1d0ef9108df34f870b223771e0e8c48f5f20dad552da394c943971fcd0dbf","observation_id":"157d4723-b90f-46bc-9177-573c83ad9e61","resolution":{"observed_at":"2026-08-03T17:47:01.184660Z","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-03T17:47:01.301517Z","title":"Perspectives in Mathematical Logic","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.301517Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:e2b0d89db95f2611108f267c7c3ec26f500cba629a12e030faf7d98ed894f4d0","observation_id":"2f51a09a-3c7f-4dd1-b379-c75573eabd33","resolution":{"observed_at":"2026-08-03T17:47:01.301517Z","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-03T17:47:01.420106Z","title":"Cambridge University Press, Cambridge, 2011","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.420106Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:d8add62dec1d2d09a809d742536dbdcd1ff8c6e6ec881e142bc6499278428aaa","observation_id":"207bd680-72ea-418a-8722-ae5054c12419","resolution":{"observed_at":"2026-08-03T17:47:01.420106Z","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-03T17:47:01.527403Z","title":"Cambridge University Press, Cambridge, 1993","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.527403Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:ad4c87a31784794822fee62ee9636752cc41b8550204e4d54997b83bf0167103","observation_id":"6e7ce608-f211-4f69-a763-e2ea087d7eaa","resolution":{"observed_at":"2026-08-03T17:47:01.527403Z","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-03T17:47:01.617014Z","title":"Sequence encoding without induction.Math","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.617014Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:03e3a5a542faf6771ecc03f602c65bc0490035ff5646382f98d73194ff664faf","observation_id":"06ba23e6-96a2-4253-b9ef-aae7e9952bfb","resolution":{"observed_at":"2026-08-03T17:47:01.617014Z","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-03T17:47:01.693906Z","title":"The Clarendon Press, Oxford University Press, New York, 1991","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.693906Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:9defd55dd8db15e90839430d46a821d69b1371cd92abf733da76fcc2d2e8653f","observation_id":"02c84268-f161-4e65-aeb3-3934df963c47","resolution":{"observed_at":"2026-08-03T17:47:01.693906Z","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-03T17:47:01.780406Z","title":"The theory ofκ-like models of arithmetic.Notre Dame J","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.780406Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:e4e9709f7860cf3702e5bc3aba246e5781bfed8d6648c7379aa1789e1b5b9ee5","observation_id":"2f21e3c6-c9e6-4fb0-a0d6-082989c7e5e9","resolution":{"observed_at":"2026-08-03T17:47:01.780406Z","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-03T17:47:01.846161Z","title":"Kossak and J","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.846161Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:512568eabbc271e82453e903cd1257437a466cf4eb91dbdf81dc6c54c042468d","observation_id":"b4424d50-a49c-4f56-b534-11f43fde6832","resolution":{"observed_at":"2026-08-03T17:47:01.846161Z","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-03T17:47:01.931179Z","title":"Flexible","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:01.931179Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:189064885a174c1b3229d87db0ed56e76cdcd0835e43dbf0b40bce049385866b","observation_id":"e98dd98b-e62a-41d0-93fd-f928e09573e8","resolution":{"observed_at":"2026-08-03T17:47:01.931179Z","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-03T17:47:02.020471Z","title":"Universal properties of truth.J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.020471Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:16414a3ddbab1ce4d364772909983b3919643755aecf3784822c3206f6ca02c0","observation_id":"05382b51-c3f6-43e2-bf69-7b83abe0aa53","resolution":{"observed_at":"2026-08-03T17:47:02.020471Z","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-03T17:47:02.180621Z","title":"Association for Symbolic Logic, Urbana, IL; A K Peters, Ltd., Natick, MA, second edition, 2003","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.180621Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:9de77b22c47599a2534a4bb4a3ca54828e4c4300902983ddfddaf5be96699ace","observation_id":"9fe0c13d-9ef9-42c6-abe8-5bcba9ba95ee","resolution":{"observed_at":"2026-08-03T17:47:02.180621Z","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-03T17:47:02.267648Z","title":"Relatively precomplete numerations and arithmetic.J","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.267648Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:6d70e29689d8fc62c111fb1da59ec13d6c6415959f8301db7c84bc6d96229cec","observation_id":"1f214b85-a4ea-44ad-9231-46ca7bcb4836","resolution":{"observed_at":"2026-08-03T17:47:02.267648Z","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-03T17:47:02.390452Z","title":"A generalization of the incompleteness theorem.Fund","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.390452Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:1c15f2a29be8b10400211cf1228045522988796f612434f57b8e87893092d77e","observation_id":"d9d3df39-0edd-4efb-aa9e-0a3de8034f87","resolution":{"observed_at":"2026-08-03T17:47:02.390452Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00967","last_updated":"2022-09-02T11:52:34Z","snapshot_observed_at":"2026-07-06T13:48:16.689852Z","submitted_at":"2022-09-02T11:52:34Z","title":"How to escape Tennenbaum's theorem","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00967","snapshot_observed_at":"2026-08-03T17:47:02.459372Z","title":"How to escape Tennenbaum’s theorem","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.459372Z"},"links":{"cited_paper":"/paper/2209.00967","citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:fbc985b0e20abd5fddc1be54dd8a025f346ff292df8341edd599a94c327dd33d","observation_id":"08c6e113-5f96-4b1a-8ce3-cbe1769773e8","resolution":{"observed_at":"2026-08-03T17:47:02.459372Z","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-03T17:47:02.567821Z","title":"Some prime elements in the lattice of interpretability types.Trans","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.567821Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:04319b5a7cf77beb5904a2d9184b86d23a8f5288fcb82ae230a6ac8e50fc0844","observation_id":"4ca56813-3447-434c-bb30-f4c24d86238b","resolution":{"observed_at":"2026-08-03T17:47:02.567821Z","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-03T17:47:02.691433Z","title":"An inside view ofEXP; or, The closed fragment of the provability logic ofI∆ 0 + Ω1 with a propositional constant forEXP.J","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.691433Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:9d73386e54c7f27a8acb9a27af41df6ff5855de64b35d2676853568453ef1726","observation_id":"8dbf86a2-d210-4216-b4ca-1a0fd4b5b5c9","resolution":{"observed_at":"2026-08-03T17:47:02.691433Z","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-03T17:47:02.812156Z","title":"Categories of theories and interpretations","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.812156Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:3b8f22229e7c601dcd52cb132bc64218d8904565f4bc4132c13ec9f038135682","observation_id":"dbfbb380-d232-4bd3-98f3-52fa7cabc598","resolution":{"observed_at":"2026-08-03T17:47:02.812156Z","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-03T17:47:02.899129Z","title":"The small-is-very-small principle.MLQ Math","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.899129Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:af911892503f1bae2349e713f2f62c210528fc8289df854316adca34b1b41065","observation_id":"ce38f9ab-3b42-4920-be89-f965027ee9e7","resolution":{"observed_at":"2026-08-03T17:47:02.899129Z","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-03T17:47:02.993888Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-03T17:47:02.993888Z"},"links":{"citing_paper":"/paper/2512.09120"},"observation_digest":"sha256:ba019515743b67930be6541cfe0e70918492c4d4fd130d67f98510c08203de6c","observation_id":"83d69126-fb41-496f-a94d-d7249f174fe4","resolution":{"observed_at":"2026-08-03T17:47:02.993888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2512.09120","last_updated":"2026-06-24T20:19:52Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-03T17:46:57.867685Z","submitted_at":"2025-12-09T21:01:56Z","title":"Tightness and solidity in fragments of Peano Arithmetic"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":29,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":29},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2512.09120."}