Paper Citation Record · LEDGER

Coinductive well-foundedness

As of 22 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2506.16433.

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

pith.paper-citation-record.v1
2506.16433 v2

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:39:21.128004Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

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

30 of 30 outbound references displayed

verified exact2
verified fuzzy4
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8c48fa62-6537-4f6b-a278-b1d3c89e2315 · outbound

This paper cites Aczel, M.

Coinductive well-foundedness Aczel, M

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:39:21.705826Z

Source-reported events for the cited work

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

Observation d511eecb-b425-46db-9bd8-155c9336563a · outbound

This paper cites Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967.

Coinductive well-foundedness Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.948645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20dae270-d7f1-4d85-9c2b-d796a413b8da · outbound

This paper cites Bishop, H.

Coinductive well-foundedness Bishop, H

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.956106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dc53d03-3a5b-42cb-b94e-914194ae4220 · outbound

This paper cites Bishop, D.

Coinductive well-foundedness Bishop, D

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.962434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39e5de07-2d0e-4951-bb8f-1cc83f08f26c · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.968763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b099e97-513c-474c-9ff3-afd69bc56489 · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:39:21.623014Z

Source-reported events for the cited work

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

Observation 8a636133-60bb-45cc-a625-00b28421498d · outbound

This paper cites Coquand, H.

Coinductive well-foundedness Coquand, H

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:39:21.604425Z

Source-reported events for the cited work

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

Observation b8571812-a5cd-4c18-a059-aad83b0d0411 · outbound

This paper cites Constructive Reverse Mathematics.

Coinductive well-foundedness Constructive Reverse Mathematics

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.985350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c56af68-e9cd-480a-8016-76685807fc40 · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.991224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dde79fa-0d55-47e2-b44c-ed440287af0b · outbound

This paper cites Mines, F.

Coinductive well-foundedness Mines, F

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:20.996204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 025895a9-e17e-4a1e-a337-999d872a762a · outbound

This paper cites Misselbeck-Wessel, I.

Coinductive well-foundedness Misselbeck-Wessel, I

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.001658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1dcfd8b-d72c-43f1-8e6f-008ae0a2b501 · outbound

This paper cites Misselbeck-Wessel, I.

Coinductive well-foundedness Misselbeck-Wessel, I

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.007289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b41c5166-07be-44e9-8637-3e26ab2fd834 · outbound

This paper cites Myhill: Constructive Set Theory, J.

Coinductive well-foundedness Myhill: Constructive Set Theory, J

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.013674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68ef2fa0-2893-41d8-9e59-045e743a0d0f · outbound

This paper cites Palmgren: Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets, Annals of Pure and Applied Logic 163, 2012, 1384–1399.

Coinductive well-foundedness Palmgren: Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets, Annals of Pure and Applied Logic 163, 2012, 1384–1399

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.022646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43659624-2757-4b9e-8da7-ef2e734e8efa · outbound

This paper cites Palmgren: Bishop-style constructive mathematics in type theory - A tutorial, Slides, 2013.

Coinductive well-foundedness Palmgren: Bishop-style constructive mathematics in type theory - A tutorial, Slides, 2013

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.027728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5398961-a5d9-41fb-9ba8-21ccbd4836f8 · outbound

This paper cites Palmgren: Lecture Notes on Type Theory, manuscript, 2014.

Coinductive well-foundedness Palmgren: Lecture Notes on Type Theory, manuscript, 2014

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.033639Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bfd7a4b-fe8c-42ee-8fd5-eece4807ac2c · outbound

This paper cites Palmgren, O.

Coinductive well-foundedness Palmgren, O

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.044143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 276cf432-4d84-42f4-8d9f-ae0fc49b500c · outbound

This paper cites Palmgren: Constructions of categories of setoids from proof-irrelevant families, Archive for Mathematical Logic 56, 2017, 51–66.

Coinductive well-foundedness Palmgren: Constructions of categories of setoids from proof-irrelevant families, Archive for Mathematical Logic 56, 2017, 51–66

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.050578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06a61d91-df92-4f2b-9580-f9ae44138fb0 · outbound

This paper cites Palmgren: From type theory to setoids and back, preprint, 2019.

Coinductive well-foundedness Palmgren: From type theory to setoids and back, preprint, 2019

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:39:21.443305Z

Source-reported events for the cited work

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

Observation d6053c45-ee9b-4286-b90d-5f54c59c9b57 · outbound

This paper cites Petrakis: Families of Sets in Bishop Set Theory, Habilitationsschrift, LMU, Munich, 2020, available athttps://www.mathematik.uni-muenchen.de/~petrakis/content/Theses.php.

Coinductive well-foundedness Petrakis: Families of Sets in Bishop Set Theory, Habilitationsschrift, LMU, Munich, 2020, available athttps://www.mathematik.uni-muenchen.de/~petrakis/content/Theses.php

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.062844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 669adbf3-7b4b-477c-aa90-99fb31201b9b · outbound

This paper cites Constructive Combinatorics of Dickson's Lemma.

Coinductive well-foundedness Constructive Combinatorics of Dickson's Lemma

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-15T19:39:21.268698Z

Source-reported events for the cited work

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

Observation 09058b46-ac97-44ee-92a6-b7c14bfd993f · outbound

This paper cites Petrakis: Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1–43.

Coinductive well-foundedness Petrakis: Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1–43

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.073231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4eec0c0-55cf-449b-9c6d-efbbc4d89451 · outbound

This paper cites Categories with dependent arrows.

Coinductive well-foundedness Categories with dependent arrows

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-15T19:39:21.234994Z

Source-reported events for the cited work

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

Observation a386a7b2-b25c-4f8e-a63c-9f93ca52b329 · outbound

This paper cites Petrakis: Sets Completely Separated by Functions in Bishop Set Theory, Notre Dame Journal of Formal Logic, 65(2): 151-180 (May 2024) DOI: 10.1215/00294527-2024-0010.

Coinductive well-foundedness Petrakis: Sets Completely Separated by Functions in Bishop Set Theory, Notre Dame Journal of Formal Logic, 65(2): 151-180 (May 2024) DOI: 10.1215/00294527-2024-0010

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.086503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0f6617-332f-4eee-8f99-8002a4ecada6 · outbound

This paper cites Petrakis, D.

Coinductive well-foundedness Petrakis, D

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.092220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 312bf1bd-3f62-478f-a5a4-f0e2a0ce5b6b · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:39:21.391047Z

Source-reported events for the cited work

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

Observation 81e94a3a-aa2c-46ba-9378-e8eb0ba1f550 · outbound

This paper cites Richman, G.

Coinductive well-foundedness Richman, G

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:39:21.363540Z

Source-reported events for the cited work

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

Observation 271c0822-e9e7-4c4a-bf00-6d47aedde029 · outbound

This paper cites Shulman: Affine logic for constructive mathematics, The Bulletin of Symbolic Logic, Volume 28, Number 3, 2022, 327–386.

Coinductive well-foundedness Shulman: Affine logic for constructive mathematics, The Bulletin of Symbolic Logic, Volume 28, Number 3, 2022, 327–386

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.108949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5078cf3f-58ea-46e0-9125-da60a9726e0f · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-15T19:39:21.114925Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f62b50b1-604b-4601-851f-ae83e6a55d93 · outbound

This paper cites an unresolved cited work.

Coinductive well-foundedness Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:39:21.314886Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.