Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:03:01.446581Z
Paper Citation Record · LEDGER
When Bi-interpretability implies Synonymy
As of 8 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2506.01028.
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-07T06:34:17.273281+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
33 of 33 outbound references displayed
- verified exact1
- verified fuzzy30
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1a1cb60b-ef15-4e4d-8812-561d5f2e9279 · outbound
This paper cites Quasi finitely axiomatizable totally categorical theories.
When Bi-interpretability implies Synonymy Quasi finitely axiomatizable totally categorical theories
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:02.033370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f828c11d-4471-4fce-9b50-faa4b8c55391 · outbound
This paper cites String theory.
When Bi-interpretability implies Synonymy String theory
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:02.019070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9344ee57-0111-4fd5-8960-26fdd6a87cdc · outbound
This paper cites Collins and James D.
When Bi-interpretability implies Synonymy Collins and James D
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:02.005431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 928cb345-a5d2-4d8a-af68-b7bcc272e1c9 · outbound
This paper cites de Bouv \` e re.
When Bi-interpretability implies Synonymy de Bouv \` e re
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.990744Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6ca41c0c-cee1-48b1-a14c-62f90297c659 · outbound
This paper cites de Bouv \` e re.
When Bi-interpretability implies Synonymy de Bouv \` e re
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.969470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 50f540f0-3e6b-4c54-b53b-086fc0531654 · outbound
This paper cites Categoricity-like properties in the first order realm.
When Bi-interpretability implies Synonymy Categoricity-like properties in the first order realm
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.954925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4252a563-5f0e-4e5f-8ea8-f18ad717f868 · outbound
This paper cites -models of finite set theory.
When Bi-interpretability implies Synonymy -models of finite set theory
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.933837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 86e15d1d-17f6-4489-8c26-6bf8bc4297ac · outbound
This paper cites Model theory.
When Bi-interpretability implies Synonymy Model theory
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.918130Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6cb3dab6-6407-462b-9d9d-56cba691c2b9 · outbound
This paper cites Metamathematics of First-Order Arithmetic.
When Bi-interpretability implies Synonymy Metamathematics of First-Order Arithmetic
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.902908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5fa7ccf8-a9cc-4ae9-b2b6-95139a6fe355 · outbound
This paper cites Sequence encoding without induction.
When Bi-interpretability implies Synonymy Sequence encoding without induction
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.886627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b15761ba-0a50-4485-92cf-8f64d38fe5cc · outbound
This paper cites Joosten and Albert Visser.
When Bi-interpretability implies Synonymy Joosten and Albert Visser
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.871481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a0e17146-b619-450e-91ea-94c5d46f4d9a · outbound
This paper cites Models of P eano A rithmetic.
When Bi-interpretability implies Synonymy Models of P eano A rithmetic
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.855710Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b08f1fcb-5af6-46a8-be4b-cb074b6f4b9a · outbound
This paper cites On interpretations of arithmetic and set theory.
When Bi-interpretability implies Synonymy On interpretations of arithmetic and set theory
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.840191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cc457665-5bff-40bc-9b44-dc0cefa86391 · outbound
This paper cites Set Theory with and without urelements and categories of interpretations.
When Bi-interpretability implies Synonymy Set Theory with and without urelements and categories of interpretations
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.823508Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 32752635-4381-40f0-9a0c-5751f8afb3ed · outbound
This paper cites A minimal predicative set theory.
When Bi-interpretability implies Synonymy A minimal predicative set theory
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.808433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 677cb29f-8894-4451-8e50-26b4223e0a8f · outbound
This paper cites an unresolved cited work.
When Bi-interpretability implies Synonymy Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:03:01.792045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ebe23b6d-af47-4a58-bb88-f04cf93fc8f9 · outbound
This paper cites Predicative arithmetic.
When Bi-interpretability implies Synonymy Predicative arithmetic
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.775793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8b90d6ab-884c-4a4e-ab90-d69518d19bab · outbound
This paper cites How to escape Tennenbaum's theorem.
When Bi-interpretability implies Synonymy How to escape Tennenbaum's theorem
Reference 18
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T12:03:01.494058Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4811a743-5bf9-433e-9c87-01eec49ae6c6 · outbound
This paper cites Some prime elements in the lattice of interpretability types.
When Bi-interpretability implies Synonymy Some prime elements in the lattice of interpretability types
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.758988Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7839a9bd-7b2b-4cbb-ac72-21ab5e3a6392 · outbound
This paper cites Cuts, consistency statements and interpretations.
When Bi-interpretability implies Synonymy Cuts, consistency statements and interpretations
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.741069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bac993dd-09c6-4626-8d19-90b1bc6a26d1 · outbound
This paper cites Concatenation as a B asis for A rithmetic.
When Bi-interpretability implies Synonymy Concatenation as a B asis for A rithmetic
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.724999Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 72bc7cf1-0a51-415f-a002-8f706ba85793 · outbound
This paper cites Definability and Decision Problems in Arithmetic.
When Bi-interpretability implies Synonymy Definability and Decision Problems in Arithmetic
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.710139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 54bc1718-0e2c-4f1c-b01e-c5cd6c5eba5b · outbound
This paper cites Nonstandard models and related developments.
When Bi-interpretability implies Synonymy Nonstandard models and related developments
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.694578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 571de0a4-b7a0-4604-af62-ac23a76753a7 · outbound
This paper cites Mutual Interpretability of some essentially undecidable theories.
When Bi-interpretability implies Synonymy Mutual Interpretability of some essentially undecidable theories
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.678690Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f0cf7f42-9631-407d-b28e-4e56e67f791e · outbound
This paper cites Interpretability logic.
When Bi-interpretability implies Synonymy Interpretability logic
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.661959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f0db8787-4043-4906-a486-0465dd2b02a6 · outbound
This paper cites An inside view of E X P.
When Bi-interpretability implies Synonymy An inside view of E X P
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.645791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 391eefef-6fa5-4955-9442-219ae2c56dd6 · outbound
This paper cites The unprovability of small inconsistency.
When Bi-interpretability implies Synonymy The unprovability of small inconsistency
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.627378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 194f8b0e-c658-42d9-af16-cc7dd31a7e4b · outbound
This paper cites An Overview of Interpretability Logic.
When Bi-interpretability implies Synonymy An Overview of Interpretability Logic
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.608945Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b09a6264-46b5-4faa-9929-97a0ed5e6d8a · outbound
This paper cites Faith & F alsity: a study of faithful interpretations and false ^0_1 -sentences.
When Bi-interpretability implies Synonymy Faith & F alsity: a study of faithful interpretations and false ^0_1 -sentences
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.590250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ee61754d-c784-4f0d-b1e1-eb28e2b5d07a · outbound
This paper cites Categories of T heories and I nterpretations.
When Bi-interpretability implies Synonymy Categories of T heories and I nterpretations
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.567955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2fe79155-6725-4023-8913-36cfbdd1b20f · outbound
This paper cites Pairs, sets and sequences in first order theories.
When Bi-interpretability implies Synonymy Pairs, sets and sequences in first order theories
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.550764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 70d1929d-0df8-4a9c-9c58-2869061b9077 · outbound
This paper cites Cardinal arithmetic in the style of B aron von M \"u nch\-hausen.
When Bi-interpretability implies Synonymy Cardinal arithmetic in the style of B aron von M \"u nch\-hausen
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:03:01.531865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2b8667e6-babd-495c-8345-561ce65e6370 · outbound
This paper cites an unresolved cited work.
When Bi-interpretability implies Synonymy Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:03:01.512108Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.