Pith. sign in

Paper Citation Record · LEDGER

Affinization and quantifier-elimination

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

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

pith.paper-citation-record.v1
2509.07398 v1

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T22:46:33.972160Z

measured 10 of 10 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+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

10 of 10 outbound references displayed

  • verified exact1
  • verified fuzzy7
  • unresolved2
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f938f71b-157d-4dc5-9099-00df28d4d4a4 · outbound

This paper cites Alfsen, Compact convex sets and boundary integrals , Springer-Verlag (1971).

Affinization and quantifier-elimination Alfsen, Compact convex sets and boundary integrals , Springer-Verlag (1971)

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.265654Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.905084Z digest=sha256:4311d0214314fd550efc70913a228165fdb1c2b92e2e437e34ee0de7ee2a8313

Observation ee805b99-27f1-4de0-af93-fe092a5cdb5e · outbound

This paper cites Bagheri, Linear model theory for Lipschitz structures , Arch.

Affinization and quantifier-elimination Bagheri, Linear model theory for Lipschitz structures , Arch

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.237537Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.915884Z digest=sha256:ce62e475a697b6d9fe1fdcccf1c6beb27a19f0bf682df6db3b4399eaf71730d1

Observation 4f5fedd1-5ce9-4921-b3d1-c61186f44a92 · outbound

This paper cites Elements of affine model theory.

Affinization and quantifier-elimination Elements of affine model theory

Reference 3

Resolution
verified exact
local_arxiv, observed 2026-08-04T22:46:34.058255Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.922499Z digest=sha256:00bac52bedd4b1105422482565e0b1500d8a2a3148640b6efc14a5f12f86d489

Observation 18555e5f-b5d3-4dac-b6e2-8cce8e00d316 · outbound

This paper cites Bagheri, Extreme types and extremal models , Annals of Pure and Applied Logic 175 (7), 103451 (2024).

Affinization and quantifier-elimination Bagheri, Extreme types and extremal models , Annals of Pure and Applied Logic 175 (7), 103451 (2024)

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.206268Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.930350Z digest=sha256:2e9598990aa58eb2f797d7b8a36d4a49479c1673d86ae5a21fb387dfe10a4dd9

Observation 457f75b4-b4c5-4a9c-9511-76a1232acbc7 · outbound

This paper cites Ben-Yaacov, A.

Affinization and quantifier-elimination Ben-Yaacov, A

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.175815Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.937954Z digest=sha256:48851b13d825e2743c46d8dc75fecdb25b49bf9a909ee70d4f3000f089c6df73

Observation 16748659-893f-4327-b59d-5ab8e31ad863 · outbound

This paper cites Chang and H.J.

Affinization and quantifier-elimination Chang and H.J

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.152762Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.946907Z digest=sha256:4942126c5264c786e44f49522d85dcaadc95078a91b0d828b7ec2e0adf11f6ef

Observation 642612c0-7e8b-4e2f-839e-c4f7521381b6 · outbound

This paper cites Extremal models and direct integrals in affine logic.

Affinization and quantifier-elimination Extremal models and direct integrals in affine logic

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-04T22:46:33.954313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:46:33.954313Z digest=sha256:a2a70732ebd9473121a4f14a70b48617556c5f6a7ec1efc69b6055679d85908c

Observation f54a330b-af5a-470c-afb5-8bdda17e8a21 · outbound

This paper cites Jacobson, Basic algebra I , Second edition (1985).

Affinization and quantifier-elimination Jacobson, Basic algebra I , Second edition (1985)

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.128876Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.960672Z digest=sha256:39890bc2adac5f64a8636f9a8c8b7848976022f262ba3657c86cb87d4b8c15ea

Observation c453f287-574b-4af6-a44a-a7db8656d570 · outbound

This paper cites an unresolved cited work.

Affinization and quantifier-elimination Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:46:34.104621Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.966984Z digest=sha256:9bde7db49eb232d75a6916f0a0d145b7f850fb3f612060a1b6883a7cc7f31734

Observation 494af5b8-d57e-4459-9e11-f1f22efcaa00 · outbound

This paper cites Marker, Model theory, an introduction , Springer-Verlag (2002).

Affinization and quantifier-elimination Marker, Model theory, an introduction , Springer-Verlag (2002)

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:46:34.078216Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-04T22:46:33.972160Z digest=sha256:64a50debd68e23ce27eeca349e1e7dd5741a3b2dc697d5352ec801680c09c3f5

Pith citing papers

No inbound Pith citation observations are available.