Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T10:27:47.314483Z
Paper Citation Record · LEDGER
Fibred sets within a predicative and constructive effective topos
As of 12 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2411.19239.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
45 of 45 outbound references displayed
- verified exact0
- verified fuzzy20
- unresolved25
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f9427403-5081-4244-b74f-20664b73d4a8 · outbound
This paper cites Aczel and M.
Fibred sets within a predicative and constructive effective topos Aczel and M
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.694502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 79c44928-e888-47ae-b4dc-b756c11738d0 · outbound
This paper cites Natural models of homotopy type theory.
Fibred sets within a predicative and constructive effective topos Natural models of homotopy type theory
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.686236Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a83858ff-9316-49b3-9168-8cd20b53a8e6 · outbound
This paper cites van den B erg and I.
Fibred sets within a predicative and constructive effective topos van den B erg and I
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.677045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation be2a338d-3ca8-4f3f-a927-daef4fdaa344 · outbound
This paper cites van den Berg and I.
Fibred sets within a predicative and constructive effective topos van den Berg and I
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.668927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3da59e56-a920-442e-8d36-525881b34fb2 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.660834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 34f4e48f-6d4d-4aa0-bf12-fb0548e4cd3a · outbound
This paper cites Biased elementary doctrines and quotient completions.
Fibred sets within a predicative and constructive effective topos Biased elementary doctrines and quotient completions
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T10:27:47.201425Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75381317-b33b-4d98-bb99-f58ceeb77499 · outbound
This paper cites Carboni, S.
Fibred sets within a predicative and constructive effective topos Carboni, S
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.652893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4940b8cd-9ecc-416d-8e65-01268b3cc0da · outbound
This paper cites Carboni and R.
Fibred sets within a predicative and constructive effective topos Carboni and R
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.644900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3153c6b4-90df-43a9-a509-14dec4ed99e1 · outbound
This paper cites Contente and M.E.
Fibred sets within a predicative and constructive effective topos Contente and M.E
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.637022Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cf703077-f8ec-4161-9cd7-4f489986ad7c · outbound
This paper cites Carboni and E.
Fibred sets within a predicative and constructive effective topos Carboni and E
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.629542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7218ef19-4892-4a12-904b-ade44a4bb6d3 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.621606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0a221ea6-0a4c-44e3-a04a-913b46efacc2 · outbound
This paper cites Feferman.
Fibred sets within a predicative and constructive effective topos Feferman
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.613778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0b74be38-4e43-46ea-9a25-b737b55b239e · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.606012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 21e0c09d-891b-4825-bcf3-d25e15d5790a · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.598191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 17ef098d-19f9-45b2-a7d3-5e8fbb91d1ad · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.590284Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 27002275-6250-4309-ae81-97bad5a1c18c · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.582820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3098e058-da8c-402a-bb11-258bb2f4470b · outbound
This paper cites Ishihara, M.
Fibred sets within a predicative and constructive effective topos Ishihara, M
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.575121Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c12a7b71-2bbd-4bd0-b743-c34d83482757 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.567391Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1235abac-9147-4cfa-a456-e6844592efa1 · outbound
This paper cites Janelidze and W.
Fibred sets within a predicative and constructive effective topos Janelidze and W
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.559862Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 31521af0-8c28-4ba2-ab0d-87a90e97e865 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.552096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6ca3f023-216d-4bc6-b2e5-9d98c1a8951b · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.544440Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f872f7cc-2728-4324-b23d-66182d4dc70d · outbound
This paper cites MacLane and I.
Fibred sets within a predicative and constructive effective topos MacLane and I
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.536934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5d5a3756-aa38-4562-bb89-89b29139f980 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.528584Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b39194c2-0322-44f7-aa83-ec3f2cd85fbe · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.521103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 725e7c0b-35c4-4402-8f44-5b3bde45f49f · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.513204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 362be9f9-17ad-48ce-8c09-6b54f80a2b1d · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.505462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6ff3f545-3af4-4253-9696-83b2821cb740 · outbound
This paper cites Moerdijk and E.
Fibred sets within a predicative and constructive effective topos Moerdijk and E
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.497652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation abdbd4e4-bc36-4750-8c28-7a238184a05e · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.489822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a7381c0b-da9e-4d4c-b7f0-8f5f329ffdb0 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.482175Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cb6dd3e9-0f81-4842-89d8-1764942285a6 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.474292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 881df2f5-9bd0-49b6-b3cd-95e0ad755020 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.466232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a0da8c73-c1b5-4156-b4e0-983e0b5eb6b3 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.458594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f813dbe4-0e9d-4294-b168-04722b9accd9 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.450904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2240c900-315b-4be0-bee0-23698ca5cbad · outbound
This paper cites Maietti and P.
Fibred sets within a predicative and constructive effective topos Maietti and P
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.443278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7b9ecc04-0b32-4c87-84f2-c84fd0554f27 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.435396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8f8a8f49-7d73-4f3b-a860-e942253ada88 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.427101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 236c64f9-10ca-4eb5-998c-827221bdb612 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.419044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8fc91efd-3de3-41fe-8ad9-684792182225 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.410884Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e706220b-35df-415e-88ac-2f9be306ee50 · outbound
This paper cites Rosolini.
Fibred sets within a predicative and constructive effective topos Rosolini
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.402573Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b8fa2f30-b07d-4842-8acb-7149498a459d · outbound
This paper cites Robinson and G.
Fibred sets within a predicative and constructive effective topos Robinson and G
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.394203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a3169e13-ad1a-4132-8fec-40de8ec2d0da · outbound
This paper cites Sterling and C.
Fibred sets within a predicative and constructive effective topos Sterling and C
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.385371Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b38de226-602b-459a-8620-ba2357fff905 · outbound
This paper cites an unresolved cited work.
Fibred sets within a predicative and constructive effective topos Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T10:27:47.376930Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e4e06c12-b794-456d-9dc9-fbcb2514207d · outbound
This paper cites van Oosten.
Fibred sets within a predicative and constructive effective topos van Oosten
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.368389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c66edcbd-71ea-43c3-9cb6-3bd33566a15e · outbound
This paper cites van Oosten.
Fibred sets within a predicative and constructive effective topos van Oosten
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.359160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 71e88157-e1d0-43e2-afdc-20dac4a14b5e · outbound
This paper cites van Oosten.
Fibred sets within a predicative and constructive effective topos van Oosten
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T10:27:47.350679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.