{"as_of":"2026-08-12T03:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:de1056bb3eb31cd6b7ee02b5c051f7c3f921a6287f6a6e711c63495becf48dee","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T22:46:33.972160Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2509.07398/citation-record","integrity":"/paper/2509.07398/integrity","json":"/paper/2509.07398/citation-record.json","paper":"/paper/2509.07398"},"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-04T22:46:34.258303Z","title":"Alfsen, Compact convex sets and boundary integrals , Springer-Verlag (1971)","venue":null,"work_id":"16654a43-18e9-4528-b2d9-d308023665f7","year":1971},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.905084Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:4311d0214314fd550efc70913a228165fdb1c2b92e2e437e34ee0de7ee2a8313","observation_id":"f938f71b-157d-4dc5-9099-00df28d4d4a4","resolution":{"observed_at":"2026-08-04T22:46:34.265654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.229292Z","title":"Bagheri, Linear model theory for Lipschitz structures , Arch","venue":null,"work_id":"f39040af-8637-4861-992b-76111c15f5c7","year":2014},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.915884Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:ce62e475a697b6d9fe1fdcccf1c6beb27a19f0bf682df6db3b4399eaf71730d1","observation_id":"ee805b99-27f1-4de0-af93-fe092a5cdb5e","resolution":{"observed_at":"2026-08-04T22:46:34.237537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03555","last_updated":"2024-08-22T13:00:49Z","snapshot_observed_at":"2026-08-07T05:14:52.656738Z","submitted_at":"2024-08-07T05:34:25Z","title":"Elements of affine model theory","version":2},"cited_work":{"arxiv_id":"2408.03555","doi":null,"metadata_source":"pith","pith_arxiv_id":"2408.03555","snapshot_observed_at":"2026-08-04T22:46:34.050665Z","title":"Elements of affine model theory","venue":"math.LO","work_id":"09a404be-c456-49c6-aa32-e6862f67b804","year":2024},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.922499Z"},"links":{"cited_paper":"/paper/2408.03555","citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:00bac52bedd4b1105422482565e0b1500d8a2a3148640b6efc14a5f12f86d489","observation_id":"4f5fedd1-5ce9-4921-b3d1-c61186f44a92","resolution":{"observed_at":"2026-08-04T22:46:34.058255Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.199369Z","title":"Bagheri, Extreme types and extremal models , Annals of Pure and Applied Logic 175 (7), 103451 (2024)","venue":null,"work_id":"fd50f6dc-de75-40ad-81d6-f8a882b1e7b9","year":2024},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.930350Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:2e9598990aa58eb2f797d7b8a36d4a49479c1673d86ae5a21fb387dfe10a4dd9","observation_id":"18555e5f-b5d3-4dac-b6e2-8cce8e00d316","resolution":{"observed_at":"2026-08-04T22:46:34.206268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.167863Z","title":"Ben-Yaacov, A","venue":null,"work_id":"d8dc3b7f-f10d-4f43-b6a9-6a37ba7e43b5","year":2008},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.937954Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:48851b13d825e2743c46d8dc75fecdb25b49bf9a909ee70d4f3000f089c6df73","observation_id":"457f75b4-b4c5-4a9c-9511-76a1232acbc7","resolution":{"observed_at":"2026-08-04T22:46:34.175815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.144909Z","title":"Chang and H.J","venue":null,"work_id":"05338951-f2b8-4a82-bea6-232a518213d7","year":1966},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.946907Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:4942126c5264c786e44f49522d85dcaadc95078a91b0d828b7ec2e0adf11f6ef","observation_id":"16748659-893f-4327-b59d-5ab8e31ad863","resolution":{"observed_at":"2026-08-04T22:46:34.152762Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.13344","last_updated":"2024-12-02T16:06:00Z","snapshot_observed_at":"2026-08-11T16:31:12.834166Z","submitted_at":"2024-07-18T09:41:40Z","title":"Extremal models and direct integrals in affine logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.13344","snapshot_observed_at":"2026-08-04T22:46:33.954313Z","title":"Ben-Yaacov, T","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.954313Z"},"links":{"cited_paper":"/paper/2407.13344","citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:a2a70732ebd9473121a4f14a70b48617556c5f6a7ec1efc69b6055679d85908c","observation_id":"642612c0-7e8b-4e2f-839e-c4f7521381b6","resolution":{"observed_at":"2026-08-04T22:46:33.954313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T22:46:34.118772Z","title":"Jacobson, Basic algebra I , Second edition (1985)","venue":null,"work_id":"51b960de-f8b3-41de-82c3-515185f63246","year":1985},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.960672Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:39890bc2adac5f64a8636f9a8c8b7848976022f262ba3657c86cb87d4b8c15ea","observation_id":"f54a330b-af5a-470c-afb5-8bdda17e8a21","resolution":{"observed_at":"2026-08-04T22:46:34.128876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.093233Z","title":null,"venue":null,"work_id":"7725ad6d-dd58-4a7f-86c1-453f3d9f2303","year":1972},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.966984Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:9bde7db49eb232d75a6916f0a0d145b7f850fb3f612060a1b6883a7cc7f31734","observation_id":"c453f287-574b-4af6-a44a-a7db8656d570","resolution":{"observed_at":"2026-08-04T22:46:34.104621Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-04T22:46:34.071995Z","title":"Marker, Model theory, an introduction , Springer-Verlag (2002)","venue":null,"work_id":"8ff1f8ab-cb88-4cbe-9a05-19bcc2a14e3b","year":2002},"citing_paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T22:46:33.972160Z"},"links":{"citing_paper":"/paper/2509.07398"},"observation_digest":"sha256:64a50debd68e23ce27eeca349e1e7dd5741a3b2dc697d5352ec801680c09c3f5","observation_id":"494af5b8-d57e-4459-9e11-f1f22efcaa00","resolution":{"observed_at":"2026-08-04T22:46:34.078216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.07398","last_updated":"2025-09-09T05:25:41Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-06T16:56:43.530274Z","submitted_at":"2025-09-09T05:25:41Z","title":"Affinization and quantifier-elimination"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":7},"total_outbound_references":10},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2509.07398."}