{"as_of":"2026-08-13T00:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cabc581798dcbcf4c2c9ea3e72285ead797054efae56badee8eccf7e477e14cc","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T10:27:47.314483Z","state":"measured"},{"denominator":45,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":45,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.19239/citation-record","integrity":"/paper/2411.19239/integrity","json":"/paper/2411.19239/citation-record.json","paper":"/paper/2411.19239"},"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-12T10:27:47.691488Z","title":"Aczel and M","venue":null,"work_id":"70f3a3fc-24fb-4f25-a514-c79baa6cb185","year":2001},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.185007Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:b80d773b5fe0b354268e88d47236580268b34dfff2e9dc63c314893045ca49e1","observation_id":"f9427403-5081-4244-b74f-20664b73d4a8","resolution":{"observed_at":"2026-08-12T10:27:47.694502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.682435Z","title":"Natural models of homotopy type theory","venue":null,"work_id":"8eaef643-d4e8-4a2c-ae53-3aeb925f55dd","year":2018},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.188906Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:5a2701bdc84b21def4b8a4d3de2a0a872a97618354dceb23fc7b9ef316246e51","observation_id":"79c44928-e888-47ae-b4dc-b756c11738d0","resolution":{"observed_at":"2026-08-12T10:27:47.686236Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.673962Z","title":"van den B erg and I","venue":null,"work_id":"3fa91521-ccd4-4c6e-aa47-3b1e07351455","year":2008},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.191823Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:ba13462f5714232333e511432c613d6fe30c3eacc8844a9c3506ac6e57154c8a","observation_id":"a83858ff-9316-49b3-9168-8cd20b53a8e6","resolution":{"observed_at":"2026-08-12T10:27:47.677045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.665826Z","title":"van den Berg and I","venue":null,"work_id":"a02fdfbf-5bc0-4542-bcf1-db59276b5bd5","year":1916},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.194918Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:5c8d66a82bfaf0ff8151b4654c5218176083e94c6944abfb5d75cb602330049a","observation_id":"be2a338d-3ca8-4f3f-a927-daef4fdaa344","resolution":{"observed_at":"2026-08-12T10:27:47.668927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.657717Z","title":null,"venue":null,"work_id":"b4c79535-1f39-44c5-9ba0-3296e17c2f10","year":1995},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.198502Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:0eae1db33b0ac9c0bc9cb1c41851430939921a1a67d694f850c7df19dcb8bde1","observation_id":"3da59e56-a920-442e-8d36-525881b34fb2","resolution":{"observed_at":"2026-08-12T10:27:47.660834Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.03066","last_updated":"2025-05-06T15:13:12Z","snapshot_observed_at":"2026-08-12T13:02:59.985835Z","submitted_at":"2023-04-06T13:31:54Z","title":"Biased elementary doctrines and quotient completions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2304.03066","snapshot_observed_at":"2026-08-12T10:27:47.201425Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.201425Z"},"links":{"cited_paper":"/paper/2304.03066","citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:dd872edf832292b95cb9a3d8a7a2123c8c5455a9f58b86495cc74b964cc212b1","observation_id":"34f4e48f-6d4d-4aa0-bf12-fb0548e4cd3a","resolution":{"observed_at":"2026-08-12T10:27:47.201425Z","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-12T10:27:47.650194Z","title":"Carboni, S","venue":null,"work_id":"aad893c5-635b-42eb-b718-550e62f2ea3b","year":1993},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.205079Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:02c82dfa30b522ff70c5a6c4e139bf69c21b09541c114d2f288dd9708058bd45","observation_id":"75381317-b33b-4d98-bb99-f58ceeb77499","resolution":{"observed_at":"2026-08-12T10:27:47.652893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.641966Z","title":"Carboni and R","venue":null,"work_id":"6ef160eb-44f9-4885-87a1-c74214188d41","year":1982},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.207903Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:c994cfa07b3550cf49185d79f6cf85a469d0d10298862def1f493f7cfcac6d15","observation_id":"4940b8cd-9ecc-416d-8e65-01268b3cc0da","resolution":{"observed_at":"2026-08-12T10:27:47.644900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.634354Z","title":"Contente and M.E","venue":null,"work_id":"46eb558f-77fa-45a5-b12e-771508dc428b","year":2024},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.210925Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:f78f56f2b34ecd4df1500a5aab1b4a64f39a7d226603fee2a7ba696bd575f45c","observation_id":"3153c6b4-90df-43a9-a509-14dec4ed99e1","resolution":{"observed_at":"2026-08-12T10:27:47.637022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.626410Z","title":"Carboni and E","venue":null,"work_id":"57634531-e8cf-4b5b-9d10-737c7adad9eb","year":1998},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.213628Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:1e999252641d8871700193b001ed69bf5f50b08a206f8376e24a0344df49e5ea","observation_id":"cf703077-f8ec-4161-9cd7-4f489986ad7c","resolution":{"observed_at":"2026-08-12T10:27:47.629542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.618940Z","title":null,"venue":null,"work_id":"af5fcd5e-079c-477a-802e-d1787662b1c0","year":1995},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.216573Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:0640367ff582e3058ef0b3f870f845ac1e7ebc71c55653d0e8310b4c04d85a58","observation_id":"7218ef19-4892-4a12-904b-ade44a4bb6d3","resolution":{"observed_at":"2026-08-12T10:27:47.621606Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.610961Z","title":"Feferman","venue":null,"work_id":"f4b5a897-535c-41dd-bfbb-9dc26f209f94","year":1982},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.219357Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:fbc25341020396c9a3b9ce2f64ab8cedd42b8bad9fbf3a733b91ec63875a23e1","observation_id":"0a221ea6-0a4c-44e3-a04a-913b46efacc2","resolution":{"observed_at":"2026-08-12T10:27:47.613778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.603166Z","title":null,"venue":null,"work_id":"932b454b-812f-4e06-8106-a8260fd611d4","year":1980},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.222353Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:1c3d305e05c4960fcf3b5c8073aec5434fe5cf640c6050659292196d367afd7f","observation_id":"0b74be38-4e43-46ea-9a25-b737b55b239e","resolution":{"observed_at":"2026-08-12T10:27:47.606012Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.595074Z","title":null,"venue":null,"work_id":"29df1e61-348a-4ae5-85a9-38bcef60ed1f","year":2004},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.225251Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:c1a8236849e9580672ff79e4d58e2cb09bd4c068f12282d6a3026be0296001b0","observation_id":"21e0c09d-891b-4825-bcf3-d25e15d5790a","resolution":{"observed_at":"2026-08-12T10:27:47.598191Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.587551Z","title":null,"venue":null,"work_id":"bdd1d82c-1754-42c1-9daf-5cd3e1dadb2a","year":1990},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.227969Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:4e0856e388873c7bbeff9b069486f3c35b919990049f3a8eab8a54338b98415f","observation_id":"17ef098d-19f9-45b2-a7d3-5e8fbb91d1ad","resolution":{"observed_at":"2026-08-12T10:27:47.590284Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.580241Z","title":null,"venue":null,"work_id":"6dbfc145-d499-435b-89ab-bfa4776db003","year":1981},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.230816Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:139a333a6bacad58f8da6e8a2b63a9acdc95dc6e6144d7fd9ef4d53f4ddcaa7f","observation_id":"27002275-6250-4309-ae81-97bad5a1c18c","resolution":{"observed_at":"2026-08-12T10:27:47.582820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.572184Z","title":"Ishihara, M","venue":null,"work_id":"68cc64f6-df6f-42b9-907f-7239afc8fbaf","year":2018},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.233542Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:e99c18fe1565106798b6f63fb3c24ef394b9bd28f161e79a1d46b18d473b17de","observation_id":"3098e058-da8c-402a-bb11-258bb2f4470b","resolution":{"observed_at":"2026-08-12T10:27:47.575121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.564524Z","title":null,"venue":null,"work_id":"a3ad3934-5533-44a0-a326-7d0f3c03b19c","year":1999},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.236451Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:3fefcdab6c546116cd3aeff39269f5e53ea2ed4a39fdd463803d3942888fe3d0","observation_id":"c12a7b71-2bbd-4bd0-b743-c34d83482757","resolution":{"observed_at":"2026-08-12T10:27:47.567391Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.557107Z","title":"Janelidze and W","venue":null,"work_id":"92c77441-30ce-43f4-906e-def5bf6e20b3","year":1994},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.239237Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:b2924ea0a412a1ba1afcb320a5512630bda78b00e93beafe2a71730d72502b0a","observation_id":"1235abac-9147-4cfa-a456-e6844592efa1","resolution":{"observed_at":"2026-08-12T10:27:47.559862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.549324Z","title":null,"venue":null,"work_id":"40980d2a-ba2c-450f-85ca-0b4117d7c727","year":2005},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.242165Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:f7d32ad3117ab23fbebecb5e47a93852a379cbd4a4604137f37f890589e851fc","observation_id":"31521af0-8c28-4ba2-ab0d-87a90e97e865","resolution":{"observed_at":"2026-08-12T10:27:47.552096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.541724Z","title":null,"venue":null,"work_id":"0848f70c-7b56-4aed-96f0-8c049060a0bc","year":2009},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.245239Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:bcb38b5953227f3b87e925dc3f2d22e0f9876b118f12f07dd57713f4fdf27f89","observation_id":"6ca3f023-216d-4bc6-b2e5-9d98c1a8951b","resolution":{"observed_at":"2026-08-12T10:27:47.544440Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.533371Z","title":"MacLane and I","venue":null,"work_id":"f34d6d6c-df7a-4904-b494-2ca38582b7fc","year":2012},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.248131Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:dfc4b1523568672b011d01d17a19752083734089577ac81e41d6965569d11d1d","observation_id":"f872f7cc-2728-4324-b23d-66182d4dc70d","resolution":{"observed_at":"2026-08-12T10:27:47.536934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.525764Z","title":null,"venue":null,"work_id":"0606e57a-3bb0-474d-8984-7c4c280a7615","year":2016},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.250912Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:d5110b8d1b83da14d44f4a60db23190462b247c1bf1f5da8dec9e1e424ffb34c","observation_id":"5d5a3756-aa38-4562-bb89-89b29139f980","resolution":{"observed_at":"2026-08-12T10:27:47.528584Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.518259Z","title":null,"venue":null,"work_id":"5899fef6-c7a9-4452-8205-76d70c5abd93","year":2021},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.253819Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:7712c1863dbe2883dfb7db9e911012059ccc44622e025be94c550648df6c43b3","observation_id":"b39194c2-0322-44f7-aa83-ec3f2cd85fbe","resolution":{"observed_at":"2026-08-12T10:27:47.521103Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.510303Z","title":null,"venue":null,"work_id":"0807196d-3032-47e0-b25d-30a49b46fe02","year":2021},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.256647Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:82d631581ca2dff5223d961f74a7c36ec67b611ed82ebf1fb332ff876174a93a","observation_id":"725e7c0b-35c4-4402-8f44-5b3bde45f49f","resolution":{"observed_at":"2026-08-12T10:27:47.513204Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.502592Z","title":null,"venue":null,"work_id":"93f9bbd4-a7ac-43e3-b155-689e56656bdd","year":2022},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.259448Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:19abfb1c3593b72e306a1c84e5eca8d9b461c16942900fc99e638151efe1eeee","observation_id":"362be9f9-17ad-48ce-8c09-6b54f80a2b1d","resolution":{"observed_at":"2026-08-12T10:27:47.505462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.494681Z","title":"Moerdijk and E","venue":null,"work_id":"91d17846-b32f-489c-b120-49fe45d0ead2","year":2002},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.262304Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:77bc5d997d6c645bef447704a09c007e8f309f668254ab2cf0c8a2e848ab173e","observation_id":"6ff3f545-3af4-4253-9696-83b2821cb740","resolution":{"observed_at":"2026-08-12T10:27:47.497652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.487088Z","title":null,"venue":null,"work_id":"360d3b5e-768f-4d26-ab50-0a77a4cb485a","year":2013},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.265147Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:ad14a96dd946d019c36aa8a5116f25d2c3df075d52136aafd33e244426df9576","observation_id":"abdbd4e4-bc36-4750-8c28-7a238184a05e","resolution":{"observed_at":"2026-08-12T10:27:47.489822Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.479294Z","title":null,"venue":null,"work_id":"392b8ca8-e9f3-4863-b8ea-b46808ec077e","year":2013},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.268153Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:e5c6b6cd7b9edef1343d849ba1391ce07bab8ae278eade1266e41c2d4bea1422","observation_id":"a7381c0b-da9e-4d4c-b7f0-8f5f329ffdb0","resolution":{"observed_at":"2026-08-12T10:27:47.482175Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.471309Z","title":null,"venue":null,"work_id":"e8ba8a96-cf4d-4a16-a7e5-2978c45ff13b","year":2015},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.270865Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:94b3f67f4a7ebee3609639439569c9ab7a9cc705ab76f85197a1dafb4deb41c0","observation_id":"cb6dd3e9-0f81-4842-89d8-1764942285a6","resolution":{"observed_at":"2026-08-12T10:27:47.474292Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.463458Z","title":null,"venue":null,"work_id":"5a2eedae-691a-48b5-81e5-0ce1f5a7839e","year":2016},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.273577Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:114b06ba4339336d9dba76ebd65436eb90bf31b10223bc837547efaafff67602","observation_id":"881df2f5-9bd0-49b6-b3cd-95e0ad755020","resolution":{"observed_at":"2026-08-12T10:27:47.466232Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.455864Z","title":null,"venue":null,"work_id":"8a6d0188-00b2-46ff-ae0c-26d20c8578e2","year":2005},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.276859Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:fc4d8dd6636b371b0f079b51c57dc3cba1da53bc87b1938c97758002887f0267","observation_id":"a0da8c73-c1b5-4156-b4e0-983e0b5eb6b3","resolution":{"observed_at":"2026-08-12T10:27:47.458594Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.448185Z","title":null,"venue":null,"work_id":"8e693354-70e7-40d9-947f-b7613b2edb4f","year":2023},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.279678Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:aedd7142753f382d37fd378e58de38278e02ae4507e1d8e7d8b0e8b78997f0c1","observation_id":"f813dbe4-0e9d-4294-b168-04722b9accd9","resolution":{"observed_at":"2026-08-12T10:27:47.450904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.440381Z","title":"Maietti and P","venue":null,"work_id":"5cb12eec-070c-481a-959f-077a2b92be6f","year":2024},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.282425Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:570c656e1d8e989e8b8af73b3fb138cac9edcb19f4701b0f47e98e3e5bdc4bf5","observation_id":"2240c900-315b-4be0-bee0-23698ca5cbad","resolution":{"observed_at":"2026-08-12T10:27:47.443278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.432494Z","title":null,"venue":null,"work_id":"60cc8229-75a1-4bc3-a204-904b4548fde9","year":2021},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.285459Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:deca66d7352225b204607271a95e06f3fe99d529ab74d5d149ea47c20ea19be9","observation_id":"7b9ecc04-0b32-4c87-84f2-c84fd0554f27","resolution":{"observed_at":"2026-08-12T10:27:47.435396Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.424209Z","title":null,"venue":null,"work_id":"dacc7029-06fb-4ff2-a4e5-301b821f1ed5","year":2022},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.288417Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:4be17b6e1783e8ccccd3405941df51b1efa52aca57dbf929aeab0020fe9eede5","observation_id":"8f8a8f49-7d73-4f3b-a860-e942253ada88","resolution":{"observed_at":"2026-08-12T10:27:47.427101Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.416184Z","title":null,"venue":null,"work_id":"4d1394cc-d552-4e90-a53c-d96da5692108","year":2005},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.292360Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:d7a28ad3aa916cfd2c6a3ca065ab45f8661cd241344b923292195424ab0bd1f1","observation_id":"236c64f9-10ca-4eb5-998c-827221bdb612","resolution":{"observed_at":"2026-08-12T10:27:47.419044Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.407843Z","title":null,"venue":null,"work_id":"7b6aec99-86e2-4cea-8eb8-6869b4ca1061","year":2008},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.295120Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:8f003eb70d672e90cda3a9a1cddb0e54775e575b4efbdb954ab5928db1373ca0","observation_id":"8fc91efd-3de3-41fe-8ad9-684792182225","resolution":{"observed_at":"2026-08-12T10:27:47.410884Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.399715Z","title":"Rosolini","venue":null,"work_id":"c91e3dfc-b0f9-4107-9e37-ee27ac3511cd","year":1990},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.297844Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:a1d888c57a95009480524dae8cf01d1d88ac5f15cdf76fe1064050d80bf0b099","observation_id":"e706220b-35df-415e-88ac-2f9be306ee50","resolution":{"observed_at":"2026-08-12T10:27:47.402573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.391105Z","title":"Robinson and G","venue":null,"work_id":"a0fa0b39-0834-4b5e-8413-e35061173112","year":1990},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.300705Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:2f3be98ce744c9a9c35b5498ccfe8a15b21f4e8d6f80f8eba72ff97e92fd9ca6","observation_id":"b8fa2f30-b07d-4842-8acb-7149498a459d","resolution":{"observed_at":"2026-08-12T10:27:47.394203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.382282Z","title":"Sterling and C","venue":null,"work_id":"2d3a3f55-0579-49de-97cf-c3d80d8b74d1","year":2021},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.303517Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:0a036a5958cc7fee52bad87e55b88a9be614cd7a0d4afa66d0051e04a8dba2c6","observation_id":"a3169e13-ad1a-4132-8fec-40de8ec2d0da","resolution":{"observed_at":"2026-08-12T10:27:47.385371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.373869Z","title":null,"venue":null,"work_id":"25fb7ed3-d8af-46fe-b604-25aec04dfc18","year":2024},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.306165Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:d101ffb9113308dfaa27a820f4dedeead54a276ef77df21cd93e2fcdffc3ac8b","observation_id":"b38de226-602b-459a-8620-ba2357fff905","resolution":{"observed_at":"2026-08-12T10:27:47.376930Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.365399Z","title":"van Oosten","venue":null,"work_id":"7019420a-efbd-49de-a46f-3430faec06bd","year":1994},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.308877Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:38d1afef530c47afbf2289f91186cf7cdc3519d3591c701a6c33de7c491cfd23","observation_id":"e4e06c12-b794-456d-9dc9-fbcb2514207d","resolution":{"observed_at":"2026-08-12T10:27:47.368389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.356310Z","title":"van Oosten","venue":null,"work_id":"5ed4a1d1-9f63-4690-881b-389ab4305a28","year":2008},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.311525Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:fbdf0cc2802e600bd3905728f266c8658f1b8a9980f5ef18f28423b474b2b18a","observation_id":"c66edcbd-71ea-43c3-9cb6-3bd33566a15e","resolution":{"observed_at":"2026-08-12T10:27:47.359160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T10:27:47.346628Z","title":"van Oosten","venue":null,"work_id":"bfd8c511-be87-4914-a860-cccebabb8c5e","year":2015},"citing_paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos","version":2},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-12T10:27:47.314483Z"},"links":{"citing_paper":"/paper/2411.19239"},"observation_digest":"sha256:a5bf1304615c55f16ae0ee33a33ed36a3dc62323aee98c3bf1a02bad9cf28f0f","observation_id":"71e88157-e1d0-43e2-afdc-20dac4a14b5e","resolution":{"observed_at":"2026-08-12T10:27:47.350679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.19239","last_updated":"2024-12-04T17:40:30Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-12T22:41:27.523137Z","submitted_at":"2024-11-28T16:18:59Z","title":"Fibred sets within a predicative and constructive effective topos"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":25,"verified_exact":0,"verified_fuzzy":20},"total_outbound_references":45},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2411.19239."}