Paper Citation Record · LEDGER

First-order homotopical logic

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

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

pith.paper-citation-record.v1
1908.08944 v2

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:36:56.816484Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

35 of 35 outbound references displayed

verified exact1
verified fuzzy14
unresolved20
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cad9092a-e74e-4e82-bc3c-17dfcbbbdbfc · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.512773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 05f9160e-8fda-457f-ada1-42120beae901 · outbound

This paper cites Blackwell, G.

First-order homotopical logic Blackwell, G

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.496478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 865eb92e-a6f4-420f-a9da-f13ae2ab4e2f · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.482134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 394a1abd-255c-420a-9b30-4c5deae6d0fd · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.468002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 78e289f8-e3c0-4a55-8b2d-01a648cf3c26 · outbound

This paper cites Pursuing stacks, 1983.

First-order homotopical logic Pursuing stacks, 1983

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.673734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1ab3a75-44a7-4585-a9ed-c942c321b62c · outbound

This paper cites Homotopies in Grothendieck fibrations.

First-order homotopical logic Homotopies in Grothendieck fibrations

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-14T11:36:57.014666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4252f507-3cd2-47c6-bc6e-ff12acaad5cf · outbound

This paper cites Lambek's categorical proof theory and L \" a uchli's abstract realizability.

First-order homotopical logic Lambek's categorical proof theory and L \" a uchli's abstract realizability

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.452973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9350447b-923e-436f-9af2-7bc55168fbd0 · outbound

This paper cites On the interpretation of type theory in locally C artesian closed categories.

First-order homotopical logic On the interpretation of type theory in locally C artesian closed categories

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.437988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a3fa8a49-09f1-413b-9f37-c2f673c66ca3 · outbound

This paper cites Model categories , volume 63 of Mathematical Surveys and Monographs.

First-order homotopical logic Model categories , volume 63 of Mathematical Surveys and Monographs

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.693887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99ec017f-e957-4dd5-aab5-7193e47889eb · outbound

This paper cites The groupoid interpretation of type theory.

First-order homotopical logic The groupoid interpretation of type theory

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.698654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80db8036-6908-4680-9060-1c187102b212 · outbound

This paper cites Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics.

First-order homotopical logic Categorical logic and type theory , volume 141 of Studies in Logic and the Foundations of Mathematics

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.703382Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03595a4c-cc9f-4d34-abde-7134a784d165 · outbound

This paper cites Johnstone.

First-order homotopical logic Johnstone

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.708080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6debc717-9415-47a6-974d-e4d190f9ed3b · outbound

This paper cites The simplicial model of univalent foundations (after voevodsky).

First-order homotopical logic The simplicial model of univalent foundations (after voevodsky)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.712621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 950768b7-6e16-4b1d-b8a9-b5ea92774e41 · outbound

This paper cites An elementary account of flat 2-functors, 2019.

First-order homotopical logic An elementary account of flat 2-functors, 2019

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.382984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b85cf2b6-c9cf-438f-9580-e61def987c52 · outbound

This paper cites L \"a uchli.

First-order homotopical logic L \"a uchli

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.368234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3538cfad-c778-4e1c-9ab4-3c28e24c2af6 · outbound

This paper cites William Lawvere.

First-order homotopical logic William Lawvere

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.353337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dfe5ca5b-9af0-46e0-be68-45a706c05d2c · outbound

This paper cites William Lawvere.

First-order homotopical logic William Lawvere

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.338399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9467e98c-c3a5-4af1-aaef-bad10ad0d340 · outbound

This paper cites William Lawvere.

First-order homotopical logic William Lawvere

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.323411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a310b188-b820-42c2-9117-7ca4e86fe30f · outbound

This paper cites Lambek and P.

First-order homotopical logic Lambek and P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.740326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44f9b006-d3c2-4d01-924e-1ab1188f7b90 · outbound

This paper cites Higher Algebra.

First-order homotopical logic Higher Algebra

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.745365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2744bc38-4932-41f2-8ebd-6d2d809dd270 · outbound

This paper cites odel, K ripke, and L \.

First-order homotopical logic odel, K ripke, and L \

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.298425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ab7ec91d-a1cf-49f0-b2ef-72e431c95c3c · outbound

This paper cites odel, K ripke, and L \.

First-order homotopical logic odel, K ripke, and L \

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.283236Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 251bbf86-0dea-4333-bdb0-708e915428a4 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.267881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 524c6c11-175a-495f-a4c1-da6ec8d176ac · outbound

This paper cites Elementary categories, elementary toposes , volume 21 of Oxford Logic Guides.

First-order homotopical logic Elementary categories, elementary toposes , volume 21 of Oxford Logic Guides

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.252474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 60b735db-0b44-43a6-8d7f-1741fba61e41 · outbound

This paper cites An intuitionistic theory of types.

First-order homotopical logic An intuitionistic theory of types

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.235059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bea98384-1bed-4399-a5dc-5668777f4062 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.220097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 43639dd7-383f-4671-809b-dae5bd461216 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.204077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation efe45026-7443-48e5-aecf-900faef87968 · outbound

This paper cites A categorical version of the B rouwer- H eyting- K olmogorov interpretation.

First-order homotopical logic A categorical version of the B rouwer- H eyting- K olmogorov interpretation

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.188955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a6c2e748-f287-41be-8b48-19aa978dc6dd · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.173617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 80b878ec-c8a8-48c6-aced-3eaa3c5a27a4 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.792924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfe04698-2915-44fe-a6b3-e05ad9da3040 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-14T11:36:56.797464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76caf79a-e6ee-4310-80ed-542ad74fa9bb · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.139880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0b45e9bb-ea52-48ab-9572-7ff8f1815418 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.124518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 958b0a6c-0e91-4e58-bc67-c2063322d772 · outbound

This paper cites an unresolved cited work.

First-order homotopical logic Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:36:57.109558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3e41dc35-609a-4f6f-ba4b-5bf8eb013cd8 · outbound

This paper cites Homotopy theoretic aspects of constructive type theory, 2008.

First-order homotopical logic Homotopy theoretic aspects of constructive type theory, 2008

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:36:57.094684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.