{"as_of":"2026-08-07T19:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b369bbee005cd7a14927217973d48b40e3d837242b0ae1e70b9d36e4e633e255","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T13:03:35.467354Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"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/2507.21366/citation-record","integrity":"/paper/2507.21366/integrity","json":"/paper/2507.21366/citation-record.json","paper":"/paper/2507.21366"},"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-06T13:03:38.009962Z","title":"SOP 1, SOP2, and antichain tree property","venue":null,"work_id":"8538901f-05ba-4a57-af8a-15e80101e2bb","year":2024},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:33.501422Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:f8396f04e0d3b28d5199a4bfa5f0c9f6bb54ccfa6365fecaa08129c7a317b304","observation_id":"18747f83-58ee-436c-97f9-f9a91d7892dd","resolution":{"observed_at":"2026-08-06T13:03:38.089092Z","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-06T13:03:37.726796Z","title":"On the antichain tree property","venue":null,"work_id":"3169fdab-22c4-49c3-9061-3e41f2d5a323","year":2022},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:33.706933Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:edb9aadb3a4545be926c74561248e249319bb3086937cda48fed2e66776c3743","observation_id":"4552928a-1720-4947-8777-a1c5783e029e","resolution":{"observed_at":"2026-08-06T13:03:37.858408Z","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":"2409.19236","last_updated":"2025-07-06T13:13:37Z","snapshot_observed_at":"2026-07-06T19:23:46.678016Z","submitted_at":"2024-09-28T04:50:01Z","title":"A Walk on the Wild Side: Notions of maximality in first-order theories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.19236","snapshot_observed_at":"2026-08-06T13:03:33.900720Z","title":"A Walk on the Wild Side: Notions of maximality in first-order theories","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:33.900720Z"},"links":{"cited_paper":"/paper/2409.19236","citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:d50ecba199ee9b6b3ce046b04d50243ec93f0186ca96cb387bc99a4b554fea9e","observation_id":"fdbbecfb-54e0-46aa-a5f3-f4b34c9c5aee","resolution":{"observed_at":"2026-08-06T13:03:33.900720Z","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-06T13:03:37.323242Z","title":"Remarks on generic stability in independent theories","venue":null,"work_id":"0045b3d5-ff45-457b-b443-bf871c98959d","year":2020},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:34.148142Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:605025f6d2a53209fc0e8bb9c4947543e93c6f07efcf831d6e87b336654fcd95","observation_id":"b02b7aad-7f11-4aa4-a703-977b2605d518","resolution":{"observed_at":"2026-08-06T13:03:37.540545Z","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-06T13:03:36.946809Z","title":"Keisler measures in the wild","venue":null,"work_id":"481ed4ff-4b12-450d-9f05-0b0f6de3801e","year":2023},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:34.366937Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:3138fc867c6a8d736815e110326ce9ff4e8961ca4caaf53ad303a51d410408cf","observation_id":"4e8c9607-06d4-405f-9e56-ca2e8080d2b6","resolution":{"observed_at":"2026-08-06T13:03:37.144635Z","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-06T13:03:36.721662Z","title":null,"venue":null,"work_id":"203af874-1361-4cf6-87a4-4390f7054867","year":1981},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:34.530262Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:31d997ba67854bd74b300ed4260326c1949bb9bce02f6832e0b9c1221aa7c7d7","observation_id":"813dcaa9-197e-4540-bffb-4c9b4abef9ed","resolution":{"observed_at":"2026-08-06T13:03:36.803898Z","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":{"arxiv_id":"2306.08239","last_updated":"2025-07-28T21:48:35Z","snapshot_observed_at":"2026-07-06T15:42:22.027803Z","submitted_at":"2023-06-14T04:39:08Z","title":"Bi-invariant types, reliably invariant types, and the comb tree property","version":3},"cited_work":{"arxiv_id":"2306.08239","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.08239","snapshot_observed_at":"2026-08-06T13:03:35.974901Z","title":"Bi-invariant types, reliably invariant types, and the comb tree property","venue":"math.LO","work_id":"8301007d-fa52-431b-acc7-3118bd7845af","year":2023},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:34.742335Z"},"links":{"cited_paper":"/paper/2306.08239","citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:6ddf35eefc68020970ade0c20d11a3024bf3a3d720bf568a0dffab0bce6a9944","observation_id":"2c425946-9de0-4848-8e88-d709223fe679","resolution":{"observed_at":"2026-08-06T13:03:36.094386Z","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-06T13:03:36.474465Z","title":"Generic stability independence and treeless theories.Forum of Mathematics, Sigma, 12, 2024","venue":null,"work_id":"913f1550-2596-4c11-9e7d-a95f443f44fe","year":2024},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:34.933572Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:bc01ebbf30ff41f1e89c5104f55b1b2a996c5af617df65643d62c4e10358c687","observation_id":"470d2985-1c0f-47e9-a738-c5d0d92ab257","resolution":{"observed_at":"2026-08-06T13:03:36.604827Z","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":"2211.04213","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T13:03:35.746193Z","title":"Some Remarks on Kim-dividing in NATP Theories","venue":null,"work_id":"bb692426-3eb7-4b6e-a648-14cad37f0a65","year":2022},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:35.161296Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:038c9bcd0eb52a92946ac09c63b40e2359600d588d43fade8a78bf9502b85038","observation_id":"cafa587d-3539-4b84-8260-4968af0d0303","resolution":{"observed_at":"2026-08-06T13:03:35.840748Z","resolver_source":"raw_fallback","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-06T13:03:36.203564Z","title":"A New Kim’s Lemma","venue":null,"work_id":"e2c3f33d-efaa-4f56-9f1c-71652d2c8de6","year":2024},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:35.346567Z"},"links":{"citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:3b8aa225f808a4e634f570f923e8cf866ba3f649b15a0a43ef57a0604efc2eb7","observation_id":"8f39a828-5257-4f39-ace1-9fc1b949a171","resolution":{"observed_at":"2026-08-06T13:03:36.287834Z","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":"2206.08512","last_updated":"2023-06-14T15:50:15Z","snapshot_observed_at":"2026-07-06T13:21:49.288193Z","submitted_at":"2022-06-17T02:20:17Z","title":"On NSOP$_2$ Theories","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2206.08512","snapshot_observed_at":"2026-08-06T13:03:35.467354Z","title":"On NSOP 2 Theories","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T13:03:35.467354Z"},"links":{"cited_paper":"/paper/2206.08512","citing_paper":"/paper/2507.21366"},"observation_digest":"sha256:5f4724212f905025b2201d9b0af1be0295301116acff79b33caf41e4de160943","observation_id":"80789042-8358-4bfd-a3b4-2b8083586879","resolution":{"observed_at":"2026-08-06T13:03:35.467354Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.21366","last_updated":"2025-07-28T22:24:56Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-06T13:03:30.619384Z","submitted_at":"2025-07-28T22:24:56Z","title":"A combinatorial characterization of Kim's lemma for pairs of bi-invariant types"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":2,"verified_fuzzy":6},"total_outbound_references":11},"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 7 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2507.21366."}