Paper Citation Record · LEDGER

A Foundation for Synthetic Stone Duality

As of 13 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 2 inbound Pith citation observations for arXiv:2412.03203.

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

pith.paper-citation-record.v1
2412.03203 v1

Coverage vector

measured 7 of 7 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T22:52:05.601431Z

measured 9 of 9 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-20T20:10:02.655663Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-20T20:13:43.892099Z

Reference resolution

7 of 7 outbound references displayed

verified exact2
verified fuzzy1
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d5c2131f-57d6-4415-bb34-370b1735e356 · outbound

This paper cites url: https://arxiv.org/abs/2411.06636 (cit.

A Foundation for Synthetic Stone Duality url: https://arxiv.org/abs/2411.06636 (cit

Reference 7

Resolution: verified exact; raw_fallback, observed 2026-08-11T22:52:05.816017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ad82bc7c-de19-4cdd-bb4d-736589a59e36 · outbound

This paper cites url: https://doi.org/10.1007/978-3-642-61667- 9 (cit.

A Foundation for Synthetic Stone Duality url: https://doi.org/10.1007/978-3-642-61667- 9 (cit

Reference 8

Resolution: verified exact; doi, observed 2026-08-11T22:52:05.644548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation dc4d054d-dd93-42a0-a66c-8cb55ded81f2 · outbound

This paper cites Brouwer’s ﬁxed-point theorem in real-co hesive homotopy type theory.

A Foundation for Synthetic Stone Duality Brouwer’s ﬁxed-point theorem in real-co hesive homotopy type theory

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T22:52:05.591328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8960c189-4c18-403a-8978-695f47cd7a2c · outbound

This paper cites Springer-Verlag, Berlin, 1985, pp.

A Foundation for Synthetic Stone Duality Springer-Verlag, Berlin, 1985, pp

Reference 279

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T22:52:05.969139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7c6807bb-f539-40b1-bb1d-7f9f4036c500 · outbound

This paper cites Synthetic Topology and Constructive Metric Spaces.

A Foundation for Synthetic Stone Duality Synthetic Topology and Constructive Metric Spaces

Reference 2021

Resolution: metadata mismatch; local_arxiv, observed 2026-08-11T22:52:05.937383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 93ebbfb0-7d2b-49a7-bdc8-63c8282638f2 · outbound

This paper cites A Foundation for Synthetic Algebraic Geometry.

A Foundation for Synthetic Stone Duality A Foundation for Synthetic Algebraic Geometry

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-11T22:52:05.579063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a101463-f775-49f0-9bed-dcb1dc458ee1 · outbound

This paper cites On internally projective sheaves of groups.

A Foundation for Synthetic Stone Duality On internally projective sheaves of groups

Reference 2024

Resolution: metadata mismatch; local_arxiv, observed 2026-08-11T22:52:05.837325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

Observation 53d13f71-626a-4dc8-b51c-ee558f5f6005 · inbound

Constructive higher sheaf models with applications to synthetic mathematics cites this paper.

Constructive higher sheaf models with applications to synthetic mathematics A Foundation for Synthetic Stone Duality

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-15T03:03:57.479303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0ce60153-35eb-4ff4-bd8e-b2467f7466bb · inbound

Constructive higher sheaf models with applications to synthetic mathematics cites this paper.

Constructive higher sheaf models with applications to synthetic mathematics A Foundation for Synthetic Stone Duality

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-20T20:13:43.894623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.