{"as_of":"2026-08-22T19:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0b61166b5b5b6335dcc2a0653e3f9d903f65072abb6aec49d21569b880695c96","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:39:21.128004Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.16433/citation-record","integrity":"/paper/2506.16433/integrity","json":"/paper/2506.16433/citation-record.json","paper":"/paper/2506.16433"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.699850Z","title":"Aczel, M","venue":null,"work_id":"1345763b-f8bf-4aa8-a4a3-f48aebe0e51b","year":2000},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.942134Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:8daaeb6d6d38b1aa62a3862931e86c5f8cc839db32ae3304dfd5dc457e433b56","observation_id":"8c48fa62-6537-4f6b-a278-b1d3c89e2315","resolution":{"observed_at":"2026-08-15T19:39:21.705826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.948645Z","title":"Bishop: Foundations of Constructive Analysis, McGraw-Hill, 1967","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.948645Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:e90741b910ea5f7cf8c5f6f8590c9923e9658e795c3d88f8ddb85353c18a9eec","observation_id":"d511eecb-b425-46db-9bd8-155c9336563a","resolution":{"observed_at":"2026-08-15T19:39:20.948645Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.956106Z","title":"Bishop, H","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.956106Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:3b7ac5d564a3ecac2e3f58e41e455e37cb664e6ffd63ee26667aad086afcf941","observation_id":"20dae270-d7f1-4d85-9c2b-d796a413b8da","resolution":{"observed_at":"2026-08-15T19:39:20.956106Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.962434Z","title":"Bishop, D","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.962434Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:27642c568c73fc0197b57b4e5fb0ba602dd5cdbb03b67eea10f1707913999d79","observation_id":"8dc53d03-3a5b-42cb-b94e-914194ae4220","resolution":{"observed_at":"2026-08-15T19:39:20.962434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.968763Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.968763Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:2444396e2926f97fc4cf7aa239119d08db81247132f51d7c8b37eb7145deddfe","observation_id":"39e5de07-2d0e-4951-bb8f-1cc83f08f26c","resolution":{"observed_at":"2026-08-15T19:39:20.968763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.617662Z","title":null,"venue":null,"work_id":"b76b99b4-803e-481a-8da1-7ab1893233f0","year":2006},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.974458Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:486debc959d0d8fa855f475f3564c1a4a295d72b95e59c43fb4afe009d390d15","observation_id":"4b099e97-513c-474c-9ff3-afd69bc56489","resolution":{"observed_at":"2026-08-15T19:39:21.623014Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.598881Z","title":"Coquand, H","venue":null,"work_id":"f8edf503-6e03-497e-a13f-dfaaf41a23a9","year":2023},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.980425Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:0462c067f8daaeda4674f12d5177cac65e164b5a7d43b6accaed2a96b6706209","observation_id":"8a636133-60bb-45cc-a625-00b28421498d","resolution":{"observed_at":"2026-08-15T19:39:21.604425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1804.05495","last_updated":"2020-04-04T22:55:21Z","snapshot_observed_at":"2026-08-14T19:25:45.126514Z","submitted_at":"2018-04-16T03:46:56Z","title":"Constructive Reverse Mathematics","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.05495","snapshot_observed_at":"2026-08-15T19:39:20.985350Z","title":"Diener: Constructive Reverse Mathematics, arXiv:1804.05495, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.985350Z"},"links":{"cited_paper":"/paper/1804.05495","citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:72a29ed4b07ce57c0f0b07636ad8bd81dff84ccbe8d38c494c52d678ab3081b0","observation_id":"b8571812-a5cd-4c18-a059-aad83b0d0411","resolution":{"observed_at":"2026-08-15T19:39:20.985350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.991224Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.991224Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:f4ae7cd3d6bfd803ea176bc19249e9cbb928eddc962bd34b203b7993fd5ef5ba","observation_id":"7c56af68-e9cd-480a-8016-76685807fc40","resolution":{"observed_at":"2026-08-15T19:39:20.991224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:20.996204Z","title":"Mines, F","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:20.996204Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:6a77f205b5d28e0ddf898de8b7449bbb7c57bbeeff7cd6167c17f00557838af5","observation_id":"3dde79fa-0d55-47e2-b44c-ed440287af0b","resolution":{"observed_at":"2026-08-15T19:39:20.996204Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.001658Z","title":"Misselbeck-Wessel, I","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.001658Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:8d45a29f203e33aa8dd3f3590cd141493e9a6506ef49fd8fef9f6477d078622f","observation_id":"025895a9-e17e-4a1e-a337-999d872a762a","resolution":{"observed_at":"2026-08-15T19:39:21.001658Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.007289Z","title":"Misselbeck-Wessel, I","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.007289Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:f3e618fdc2a63dcedcf33fa3ce5219eb7b13a5604624c0352a4ff92b2adb39c6","observation_id":"e1dcfd8b-d72c-43f1-8e6f-008ae0a2b501","resolution":{"observed_at":"2026-08-15T19:39:21.007289Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.013674Z","title":"Myhill: Constructive Set Theory, J","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.013674Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:8e9605c1344b0455c633199602e3d089dd2418210bbca964ef360b3e50aeb37a","observation_id":"b41c5166-07be-44e9-8637-3e26ab2fd834","resolution":{"observed_at":"2026-08-15T19:39:21.013674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.022646Z","title":"Palmgren: Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets, Annals of Pure and Applied Logic 163, 2012, 1384–1399","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.022646Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:40d9f3cc4749322aaf87e1095dd0ca94f59d944ebc1eec8715ae20304e8dfdb7","observation_id":"68ef2fa0-2893-41d8-9e59-045e743a0d0f","resolution":{"observed_at":"2026-08-15T19:39:21.022646Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.027728Z","title":"Palmgren: Bishop-style constructive mathematics in type theory - A tutorial, Slides, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.027728Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:43cb109c3d2af3f1ae881e0dbf1944de041c78dd1714b373164f2b3299e1a6ef","observation_id":"43659624-2757-4b9e-8da7-ef2e734e8efa","resolution":{"observed_at":"2026-08-15T19:39:21.027728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.033639Z","title":"Palmgren: Lecture Notes on Type Theory, manuscript, 2014","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.033639Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:6113e9c5815cc7d5fc269657dd220ab32a59f58a61baaf66a3e18c5e9437d906","observation_id":"a5398961-a5d9-41fb-9ba8-21ccbd4836f8","resolution":{"observed_at":"2026-08-15T19:39:21.033639Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.044143Z","title":"Palmgren, O","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.044143Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:0ea0cfece74a6b29c439deef781ca3b55cdfa79f596e1b2118c5b92e175b37ef","observation_id":"5bfd7a4b-fe8c-42ee-8fd5-eece4807ac2c","resolution":{"observed_at":"2026-08-15T19:39:21.044143Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.050578Z","title":"Palmgren: Constructions of categories of setoids from proof-irrelevant families, Archive for Mathematical Logic 56, 2017, 51–66","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.050578Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:736f1caa660d14fdbfb7bc3d14f1e251a1bd992b17c084789a03e56baf068665","observation_id":"276cf432-4d84-42f4-8d9f-ae0fc49b500c","resolution":{"observed_at":"2026-08-15T19:39:21.050578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.435231Z","title":"Palmgren: From type theory to setoids and back, preprint, 2019","venue":null,"work_id":"2606c5b3-e1f0-4feb-89cb-a4a075489d92","year":2019},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.056075Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:b26224e8c16bdac3801488a21636be19fe989bbe4bd5a35e02dedd555b8173e1","observation_id":"06a61d91-df92-4f2b-9580-f9ae44138fb0","resolution":{"observed_at":"2026-08-15T19:39:21.443305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.062844Z","title":"Petrakis: Families of Sets in Bishop Set Theory, Habilitationsschrift, LMU, Munich, 2020, available athttps://www.mathematik.uni-muenchen.de/~petrakis/content/Theses.php","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.062844Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:695d0384559840395b728ab9bfa76edc97de8efb26371add6dfa5187464c87bd","observation_id":"d6053c45-ee9b-4286-b90d-5f54c59c9b57","resolution":{"observed_at":"2026-08-15T19:39:21.062844Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.11298","last_updated":"2022-04-24T15:09:18Z","snapshot_observed_at":"2026-08-16T17:04:58.039862Z","submitted_at":"2022-04-24T15:09:18Z","title":"Constructive Combinatorics of Dickson's Lemma","version":1},"cited_work":{"arxiv_id":"2204.11298","doi":null,"metadata_source":"pith","pith_arxiv_id":"2204.11298","snapshot_observed_at":"2026-08-15T19:39:21.262272Z","title":"Constructive Combinatorics of Dickson's Lemma","venue":"math.CO","work_id":"f01094e7-1693-4cfc-aa10-41eb83b0618d","year":2022},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.067707Z"},"links":{"cited_paper":"/paper/2204.11298","citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:1f252b771040e7b8f573da83ba2ec9e79f397cc1e30908aabf2086910bfbdf8e","observation_id":"669adbf3-7b4b-477c-aa90-99fb31201b9b","resolution":{"observed_at":"2026-08-15T19:39:21.268698Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.073231Z","title":"Petrakis: Proof-relevance in Bishop-style constructive mathematics, Mathematical Structures in Computer Science, Volume 32, Issue 1, 2022, 1–43","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.073231Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:c29a5ec522ac7cad73946dd50bc49f181f39fa66dfe1f3b4e6f4353731158b4a","observation_id":"09058b46-ac97-44ee-92a6-b7c14bfd993f","resolution":{"observed_at":"2026-08-15T19:39:21.073231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.14754","last_updated":"2023-03-26T15:18:02Z","snapshot_observed_at":"2026-08-17T16:37:24.214425Z","submitted_at":"2023-03-26T15:18:02Z","title":"Categories with dependent arrows","version":1},"cited_work":{"arxiv_id":"2303.14754","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.14754","snapshot_observed_at":"2026-08-15T19:39:21.227071Z","title":"Categories with dependent arrows","venue":"math.CT","work_id":"edcadff1-b54d-485f-bde3-f8d1cad205dd","year":2023},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.079352Z"},"links":{"cited_paper":"/paper/2303.14754","citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:ed81dfc7d92f823db3b3620a5f542692b5bd1a87387deb5206220a117e787c0e","observation_id":"f4eec0c0-55cf-449b-9c6d-efbbc4d89451","resolution":{"observed_at":"2026-08-15T19:39:21.234994Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.086503Z","title":"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","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.086503Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:03dc16a2e48ba7fbc70e6d39938610f6f9ccc317ea848601dc7c787370b6aaaa","observation_id":"a386a7b2-b25c-4f8e-a63c-9f93ca52b329","resolution":{"observed_at":"2026-08-15T19:39:21.086503Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.092220Z","title":"Petrakis, D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.092220Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:859e10b2cc8c037561e6b55f1d832ec2e84264b19660a88d23a456815c36525b","observation_id":"4a0f6617-332f-4eee-8f99-8002a4ecada6","resolution":{"observed_at":"2026-08-15T19:39:21.092220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.383539Z","title":null,"venue":null,"work_id":"3a4abf13-4896-478e-abf5-a3464b312330","year":2000},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.097870Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:810fce7656ca6697cd2f1e60c4927b31959a0116099440c603cdefecd38cd4af","observation_id":"312bf1bd-3f62-478f-a5a4-f0e2a0ce5b6b","resolution":{"observed_at":"2026-08-15T19:39:21.391047Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.356958Z","title":"Richman, G","venue":null,"work_id":"9eee5971-eec2-428b-8a96-4863c3d22415","year":1993},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.102941Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:c2bbcbb2a8a3b8e681f5fe6b9ed70d3c6b78be58789d867ecbeafde56ed7ceb9","observation_id":"81e94a3a-aa2c-46ba-9378-e8eb0ba1f550","resolution":{"observed_at":"2026-08-15T19:39:21.363540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.108949Z","title":"Shulman: Affine logic for constructive mathematics, The Bulletin of Symbolic Logic, Volume 28, Number 3, 2022, 327–386","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.108949Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:40023ae866eb987a7f6f5df20e40fb7a712496d8c828d42ddb2adb709022bf2d","observation_id":"271c0822-e9e7-4c4a-bf00-6d47aedde029","resolution":{"observed_at":"2026-08-15T19:39:21.108949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.114925Z","title":null,"venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.114925Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:1be99a7fb264f5049add5692f6effc693beb9293fac94f69fa15cdf64957aa7f","observation_id":"5078cf3f-58ea-46e0-9125-da60a9726e0f","resolution":{"observed_at":"2026-08-15T19:39:21.114925Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:39:21.309481Z","title":null,"venue":null,"work_id":"a0efc2e6-ff6f-41ef-9abe-43cf505ebabd","year":2013},"citing_paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:39:21.128004Z"},"links":{"citing_paper":"/paper/2506.16433"},"observation_digest":"sha256:baea39b0029ec0d80b3b9d1fc28e70c1f8ef77dc8013ebb7137180920815ca36","observation_id":"f62b50b1-604b-4601-851f-ae83e6a55d93","resolution":{"observed_at":"2026-08-15T19:39:21.314886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.16433","last_updated":"2025-07-01T16:26:19Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-19T05:35:16.189062Z","submitted_at":"2025-06-19T16:12:08Z","title":"Coinductive well-foundedness"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":2,"verified_fuzzy":4},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"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."}