Paper Citation Record · LEDGER

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types

As of 18 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2507.21366.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.21366 v1

Coverage vector

measured 11 of 11 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T13:03:35.467354Z

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

11 of 11 outbound references displayed

verified exact2
verified fuzzy6
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 18747f83-58ee-436c-97f9-f9a91d7892dd · outbound

This paper cites SOP 1, SOP2, and antichain tree property.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types SOP 1, SOP2, and antichain tree property

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:38.089092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4552928a-1720-4947-8777-a1c5783e029e · outbound

This paper cites On the antichain tree property.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types On the antichain tree property

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:37.858408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fdbbecfb-54e0-46aa-a5f3-f4b34c9c5aee · outbound

This paper cites A Walk on the Wild Side: Notions of maximality in first-order theories.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types A Walk on the Wild Side: Notions of maximality in first-order theories

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T13:03:33.900720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b02b7aad-7f11-4aa4-a703-977b2605d518 · outbound

This paper cites Remarks on generic stability in independent theories.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Remarks on generic stability in independent theories

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:37.540545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4e8c9607-06d4-405f-9e56-ca2e8080d2b6 · outbound

This paper cites Keisler measures in the wild.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Keisler measures in the wild

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:37.144635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 813dcaa9-197e-4540-bffb-4c9b4abef9ed · outbound

This paper cites an unresolved cited work.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T13:03:36.803898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2c425946-9de0-4848-8e88-d709223fe679 · outbound

This paper cites Bi-invariant types, reliably invariant types, and the comb tree property.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Bi-invariant types, reliably invariant types, and the comb tree property

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-06T13:03:36.094386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 470d2985-1c0f-47e9-a738-c5d0d92ab257 · outbound

This paper cites Generic stability independence and treeless theories.Forum of Mathematics, Sigma, 12, 2024.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Generic stability independence and treeless theories.Forum of Mathematics, Sigma, 12, 2024

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:36.604827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cafa587d-3539-4b84-8260-4968af0d0303 · outbound

This paper cites Some Remarks on Kim-dividing in NATP Theories.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types Some Remarks on Kim-dividing in NATP Theories

Reference 9

Resolution: verified exact; raw_fallback, observed 2026-08-06T13:03:35.840748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8f39a828-5257-4f39-ace1-9fc1b949a171 · outbound

This paper cites A New Kim’s Lemma.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types A New Kim’s Lemma

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T13:03:36.287834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 80789042-8358-4bfd-a3b4-2b8083586879 · outbound

This paper cites On NSOP$_2$ Theories.

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types On NSOP$_2$ Theories

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T13:03:35.467354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.