{"as_of":"2026-08-14T02:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9b7d1979908dc3bd24299f96d47beec4a888af37b3d451d02601c0a266286b12","coverage":[{"denominator":7,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":7,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:51:18.639499Z","state":"measured"},{"denominator":7,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":7,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.14960/citation-record","integrity":"/paper/2411.14960/integrity","json":"/paper/2411.14960/citation-record.json","paper":"/paper/2411.14960"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:18.783886Z","title":null,"venue":null,"work_id":"9b7e307d-0577-43e1-84ca-d81eca12593b","year":2005},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.605691Z"},"links":{"citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:c59f33a6b27a25db6c01cb69d52314cb6fd7beee7a5acfba55d3af569005fb50","observation_id":"2a8b633b-9cc5-4c15-a9bc-ca326b00d018","resolution":{"observed_at":"2026-08-12T14:51:18.788710Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.01492","last_updated":"2024-09-02T23:19:07Z","snapshot_observed_at":"2026-08-13T04:13:29.441103Z","submitted_at":"2024-09-02T23:19:07Z","title":"Undecidability of infinite algebraic extensions of $\\mathbb{F}_p(t)$","version":1},"cited_work":{"arxiv_id":"2409.01492","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.01492","snapshot_observed_at":"2026-08-12T14:51:18.702218Z","title":"Undecidability of infinite algebraic extensions of $\\mathbb{F}_p(t)$","venue":"math.LO","work_id":"bf46a2d4-4674-4997-a169-c31cdcf9a680","year":2024},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.621467Z"},"links":{"cited_paper":"/paper/2409.01492","citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:60d022d580089248d574a6744cfab0f155a8a7754708aba47d1680fbf4eccb6c","observation_id":"2fe05055-cf6d-4e0f-b6b8-696dfc7dc6f3","resolution":{"observed_at":"2026-08-12T14:51:18.707414Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:18.719109Z","title":"Videla, Hilbert’s tenth problem for rational function fields in char acteristic 2, Proc","venue":null,"work_id":"cc134a60-aff0-446e-b69a-ba6993a1de71","year":1994},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":108,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.639499Z"},"links":{"citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:c8f3512cc8e4438795a27711206dae465f008fbc854e60e3b0099600f74e7911","observation_id":"a40eb5f4-9b04-4e56-a116-da32a1c87a17","resolution":{"observed_at":"2026-08-12T14:51:18.723879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:18.734416Z","title":null,"venue":null,"work_id":"1582cc97-d438-4c28-859b-d5ff1ee3dcab","year":2004},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":171,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.627217Z"},"links":{"citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:4251d8c0286a40ef977876757fa247b3756993c0a93ed353c40b5566c2654ad8","observation_id":"e97935ab-e47a-4667-a6cf-c0ffde768051","resolution":{"observed_at":"2026-08-12T14:51:18.739130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:18.749771Z","title":"Reine Angew","venue":null,"work_id":"ed8f4f94-c63b-47e2-accb-6bb19ef0ac31","year":2005},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.616382Z"},"links":{"citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:d52e6fe2d61518f797491fd423153333488a0074fda2bcbcf1bd3add21b05c34","observation_id":"aaea65f6-7335-49a2-acca-8756f476ccee","resolution":{"observed_at":"2026-08-12T14:51:18.754628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1502.02714","last_updated":"2015-02-09T22:28:56Z","snapshot_observed_at":"2026-07-06T04:08:44.305996Z","submitted_at":"2015-02-09T22:28:56Z","title":"On definitions of polynomials over function fields of positive characteristi","version":1},"cited_work":{"arxiv_id":"1502.02714","doi":null,"metadata_source":"pith","pith_arxiv_id":"1502.02714","snapshot_observed_at":"2026-08-12T14:51:18.677586Z","title":"On definitions of polynomials over function fields of positive characteristi","venue":"math.NT","work_id":"efdcec71-04ea-43d6-864e-2eee7d4aee06","year":2015},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.633575Z"},"links":{"cited_paper":"/paper/1502.02714","citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:552defda54dd1fc5df272da7a40a1f6bf42f6c26841c48c26bf49587f408187f","observation_id":"da0b4833-4d6f-4f03-96bd-a2d94bc2ac37","resolution":{"observed_at":"2026-08-12T14:51:18.684613Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:51:18.765554Z","title":"MR4647281 ↑1, 2, 28 [GFP20] Natalia Garcia-Fritz and Hector Pasten, Towards Hilbert’s tenth problem for rings of integers throu gh Iwasawa theory and Heegner points , Math","venue":null,"work_id":"a48e8c9c-e312-4c56-babc-bed2b2f02f08","year":2020},"citing_paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-12T14:51:18.611416Z"},"links":{"citing_paper":"/paper/2411.14960"},"observation_digest":"sha256:56358484de1eb3c9ac8733a78fd6849a4f6b8d3632b925ae2dd9bcf357600427","observation_id":"0990167c-6153-4c17-a94a-9cc88644958a","resolution":{"observed_at":"2026-08-12T14:51:18.772385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14960","last_updated":"2025-01-15T21:25:00Z","latest_version":2,"primary_category":"math.NT","snapshot_observed_at":"2026-08-12T14:38:22.117895Z","submitted_at":"2024-11-22T14:18:10Z","title":"First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability"},"reference_resolution":{"displayed":7,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":7},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 7 of 7 outbound references and 0 inbound Pith citation observations for arXiv:2411.14960."}