{"as_of":"2026-08-08T04:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b1f66ccb011d3a86fbacb95075c166dc48efd0feb08c46963fd8c7e0c96ce84b","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T19:08:02.795252Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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/2509.09623/citation-record","integrity":"/paper/2509.09623/integrity","json":"/paper/2509.09623/citation-record.json","paper":"/paper/2509.09623"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T19:08:02.158583Z","title":"Countable ultraproducts without CH","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.158583Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:68e2767b6f1c8f6bbc4bf5f6eaf2a063fa60054c13ed143eaa368469ac9e353f","observation_id":"eaf67802-e9f7-47fa-bdc7-6a787d132c8c","resolution":{"observed_at":"2026-08-04T19:08:02.158583Z","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-04T19:08:02.189619Z","title":"Self-divisible ultrafilters and congruences in Z","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.189619Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:d793e540a83830dbbbb9e18bd3e936c4912220e98adb7d8b8ebe57b21e5a0757","observation_id":"a4b5f858-10a0-4286-a742-68aaffde97f3","resolution":{"observed_at":"2026-08-04T19:08:02.189619Z","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-04T19:08:02.329275Z","title":"Definably complete Baire structures","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.329275Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:6bee9d308a1c432ca77a36d4838f73bf7a541fb94c4c33ffaf25f23c43fb7e42","observation_id":"a6ce8272-533d-4afe-adb3-a04f7005dd00","resolution":{"observed_at":"2026-08-04T19:08:02.329275Z","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-04T19:08:02.465595Z","title":"An analogue of the Baire category theorem","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.465595Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:77998ebf4e2139c9cbfdce4f163bd72efc3cd884da3fe4514190ccc167dae255","observation_id":"320c32bd-0530-433e-b8ef-4a56514c950e","resolution":{"observed_at":"2026-08-04T19:08:02.465595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01129","last_updated":"2022-01-11T15:44:16Z","snapshot_observed_at":"2026-07-06T08:34:29.666653Z","submitted_at":"2019-11-04T11:03:02Z","title":"Definability patterns and their symmetries","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01129","snapshot_observed_at":"2026-08-04T19:08:02.552047Z","title":"Definability patterns and their symmetries","venue":null,"work_id":null,"year":1911},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.552047Z"},"links":{"cited_paper":"/paper/1911.01129","citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:1e4c42ff01d4e18cbd73df4a5600f3c3da855d0f0f194c36024f7bb09fcf41ab","observation_id":"4525ef10-71e5-4d72-be79-b48b337222fd","resolution":{"observed_at":"2026-08-04T19:08:02.552047Z","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-04T19:08:02.643787Z","title":"Algebra in the Stone- Cech Compactification : Theory and Applications","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.643787Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:3a57ed93f5ebdadfd5aeaec95d828c5e85fa3d78329e4635bd9f4291e2b5e569","observation_id":"683f0bc4-8abc-4fce-99bd-493c5c25c7f7","resolution":{"observed_at":"2026-08-04T19:08:02.643787Z","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-04T19:08:02.732804Z","title":"Nonstandard characterisations of tensor products and monads in the theory of ultrafilters","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.732804Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:34f6c14470f9f51b85dc9b50227990cfe634f88e067605303a156c1000cabcfc","observation_id":"97a0d184-91c9-4c34-be0f-b01549c2476c","resolution":{"observed_at":"2026-08-04T19:08:02.732804Z","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-04T19:08:02.779338Z","title":"Expansions of dense linear orders with the intermediate value property","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.779338Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:095790a729685b3310da800b76fdec051651555eb3e17dda603489e41073bed9","observation_id":"7b59ad8d-8bac-4f06-be4e-6830d6dfeedd","resolution":{"observed_at":"2026-08-04T19:08:02.779338Z","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-04T19:08:02.782269Z","title":"Poliakov and Denis I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.782269Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:f24698c45f4fb8a2053d724033d51c936335dc9b5463118b31320052ccfcc227","observation_id":"1dfcb147-d6f3-41e4-b0e0-a6f583a907cb","resolution":{"observed_at":"2026-08-04T19:08:02.782269Z","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-04T19:08:02.784858Z","title":"Non-isomorphic hyper-real fields from non-isomorphic ultrapowers","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.784858Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:3a1b10b8206b12c1f077044bdbcf8f366b5d9813026a2593dd99528a5101d241","observation_id":"e4fde3fc-2d97-4d0c-9a03-f4566b0a9fe2","resolution":{"observed_at":"2026-08-04T19:08:02.784858Z","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-04T19:08:02.787453Z","title":"Saveliev","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.787453Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:158aaa3c6c388cdd8180b6cfc0b4ebf2193c0138c112f6b7db5081ff5639476f","observation_id":"276286e6-f595-4d3d-9c05-4f26cebada11","resolution":{"observed_at":"2026-08-04T19:08:02.787453Z","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-04T19:08:02.789961Z","title":"Congruence of ultrafilters","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.789961Z"},"links":{"citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:8b865ac6988f6a9c8a33ace56087998177bfe74f5c0daf7620e6383939f37235","observation_id":"52263e41-1001-4d51-a869-6591ddaecbb9","resolution":{"observed_at":"2026-08-04T19:08:02.789961Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.00101","last_updated":"2024-08-31T15:40:18Z","snapshot_observed_at":"2026-07-06T15:36:11.529142Z","submitted_at":"2023-05-31T18:23:27Z","title":"$\\widetilde{\\mid}\\hspace{1mm}$-divisibility of ultrafilters II: The big picture","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.00101","snapshot_observed_at":"2026-08-04T19:08:02.792506Z","title":"a -divisibility of ultrafilters II : The big picture","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.792506Z"},"links":{"cited_paper":"/paper/2306.00101","citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:06da6ac93ef5295332eca2de9162704af91718c8fff22c422a456b0ee27f4008","observation_id":"3beec030-d090-44d1-a79f-e9b27054bc28","resolution":{"observed_at":"2026-08-04T19:08:02.792506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19753","last_updated":"2025-05-31T17:50:46Z","snapshot_observed_at":"2026-07-06T20:13:49.797517Z","submitted_at":"2024-12-27T17:22:04Z","title":"Divisibility classes of ultrafilters and their patterns","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19753","snapshot_observed_at":"2026-08-04T19:08:02.795252Z","title":"b Divisibility classes of ultrafilters and their patterns","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-04T19:08:02.795252Z"},"links":{"cited_paper":"/paper/2412.19753","citing_paper":"/paper/2509.09623"},"observation_digest":"sha256:25a57ab8ff2f85f14da4ab2247b4493b91330f4a6e9310f389c638aacf5934c0","observation_id":"114c0e9e-abc5-4e24-9b5c-79dcf69be59a","resolution":{"observed_at":"2026-08-04T19:08:02.795252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.09623","last_updated":"2025-11-25T09:46:57Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-04T19:07:55.033750Z","submitted_at":"2025-09-11T17:08:15Z","title":"Extending orders to types"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2509.09623."}