Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T10:26:53.425948Z
Paper Citation Record · LEDGER
Mostowski Index via extended register games
As of 23 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 1 inbound Pith citation observation for arXiv:2412.16793.
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-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-10T21:26:03.994017Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-11T00:16:15.729268Z
Reference resolution
9 of 9 outbound references displayed
- verified exact0
- verified fuzzy8
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation a73b4709-fc67-48ab-b2ee-56622d5c4fc3 · outbound
This paper cites Deciding the weak definability of büchi definable tree l anguages.
Mostowski Index via extended register games Deciding the weak definability of büchi definable tree l anguages
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.553315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 81bbab1a-d014-4d41-84ec-0a2cb472e843 · outbound
This paper cites The non-determin istic mostowski hierarchy and distance-parity automata.
Mostowski Index via extended register games The non-determin istic mostowski hierarchy and distance-parity automata
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.542103Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d92ba16e-9b0b-4d38-9b5c-ad04a81badf0 · outbound
This paper cites Rabin- mostowski index problem: A step beyond deterministic autom ata.
Mostowski Index via extended register games Rabin- mostowski index problem: A step beyond deterministic autom ata
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.530492Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b92d43bc-f7e1-4e38-bf8c-0ecb195dba06 · outbound
This paper cites A modal mu perspective on solving pa rity games in quasi-polynomial time.
Mostowski Index via extended register games A modal mu perspective on solving pa rity games in quasi-polynomial time
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.518316Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 665389b5-3767-4024-807f-6c26ddcee01e · outbound
This paper cites Logic and automata over infinite trees.
Mostowski Index via extended register games Logic and automata over infinite trees
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.505464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f5083e26-ea84-4e6b-b6bb-4547e2d14692 · outbound
This paper cites an unresolved cited work.
Mostowski Index via extended register games Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T10:26:53.493217Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 40bfaffe-b225-47e2-a7e7-32e41c05ef5d · outbound
This paper cites On guidable inde x of tree au- tomata.
Mostowski Index via extended register games On guidable inde x of tree au- tomata
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.481605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 538ba25e-ea98-4ce9-afaf-c55c5fabe55e · outbound
This paper cites Deciding nondete rministic hierar- chy of deterministic tree automata.
Mostowski Index via extended register games Deciding nondete rministic hierar- chy of deterministic tree automata
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.470297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4d8a2147-4284-4d75-a74a-fe114490f13d · outbound
This paper cites Deciding the to pological com- plexity of büchi languages.
Mostowski Index via extended register games Deciding the to pological com- plexity of büchi languages
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T10:26:53.458201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
Observation a5d675ae-d994-47d5-a698-a945d851a526 · inbound
A Dichotomy Theorem for Ordinal Ranks in MSO cites this paper.
A Dichotomy Theorem for Ordinal Ranks in MSO Mostowski Index via extended register games
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T21:26:04.081806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.