Pith. sign in

Paper Citation Record · LEDGER

Affinization and quantifier-elimination

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.

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-12T06:34:41.77262+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-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-04T22:46:33.905084Z digest=sha256:011255c90ebf53f9b407e89e40bf4b6981f1b6c98a4c1d0cd9d92bd5c12522e8

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-04T22:46:33.922499Z digest=sha256:6b70b6cda85e1076ca5167c4726fdf903f568729aa6acefcf650801fd0aa4742

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-04T22:46:33.946907Z digest=sha256:7af468e950a5aabc1ff673fad000879043a9606d98a104c9b25b33e398138b69

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=pdf_text observed=2026-08-04T22:46:33.966984Z digest=sha256:87e2579d10e25add7c82370b1ccf627ca208ab626be9cf64c8a9344a9ad8e872

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-12T06:34:41.77262+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.