Paper Citation Record · LEDGER

Measuring the Complexity of Countable Presburger Models

As of 23 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2601.21118.

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

pith.paper-citation-record.v1
2601.21118 v3

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T07:17:25.299581Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

32 of 32 outbound references displayed

verified exact0
verified fuzzy0
unresolved32
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9c9941c6-f83d-418e-b13e-a2f5d0305bf8 · outbound

This paper cites Alvir, N.

Measuring the Complexity of Countable Presburger Models Alvir, N

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.233614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 960ef4b3-572f-47ba-8afe-0ca430054b31 · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.236676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 539c403b-ff5f-4d99-897a-c27f96ceb510 · outbound

This paper cites Ash and J.

Measuring the Complexity of Countable Presburger Models Ash and J

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.239045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65b6f9e3-a26d-4c42-8852-d5718ec20352 · outbound

This paper cites Ash and J.

Measuring the Complexity of Countable Presburger Models Ash and J

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.241574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ff9c426-06d9-4244-973d-71895bba2837 · outbound

This paper cites Cooper.Computability Theory.

Measuring the Complexity of Countable Presburger Models Cooper.Computability Theory

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.243899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff8a4e82-0677-44ed-97dd-1dd4617c6118 · outbound

This paper cites Downey and J.

Measuring the Complexity of Countable Presburger Models Downey and J

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.246202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87352ab3-25f0-4838-97bf-eb02365f4afe · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.248477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 801facd8-29ed-4a75-ac3e-3a352793cc6e · outbound

This paper cites Goncharov, S.

Measuring the Complexity of Countable Presburger Models Goncharov, S

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.250482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e61f72e-3488-4fd8-a8a2-63a881bf86b3 · outbound

This paper cites Scott Spectral Gaps are Bounded for Linear Orderings.

Measuring the Complexity of Countable Presburger Models Scott Spectral Gaps are Bounded for Linear Orderings

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.252395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76fb1a26-6e49-447f-85d4-c8fa8ca0bb29 · outbound

This paper cites Gonzalez, M.

Measuring the Complexity of Countable Presburger Models Gonzalez, M

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.255086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67fa638c-fde6-45f8-a4d8-dcf7710f1b0c · outbound

This paper cites Gonzalez, M.

Measuring the Complexity of Countable Presburger Models Gonzalez, M

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.257109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30a49522-480b-4de0-b9ac-506954a2152a · outbound

This paper cites Gonzalez and D.

Measuring the Complexity of Countable Presburger Models Gonzalez and D

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.259272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b8a477a-5773-4f73-ad86-b0c1604baba5 · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.261575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38e82a35-87ae-41b3-b7a0-ffa8b854cce0 · outbound

This paper cites Harison-Trainor.

Measuring the Complexity of Countable Presburger Models Harison-Trainor

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.263624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d266b8c-cc8c-4090-9d12-f8c803a8f009 · outbound

This paper cites Hirschfeldt, B.

Measuring the Complexity of Countable Presburger Models Hirschfeldt, B

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.265824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 096c44ea-66a5-4de9-9294-0126edfb21fc · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.267825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cac30f5c-f8dc-45ca-9ff5-bc2502a8d06b · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.269718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26bcc28d-31cf-4cdf-b14b-f646e30e7a29 · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.271649Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50dea309-673d-4249-9e76-50af575f3622 · outbound

This paper cites Lipshitz and M.E.

Measuring the Complexity of Countable Presburger Models Lipshitz and M.E

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.273742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a123313-0010-47ae-955b-b884732ac09e · outbound

This paper cites Llewellyn-Jones.Presburger Arithmetic and pseudo-recursive saturation.

Measuring the Complexity of Countable Presburger Models Llewellyn-Jones.Presburger Arithmetic and pseudo-recursive saturation

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.275684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3f4800f-e47f-470f-956f-b09451f23cf3 · outbound

This paper cites Marker.Model Theory: An Introduction.

Measuring the Complexity of Countable Presburger Models Marker.Model Theory: An Introduction

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.277624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81977b2a-94ce-448d-a2c4-d24283ef772b · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.279493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c751455a-5749-45f2-9540-a5c17ee03ff3 · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.281396Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d70db0bd-1f38-460f-819e-f0abea03fe11 · outbound

This paper cites Miller, B.

Measuring the Complexity of Countable Presburger Models Miller, B

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.283446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbda5d04-73fd-4cfa-96e7-a3e90ded4330 · outbound

This paper cites Montalbán.

Measuring the Complexity of Countable Presburger Models Montalbán

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.285622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1cd47cb-4d39-4f9f-ae55-309a8f20729e · outbound

This paper cites Montalbán.Computable Structure Theory: Within the Arithmetic.

Measuring the Complexity of Countable Presburger Models Montalbán.Computable Structure Theory: Within the Arithmetic

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.287722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97e5a0b6-eb00-42fb-9c8e-40507ea6149a · outbound

This paper cites Montalbán.Computable Structure Theory: Beyond the Arithmetic.Draft, 2022.

Measuring the Complexity of Countable Presburger Models Montalbán.Computable Structure Theory: Beyond the Arithmetic.Draft, 2022

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.289557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9dc6f96-fd82-445b-9f9a-d1c53ccc05c0 · outbound

This paper cites Montalbán and D.

Measuring the Complexity of Countable Presburger Models Montalbán and D

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.291437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa1f81c8-94ba-4c25-bc40-6411ef405d39 · outbound

This paper cites Presburger.

Measuring the Complexity of Countable Presburger Models Presburger

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.293554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8df407f-7956-42dd-badd-27cbe50592ac · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.295728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09d1cf9e-3af0-4e8c-8590-6441a3322dc1 · outbound

This paper cites an unresolved cited work.

Measuring the Complexity of Countable Presburger Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.297760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edd63211-8576-4feb-932e-4e1566c9c5fe · outbound

This paper cites Tennenbaum.

Measuring the Complexity of Countable Presburger Models Tennenbaum

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T07:17:25.299581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.