{"as_of":"2026-08-08T03:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:36155b476c27f8e91c52ca3a25119f2c17d8358e862f9fc56a7d0e1ac515f57a","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:03:01.446581Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2506.01028/citation-record","integrity":"/paper/2506.01028/integrity","json":"/paper/2506.01028/citation-record.json","paper":"/paper/2506.01028"},"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-07T12:03:02.028834Z","title":"Quasi finitely axiomatizable totally categorical theories","venue":null,"work_id":"9d0a3c77-6a06-4e87-a566-bb28a2b9eac5","year":1986},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.273729Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:c0f69175be9dc870076dad5c3555d18d8eec45b6d8bc473ed7560f0a7b410840","observation_id":"1a1cb60b-ef15-4e4d-8812-561d5f2e9279","resolution":{"observed_at":"2026-08-07T12:03:02.033370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:02.014912Z","title":"String theory","venue":null,"work_id":"87675afd-0edf-4e1a-95c0-a45f8c89e460","year":1974},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.279085Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:6b5311ba8be030118347e7619ba8a01c8422917b0c379ac351c9030cac3ae77b","observation_id":"f828c11d-4471-4fce-9b50-faa4b8c55391","resolution":{"observed_at":"2026-08-07T12:03:02.019070Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:02.000929Z","title":"Collins and James D","venue":null,"work_id":"daed4c42-6736-445c-b5b8-8301042c552c","year":1970},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.284267Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:a6710759400929a65d6eccd1929e65d0755ace707e8b5b81f4e372b327bda128","observation_id":"9344ee57-0111-4fd5-8960-26fdd6a87cdc","resolution":{"observed_at":"2026-08-07T12:03:02.005431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.979776Z","title":"de Bouv \\` e re","venue":null,"work_id":"cd78a6b2-b7bf-4e72-b67f-b01cfc57a39b","year":1965},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.290241Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:5b3cc6eba83c3eb357b7eaf8ce039dda7644447e6870f2ed8be5f6e0add89d02","observation_id":"928cb345-a5d2-4d8a-af68-b7bcc272e1c9","resolution":{"observed_at":"2026-08-07T12:03:01.990744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.964933Z","title":"de Bouv \\` e re","venue":null,"work_id":"5dd6a628-8c15-4d7c-af35-ab19cd3228e5","year":1963},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.296338Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:8162d1a1396b50a70d78d339706b7543a8656d3a231037c16247a285920b677a","observation_id":"6ca41c0c-cee1-48b1-a14c-62f90297c659","resolution":{"observed_at":"2026-08-07T12:03:01.969470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.949652Z","title":"Categoricity-like properties in the first order realm","venue":null,"work_id":"4feea0c6-6c50-4c54-8f19-ca9045ccf80a","year":2024},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.301454Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:7de248cf288901a396085cbfc8a7da86031696ebd1be89c1d22f1d98707dc190","observation_id":"50f540f0-3e6b-4c54-b53b-086fc0531654","resolution":{"observed_at":"2026-08-07T12:03:01.954925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.929050Z","title":"-models of finite set theory","venue":null,"work_id":"caecff30-077b-428f-a160-1b3227d80ce7","year":2010},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.306984Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:2b078eea27131aa983444d1ff9cc34b3b1f7573648ffecf8426a031c9cd3f88a","observation_id":"4252a563-5f0e-4e5f-8ea8-f18ad717f868","resolution":{"observed_at":"2026-08-07T12:03:01.933837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.913068Z","title":"Model theory","venue":null,"work_id":"b90339d7-cf02-42b2-a47e-780a57468ed6","year":1993},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.311950Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:ab3682f4371da62fcb652a97e720ad8fb24d2e5ec981c6a2f3bb932ae7401882","observation_id":"86e15d1d-17f6-4489-8c26-6bf8bc4297ac","resolution":{"observed_at":"2026-08-07T12:03:01.918130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.898085Z","title":"Metamathematics of First-Order Arithmetic","venue":null,"work_id":"7db62056-304a-4dd8-9b2e-86f92223d5d1","year":1993},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.317623Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:10bd0da212fcb4772222671a1110d0d6ea91a6127ab6cd23d06255167027aff1","observation_id":"6cb3dab6-6407-462b-9d9d-56cba691c2b9","resolution":{"observed_at":"2026-08-07T12:03:01.902908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.881850Z","title":"Sequence encoding without induction","venue":null,"work_id":"e45ea965-040f-4c3e-bc28-a6e4999ba121","year":2012},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.322442Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:fd596aa4620e69bdcf9222345940d9489fead5bec18e24ed7db5de8cc0d92ed3","observation_id":"5fa7ccf8-a9cc-4ae9-b2b6-95139a6fe355","resolution":{"observed_at":"2026-08-07T12:03:01.886627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.866651Z","title":"Joosten and Albert Visser","venue":null,"work_id":"c1d39269-bf6c-4f7d-9e77-6b557e692a48","year":2000},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.331072Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:172bbd7901f542c5928ad8b1a492d5c5024fc1b85f4533a77a81cecacf68d5d7","observation_id":"b15761ba-0a50-4485-92cf-8f64d38fe5cc","resolution":{"observed_at":"2026-08-07T12:03:01.871481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.850636Z","title":"Models of P eano A rithmetic","venue":null,"work_id":"cc23c174-eba0-4841-b0e3-b81ff54384e0","year":1991},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.335809Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:0ff669450e8131d2cfd00c13be94c0f1e34f86ccddbb50aecaec8a28b8b74de2","observation_id":"a0e17146-b619-450e-91ea-94c5d46f4d9a","resolution":{"observed_at":"2026-08-07T12:03:01.855710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.834901Z","title":"On interpretations of arithmetic and set theory","venue":null,"work_id":"077eeb99-262f-409f-a957-66193085a4fa","year":2007},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.340850Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:29a1fe13452c6adbbbe8991e76363070aea78a4bf48b968f1dfa14513e0bd0bf","observation_id":"b08f1fcb-5af6-46a8-be4b-cb074b6f4b9a","resolution":{"observed_at":"2026-08-07T12:03:01.840191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.818751Z","title":"Set Theory with and without urelements and categories of interpretations","venue":null,"work_id":"4da6a5e2-dda6-46fa-a6d0-43ad24957906","year":2006},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.349773Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:daac112c8002b0dd4c02b5152b67c989542ee47e8c50be09ea580b46111ece0e","observation_id":"cc457665-5bff-40bc-9b44-dc0cefa86391","resolution":{"observed_at":"2026-08-07T12:03:01.823508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.803412Z","title":"A minimal predicative set theory","venue":null,"work_id":"5f184a49-96da-4fcf-9046-7cea00725e97","year":1994},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.354504Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:bf89131730affcdaaf3c6deb327818869272874c67b3cf7625e1ad25afb74018","observation_id":"32752635-4381-40f0-9a0c-5751f8afb3ed","resolution":{"observed_at":"2026-08-07T12:03:01.808433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.786814Z","title":null,"venue":null,"work_id":"24c78c87-eebf-405e-9d63-49290a649188","year":1990},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.359178Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:f5cc5785caeddd5a41169c5f8a78139c240eb30343576b91721aaa8e9fd51f40","observation_id":"677cb29f-8894-4451-8e50-26b4223e0a8f","resolution":{"observed_at":"2026-08-07T12:03:01.792045Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.770572Z","title":"Predicative arithmetic","venue":null,"work_id":"8427a275-db67-4571-84a5-1bd8e427c0ea","year":1986},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.363570Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:a210f44ec979eeaa784db0cdf36d7e079462859c21cbdca987b9f9ff31e85675","observation_id":"ebe23b6d-af47-4a58-bb88-f04cf93fc8f9","resolution":{"observed_at":"2026-08-07T12:03:01.775793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"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":"2209.00967","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.00967","snapshot_observed_at":"2026-08-07T12:03:01.487281Z","title":"How to escape Tennenbaum's theorem","venue":"math.LO","work_id":"8ff22540-194e-40f1-8a05-550a6f0887b8","year":2022},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.368248Z"},"links":{"cited_paper":"/paper/2209.00967","citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:a926b7b28459354e8ee091d79c1c52723d6cb66773fc6a79bef1d4c472e79d26","observation_id":"8b90d6ab-884c-4a4e-ab90-d69518d19bab","resolution":{"observed_at":"2026-08-07T12:03:01.494058Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.753640Z","title":"Some prime elements in the lattice of interpretability types","venue":null,"work_id":"11c0ee8f-8b81-4468-88f6-3f89d29ed65e","year":1983},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.373919Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:028bcf8a38efd27675357036aa870e8835e3f25819929cf327a1e4c1a43df622","observation_id":"4811a743-5bf9-433e-9c87-01eec49ae6c6","resolution":{"observed_at":"2026-08-07T12:03:01.758988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.735407Z","title":"Cuts, consistency statements and interpretations","venue":null,"work_id":"fb11893e-96af-4a31-80f8-dcc4b2d2944c","year":1985},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.378549Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:bb5aa39fd4a452d61fe7e58deabed1353c3df120366c81dba708f8855878b84a","observation_id":"7839a9bd-7b2b-4cbb-ac72-21ab5e3a6392","resolution":{"observed_at":"2026-08-07T12:03:01.741069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.720132Z","title":"Concatenation as a B asis for A rithmetic","venue":null,"work_id":"1e52345c-a710-4296-b5b8-11c8a242a27e","year":1946},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.383288Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:57d4637c08bff5b61041a5f079604bfd64561f796fc42e0b62bde2ff237aecf7","observation_id":"bac993dd-09c6-4626-8d19-90b1bc6a26d1","resolution":{"observed_at":"2026-08-07T12:03:01.724999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.705103Z","title":"Definability and Decision Problems in Arithmetic","venue":null,"work_id":"2483574d-62c4-43cb-8749-536018494b4a","year":1949},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.388183Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:ebc973b4727b75d7c0101a74bec2c1a37b361b7c78ae1e042b1336f14825380d","observation_id":"72bc7cf1-0a51-415f-a002-8f706ba85793","resolution":{"observed_at":"2026-08-07T12:03:01.710139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.689691Z","title":"Nonstandard models and related developments","venue":null,"work_id":"b08c3842-3f9a-4295-82d5-40c0b02c7929","year":1985},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.393369Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:3b2da57b997d9fd22a1413455fcfbed911e7e4d9517df9d58037aa06d898acda","observation_id":"54bc1718-0e2c-4f1c-b01e-c5cd6c5eba5b","resolution":{"observed_at":"2026-08-07T12:03:01.694578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.673052Z","title":"Mutual Interpretability of some essentially undecidable theories","venue":null,"work_id":"20bb3130-3f7c-4870-9bb0-7c088aab4ede","year":1950},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.398078Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:94ffbeadae068306ceff8b966765449ea7034e8b459139be5953c64fcb6f93ff","observation_id":"571de0a4-b7a0-4604-af62-ac23a76753a7","resolution":{"observed_at":"2026-08-07T12:03:01.678690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.656963Z","title":"Interpretability logic","venue":null,"work_id":"6c9b3a03-9bf0-4f2d-b87e-78547895aab7","year":1988},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.403594Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:c81da97057118f004298ba36dadae5395389834f28ac50297d42e20ef44c2d0a","observation_id":"f0cf7f42-9631-407d-b28e-4e56e67f791e","resolution":{"observed_at":"2026-08-07T12:03:01.661959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.640994Z","title":"An inside view of E X P","venue":null,"work_id":"0d40c1c6-3649-4f4d-afd1-cfa58fb7dca0","year":1992},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.409893Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:e8f2fb280b92bfbf52a54187f5899e97917c060bf15232b3c9c6199eac3d7919","observation_id":"f0db8787-4043-4906-a486-0465dd2b02a6","resolution":{"observed_at":"2026-08-07T12:03:01.645791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.619951Z","title":"The unprovability of small inconsistency","venue":null,"work_id":"2060846b-c4b5-448d-9acf-7e9d6f029feb","year":1993},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.414816Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:a6f1ddcce96196368d859d6bbc4122c1f69e3c9209c052b6b58a1687849b4cf8","observation_id":"391eefef-6fa5-4955-9442-219ae2c56dd6","resolution":{"observed_at":"2026-08-07T12:03:01.627378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.603845Z","title":"An Overview of Interpretability Logic","venue":null,"work_id":"4370e7f5-4e73-4edc-b9c4-a9a60afdaeaa","year":1998},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.419731Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:ef65ac3b242d45ba149f55b97218f40d0a701ef1dcb5d2117736717cccfbd130","observation_id":"194f8b0e-c658-42d9-af16-cc7dd31a7e4b","resolution":{"observed_at":"2026-08-07T12:03:01.608945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.582688Z","title":"Faith & F alsity: a study of faithful interpretations and false ^0_1 -sentences","venue":null,"work_id":"b9669718-3c27-4a18-8061-2d63f3727277","year":2005},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.426069Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:53beedcaeccb0b7e79d7466337d359d2a5a4c65b84f9853aff745dfb5878d6f0","observation_id":"b09a6264-46b5-4faa-9929-97a0ed5e6d8a","resolution":{"observed_at":"2026-08-07T12:03:01.590250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.562027Z","title":"Categories of T heories and I nterpretations","venue":null,"work_id":"4af14b16-5f88-4f26-90ca-42433de4652c","year":2003},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.431025Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:9ed567df0dd58f23c9adfe7dcafd0dc7d92fd5c6d8e85d296fa345fb441b144b","observation_id":"ee61754d-c784-4f0d-b1e1-eb28e2b5d07a","resolution":{"observed_at":"2026-08-07T12:03:01.567955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.545500Z","title":"Pairs, sets and sequences in first order theories","venue":null,"work_id":"b0dd144a-1576-4e97-b97e-7935d2ef1337","year":2008},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.436034Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:da76a6f5cc4e048c73e6fca3ca1fc4572560726f39ca24118c72d3769e63c1d4","observation_id":"2fe79155-6725-4023-8913-36cfbdd1b20f","resolution":{"observed_at":"2026-08-07T12:03:01.550764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.525260Z","title":"Cardinal arithmetic in the style of B aron von M \\\"u nch\\-hausen","venue":null,"work_id":"9354b326-dcc9-413c-b046-4c54738c650f","year":2009},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.441724Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:bc7abe499492da5bc0c094a549280db192854ebbecca449b1294035e2d2659c4","observation_id":"70d1929d-0df8-4a9c-9c58-2869061b9077","resolution":{"observed_at":"2026-08-07T12:03:01.531865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T12:03:01.506989Z","title":null,"venue":null,"work_id":"87f2050a-bc4d-4021-829f-67a58d923b60","year":2013},"citing_paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T12:03:01.446581Z"},"links":{"citing_paper":"/paper/2506.01028"},"observation_digest":"sha256:d924831c1b4a5e53405bf3422f8dd63f72195dee07a475460cdd965f0fb3e726","observation_id":"2b8667e6-babd-495c-8345-561ce65e6370","resolution":{"observed_at":"2026-08-07T12:03:01.512108Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.01028","last_updated":"2025-06-01T14:16:30Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-07T11:50:17.489619Z","submitted_at":"2025-06-01T14:16:30Z","title":"When Bi-interpretability implies Synonymy"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":30},"total_outbound_references":33},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2506.01028."}