Paper Citation Record · LEDGER

Tightness and solidity in fragments of Peano Arithmetic

As of 8 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2512.09120.

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

pith.paper-citation-record.v1
2512.09120 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T17:47:02.993888Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

29 of 29 outbound references displayed

verified exact0
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation aabdb88a-ebfa-4f7f-b0e4-894241afe762 · outbound

This paper cites Quasi-finitely axiomatizable totally categorical theories.Ann.

Tightness and solidity in fragments of Peano Arithmetic Quasi-finitely axiomatizable totally categorical theories.Ann

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.016072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a553675-6fa7-4d04-87a1-bbf7b1293af8 · outbound

This paper cites Reflection principles and provability algebras in formal arithmetic.

Tightness and solidity in fragments of Peano Arithmetic Reflection principles and provability algebras in formal arithmetic

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.113022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0242f7b9-0495-4219-bdfb-bb4ea5eecbfc · outbound

This paper cites Discernible elements in models for Peano arithmetic.J.

Tightness and solidity in fragments of Peano Arithmetic Discernible elements in models for Peano arithmetic.J

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.233813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f92c71f-b8b0-4c32-b860-773323c17d63 · outbound

This paper cites Variations on a Visserian theme.

Tightness and solidity in fragments of Peano Arithmetic Variations on a Visserian theme

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.376395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0b01e04-862c-4098-9325-d121e279ec8e · outbound

This paper cites Completions of restricted complexity I, weak arithmetical theories.

Tightness and solidity in fragments of Peano Arithmetic Completions of restricted complexity I, weak arithmetical theories

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.457846Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd6d0ae3-7f87-4009-b375-6faf87cadd5f · outbound

This paper cites Categoricity-like properties in the first order realm.

Tightness and solidity in fragments of Peano Arithmetic Categoricity-like properties in the first order realm

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.574183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78e3df35-cd56-4ade-99d3-dcbc9f18d2ef · outbound

This paper cites Arithmetization of metamathematics in a general setting.Fund.

Tightness and solidity in fragments of Peano Arithmetic Arithmetization of metamathematics in a general setting.Fund

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.691990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6efc58d5-3c04-4c7f-895f-a0986fccf7e8 · outbound

This paper cites Bi-interpretation in weak set theories.

Tightness and solidity in fragments of Peano Arithmetic Bi-interpretation in weak set theories

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.832166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 267b2008-5897-4f8f-b083-5ebebce73780 · outbound

This paper cites Williams.

Tightness and solidity in fragments of Peano Arithmetic Williams

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:00.950426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 590c7156-be38-4cf5-91a4-b7818a1fa80a · outbound

This paper cites When bi-interpretability implies synonymy.

Tightness and solidity in fragments of Peano Arithmetic When bi-interpretability implies synonymy

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.068493Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 157d4723-b90f-46bc-9177-573c83ad9e61 · outbound

This paper cites Separationsbetweendefinitenesspropertiesforsequentialtheories[work- ing title].

Tightness and solidity in fragments of Peano Arithmetic Separationsbetweendefinitenesspropertiesforsequentialtheories[work- ing title]

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.184660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f51a09a-3c7f-4dd1-b379-c75573eabd33 · outbound

This paper cites Perspectives in Mathematical Logic.

Tightness and solidity in fragments of Peano Arithmetic Perspectives in Mathematical Logic

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.301517Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 207bd680-72ea-418a-8722-ae5054c12419 · outbound

This paper cites Cambridge University Press, Cambridge, 2011.

Tightness and solidity in fragments of Peano Arithmetic Cambridge University Press, Cambridge, 2011

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.420106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e7ce608-f211-4f69-a763-e2ea087d7eaa · outbound

This paper cites Cambridge University Press, Cambridge, 1993.

Tightness and solidity in fragments of Peano Arithmetic Cambridge University Press, Cambridge, 1993

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.527403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06ba23e6-96a2-4253-b9ef-aae7e9952bfb · outbound

