Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T13:28:40.600032Z
Paper Citation Record · LEDGER
Approximation of hyperarithmetic analysis by $\omega$-model reflection
As of 12 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2411.16338.
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
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy11
- unresolved4
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 51cb5da1-a23e-4f59-8e47-8ac4db4fb6b7 · outbound
This paper cites Barnes, Jun Le Goh, and Richard A.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Barnes, Jun Le Goh, and Richard A
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:41.056101Z
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 2cb43bfb-5c9b-457c-b574-2e0a8cf9426e · outbound
This paper cites an unresolved cited work.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:28:41.027106Z
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 28cab861-6029-4f77-aaa9-ba01f369e757 · outbound
This paper cites Friedman.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Friedman
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:41.003929Z
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 182c0fab-67f9-4406-a37d-4de66549f79b · outbound
This paper cites Friedman.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Friedman
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.971831Z
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 b35dd648-d643-44b5-9d8a-f17ae7e5c4bc · outbound
This paper cites The strength of an axiom of finite choice for branches in trees.
Approximation of hyperarithmetic analysis by $\omega$-model reflection The strength of an axiom of finite choice for branches in trees
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.951331Z
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 5a1d97b2-98c1-45d4-8d2a-ef531308f99e · outbound
This paper cites ATR _0 and Some Related Theories.
Approximation of hyperarithmetic analysis by $\omega$-model reflection ATR _0 and Some Related Theories
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.921503Z
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 e0d77d04-4e95-4796-b0dd-31b151826205 · outbound
This paper cites Indecomposable linear orderings and hyperarithmetic analysis.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Indecomposable linear orderings and hyperarithmetic analysis
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.885389Z
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 d3f0f058-9f16-4fd4-8703-d7c85338ff29 · outbound
This paper cites On the ^1_1 -separation principle.
Approximation of hyperarithmetic analysis by $\omega$-model reflection On the ^1_1 -separation principle
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.836866Z
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 d61dc622-5279-4e9b-a64b-faacb3c60158 · outbound
This paper cites The strength of jullien's indecomposability theorem.
Approximation of hyperarithmetic analysis by $\omega$-model reflection The strength of jullien's indecomposability theorem
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.798218Z
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 18980240-b8f4-4afc-8149-402caa4d284a · outbound
This paper cites Necessary use of ^1_1 induction in a reversal.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Necessary use of ^1_1 induction in a reversal
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.768914Z
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 d68cfae1-85f4-4381-bf69-a8fa37ce88e9 · outbound
This paper cites Transfinite dependent choice and -model reflection.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Transfinite dependent choice and -model reflection
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.727563Z
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 e61633db-0431-4296-bac1-f346e387cd2f · outbound
This paper cites an unresolved cited work.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T13:28:40.585838Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5d73369-2911-4d41-a174-3792c70f5420 · outbound
This paper cites an unresolved cited work.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:28:40.675193Z
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 2926b9f9-3fe8-4844-9ea5-814df7d81aed · outbound
This paper cites On the axiom of weak choice.
Approximation of hyperarithmetic analysis by $\omega$-model reflection On the axiom of weak choice
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:28:40.655267Z
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 d1251644-815b-42dc-a681-83cf58e29c9e · outbound
This paper cites an unresolved cited work.
Approximation of hyperarithmetic analysis by $\omega$-model reflection Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:28:40.637330Z
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.