Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T16:02:51.291041Z
Paper Citation Record · LEDGER
As of 16 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:1908.00922.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T16:02:51.291041Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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
27 of 27 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 086a00d4-9763-4496-bff5-403853f09c8a · outbound
A computational glimpse at the Leibniz and Frege hierarchies Albuquerque, J
Reference 1
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 5e1a15be-f952-407e-a9cd-d3b21edfbdb0 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a4853b3-5f89-4e5c-b758-726cfd2c1ec4 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 3
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 f23d6801-f3fc-47bc-9ff2-30dc0539282f · outbound
A computational glimpse at the Leibniz and Frege hierarchies Bezhanishvili, T
Reference 4
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 a9692b30-3712-49ac-9bc6-7b89a1ec9cf9 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 5
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 28cb6e54-658a-4c40-a688-93d78113341b · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de961874-ae54-45d3-9dcc-3fa35b277bd8 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9051fa19-603b-4ca8-a5cc-d4d2d65427a8 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 8
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 81904aca-eea4-4f54-87ac-f222f840e6d0 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Burris and H
Reference 9
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 5332616d-b4cf-4b74-a1c8-8abeef7895ec · outbound
A computational glimpse at the Leibniz and Frege hierarchies Chagrov and M
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d92191b7-11e6-4e80-b241-673c99844d39 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Czelakowski
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06db8d67-ff33-4e46-a421-5573432b53e1 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Czelakowski and D
Reference 12
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 29d02797-1bd3-46dc-8f2b-bf29839ebde4 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Czelakowski and D
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dd0a6547-8dc8-43c6-a043-569d9b1adc5c · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae84aeb1-dc07-48bb-86d8-cf8c6a555750 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 15
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 9d8c1d2a-9c16-4112-a7dd-efdef558e006 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc4f6cb7-8be1-4785-a5d0-b734837b7b0d · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69d8038c-8758-495f-8b2e-39101037e438 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 18
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 83105552-bad9-4674-ad47-4a77a1a20220 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb19d9e1-39f2-4b09-b271-92a287dbf569 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 20
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 f8d2ac69-218a-4225-96d4-99f7502a0c3b · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 21
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 7d86b24f-9f89-454f-91b5-e324993d29bb · outbound
A computational glimpse at the Leibniz and Frege hierarchies Hoogland
Reference 22
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 d7ec7430-239f-4b4c-b7cf-2165528a2cec · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 23
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 0f22a6d4-a689-4d59-8d0b-f6bd32752032 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Unresolved cited work
Reference 24
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 68fab3d1-2dae-4334-84a0-311b2867afba · outbound
A computational glimpse at the Leibniz and Frege hierarchies Matiyasevich
Reference 25
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 a59a722f-69ae-4f7a-b2e6-ad8b2203c811 · outbound
A computational glimpse at the Leibniz and Frege hierarchies Tarski and S
Reference 26
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 f378243c-a853-4ecb-970a-a4369f3eddbb · outbound
A computational glimpse at the Leibniz and Frege hierarchies W ´ojcicki
Reference 27
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.
No inbound Pith citation observations are available.