This paper cites Sequence encoding without induction.Math.

Tightness and solidity in fragments of Peano Arithmetic Sequence encoding without induction.Math

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.617014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02c84268-f161-4e65-aeb3-3934df963c47 · outbound

This paper cites The Clarendon Press, Oxford University Press, New York, 1991.

Tightness and solidity in fragments of Peano Arithmetic The Clarendon Press, Oxford University Press, New York, 1991

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.693906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f21e3c6-c9e6-4fb0-a0d6-082989c7e5e9 · outbound

This paper cites The theory ofκ-like models of arithmetic.Notre Dame J.

Tightness and solidity in fragments of Peano Arithmetic The theory ofκ-like models of arithmetic.Notre Dame J

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.780406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4424d50-a49c-4f56-b534-11f43fde6832 · outbound

This paper cites Kossak and J.

Tightness and solidity in fragments of Peano Arithmetic Kossak and J

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.846161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e98dd98b-e62a-41d0-93fd-f928e09573e8 · outbound

This paper cites Flexible.

Tightness and solidity in fragments of Peano Arithmetic Flexible

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:01.931179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05382b51-c3f6-43e2-bf69-7b83abe0aa53 · outbound

This paper cites Universal properties of truth.J.

Tightness and solidity in fragments of Peano Arithmetic Universal properties of truth.J

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.020471Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fe0c13d-9ef9-42c6-abe8-5bcba9ba95ee · outbound

This paper cites Association for Symbolic Logic, Urbana, IL; A K Peters, Ltd., Natick, MA, second edition, 2003.

Tightness and solidity in fragments of Peano Arithmetic Association for Symbolic Logic, Urbana, IL; A K Peters, Ltd., Natick, MA, second edition, 2003

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.180621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f214b85-a4ea-44ad-9231-46ca7bcb4836 · outbound

This paper cites Relatively precomplete numerations and arithmetic.J.

Tightness and solidity in fragments of Peano Arithmetic Relatively precomplete numerations and arithmetic.J

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.267648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9d3df39-0edd-4efb-aa9e-0a3de8034f87 · outbound

This paper cites A generalization of the incompleteness theorem.Fund.

Tightness and solidity in fragments of Peano Arithmetic A generalization of the incompleteness theorem.Fund

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.390452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08c6e113-5f96-4b1a-8ce3-cbe1769773e8 · outbound

This paper cites How to escape Tennenbaum's theorem.

Tightness and solidity in fragments of Peano Arithmetic How to escape Tennenbaum's theorem

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.459372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ca56813-3447-434c-bb30-f4c24d86238b · outbound

This paper cites Some prime elements in the lattice of interpretability types.Trans.

Tightness and solidity in fragments of Peano Arithmetic Some prime elements in the lattice of interpretability types.Trans

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.567821Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dbf86a2-d210-4216-b4ca-1a0fd4b5b5c9 · outbound

This paper cites An inside view ofEXP; or, The closed fragment of the provability logic ofI∆ 0 + Ω1 with a propositional constant forEXP.J.

Tightness and solidity in fragments of Peano Arithmetic An inside view ofEXP; or, The closed fragment of the provability logic ofI∆ 0 + Ω1 with a propositional constant forEXP.J

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.691433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbfbb380-d232-4bd3-98f3-52fa7cabc598 · outbound

This paper cites Categories of theories and interpretations.

Tightness and solidity in fragments of Peano Arithmetic Categories of theories and interpretations

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.812156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce38f9ab-3b42-4920-be89-f965027ee9e7 · outbound

This paper cites The small-is-very-small principle.MLQ Math.

Tightness and solidity in fragments of Peano Arithmetic The small-is-very-small principle.MLQ Math

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.899129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83d69126-fb41-496f-a94d-d7249f174fe4 · outbound

This paper cites an unresolved cited work.

Tightness and solidity in fragments of Peano Arithmetic Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T17:47:02.993888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.