Paper Citation Record · LEDGER

Projective Presentations of Lex Modalities

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

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

pith.paper-citation-record.v1
2501.19187 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T21:21:53.232067Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

14 of 14 outbound references displayed

verified exact5
verified fuzzy5
unresolved3
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7b52817b-0258-4328-9b71-026e4ad7e28c · outbound

This paper cites A General Nullstellensatz for Generalised Spaces.

Projective Presentations of Lex Modalities A General Nullstellensatz for Generalised Spaces

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:21:53.750899Z

Source-reported events for the cited work

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

Observation dfb7459c-9267-4f52-bd92-38f4c4270944 · outbound

This paper cites Čech Cohomology in Homotopy Type Theory.

Projective Presentations of Lex Modalities Čech Cohomology in Homotopy Type Theory

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:21:53.740527Z

Source-reported events for the cited work

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

Observation d6697358-6183-4a5a-abc1-50162c0f1a78 · outbound

This paper cites A Foundation for Synthetic Algebraic Geometry.

Projective Presentations of Lex Modalities A Foundation for Synthetic Algebraic Geometry

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-09T21:21:53.683374Z

Source-reported events for the cited work

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

Observation 24efa128-bcf3-4147-b932-76e6dee851f8 · outbound

This paper cites Directed univalence in simpli- cial homotopy type theory.

Projective Presentations of Lex Modalities Directed univalence in simpli- cial homotopy type theory

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-09T21:21:53.199409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ef12e48-3255-4ac2-82ff-e0e8a910b050 · outbound

This paper cites Multimodal Dependent Type Theory.

Projective Presentations of Lex Modalities Multimodal Dependent Type Theory

Reference 5

Resolution: verified exact; doi, observed 2026-08-09T21:21:53.268333Z

Source-reported events for the cited work

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

Observation c1f4ee4f-ba4b-4579-8ce3-01f4fbba434e · outbound

This paper cites an unresolved cited work.

Projective Presentations of Lex Modalities Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-09T21:21:53.729595Z

Source-reported events for the cited work

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

Observation 0da430f1-a03c-45ea-9d78-7fbe6396da65 · outbound

This paper cites Eilenberg-MacLane s paces in homotopy type theory.

Projective Presentations of Lex Modalities Eilenberg-MacLane s paces in homotopy type theory

Reference 7

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T21:21:53.471969Z

Source-reported events for the cited work

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

Observation 29ecc6d5-a9f8-4239-ac29-d04e914387f7 · outbound

This paper cites Commutative Algebra: Constructive Methods: Finite Projective Modules.

Projective Presentations of Lex Modalities Commutative Algebra: Constructive Methods: Finite Projective Modules

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-08-09T21:21:53.213619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 786ab79f-93a2-47da-a465-0e14e6a9256f · outbound

This paper cites Sheaves in Synthetic Algebraic Geometry.

Projective Presentations of Lex Modalities Sheaves in Synthetic Algebraic Geometry

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:21:53.718223Z

Source-reported events for the cited work

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

Observation e949df05-9fcf-4bc7-8950-db3ba10b2ea2 · outbound

This paper cites Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory.

Projective Presentations of Lex Modalities Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-09T21:21:53.307408Z

Source-reported events for the cited work

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

Observation 5a4d650c-e9ea-454c-9a40-cb14ec4057ec · outbound

This paper cites The join construction.

Projective Presentations of Lex Modalities The join construction

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-09T21:21:53.223069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bafd51e-bc0b-46f0-a58a-8aebb888a8fb · outbound

This paper cites A Type Theory with a Tiny Object.

Projective Presentations of Lex Modalities A Type Theory with a Tiny Object

Reference 12

Resolution: verified exact; local_arxiv, observed 2026-08-09T21:21:53.281690Z

Source-reported events for the cited work

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

Observation 849c52e9-ae7d-4313-bd24-9a9dda856c33 · outbound

This paper cites Moda lities in homotopy type theory.

Projective Presentations of Lex Modalities Moda lities in homotopy type theory

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:21:53.705987Z

Source-reported events for the cited work

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

Observation 57fb7d2e-825d-47fd-983b-6f33cbad83e1 · outbound

This paper cites Homotopy Type Theory: Univalent Foundations of Mathematics.

Projective Presentations of Lex Modalities Homotopy Type Theory: Univalent Foundations of Mathematics

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T21:21:53.694775Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.