Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T12:12:37.486834Z
Paper Citation Record · LEDGER
Good Fibrations through the Modal Prism
As of 19 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 0 inbound Pith citation observations for arXiv:1908.08034.
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-18T06:34:40.430872+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
5 of 5 outbound references displayed
- verified exact1
- verified fuzzy1
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3bd5a2d7-e877-4903-93ae-e742fa7ed329 · outbound
This paper cites Modalities in homotopy type theory.
Good Fibrations through the Modal Prism Modalities in homotopy type theory
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:12:37.479619Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 966da3d6-4209-4fae-b6b9-1c941a3394fd · outbound
This paper cites Cohesive Covering Theory.
Good Fibrations through the Modal Prism Cohesive Covering Theory
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T12:12:37.539540Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 3c2ca47c-113b-4c5c-aea0-b8b5a1c53f19 · outbound
This paper cites A Generalized Blakers-Massey Theorem.
Good Fibrations through the Modal Prism A Generalized Blakers-Massey Theorem
Reference 2017
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:12:37.472599Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29079006-448c-48ad-805e-b9bee6e218e7 · outbound
This paper cites Higher Groups in Homotopy Type Theory.
Good Fibrations through the Modal Prism Higher Groups in Homotopy Type Theory
Reference 2018
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T12:12:37.524829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 588d6d1b-4d5c-4edc-8f47-1838e118f17f · outbound
This paper cites All $(\infty,1)$-toposes have strict univalent universes.
Good Fibrations through the Modal Prism All $(\infty,1)$-toposes have strict univalent universes
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T12:12:37.482940Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.