{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:AQFXWDYO32DKDR3NEZI2YRTMVH","short_pith_number":"pith:AQFXWDYO","schema_version":"1.0","canonical_sha256":"040b7b0f0ede86a1c76d2651ac466ca9c0a4aaeec92375d0c84c1b69c40d6f72","source":{"kind":"arxiv","id":"1907.10766","version":1},"attestation_state":"computed","paper":{"title":"Uniform Martin's conjecture, locally","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Vittorio Bard","submitted_at":"2019-07-24T22:46:00Z","abstract_excerpt":"We show that part I of uniform Martin's conjecture follows from a local phenomenon, namely that if a non-constant Turing invariant function goes from the Turing degree $\\boldsymbol x$ to the Turing degree $\\boldsymbol y$, then $\\boldsymbol x \\le_T \\boldsymbol y$. Besides improving our knowledge about part I of uniform Martin's conjecture (which turns out to be equivalent to Turing determinacy), the discovery of such local phenomenon also leads to new results that did not look strictly related to Martin's conjecture before. In particular, we get that computable reducibility $\\le_c$ on equivalen"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1907.10766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-07-24T22:46:00Z","cross_cats_sorted":[],"title_canon_sha256":"6db68c0ca48092aab0338111ad39435d1b163b147091f09dd93c23edcce11b9b","abstract_canon_sha256":"31b6c230f0532a285db30cc76e8a232959eb7d024fa027683b105f2f8a54a225"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:34.546291Z","signature_b64":"87KNPb8BYeyPWCxOe3+yqdYkKG9b5yzAHBYZx1uyjJ40QKtDsoPVH8SaiJLUkOZ1oqZ25eVXCfqpd/ix3g9ABQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"040b7b0f0ede86a1c76d2651ac466ca9c0a4aaeec92375d0c84c1b69c40d6f72","last_reissued_at":"2026-05-17T23:39:34.545733Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:34.545733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Uniform Martin's conjecture, locally","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Vittorio Bard","submitted_at":"2019-07-24T22:46:00Z","abstract_excerpt":"We show that part I of uniform Martin's conjecture follows from a local phenomenon, namely that if a non-constant Turing invariant function goes from the Turing degree $\\boldsymbol x$ to the Turing degree $\\boldsymbol y$, then $\\boldsymbol x \\le_T \\boldsymbol y$. Besides improving our knowledge about part I of uniform Martin's conjecture (which turns out to be equivalent to Turing determinacy), the discovery of such local phenomenon also leads to new results that did not look strictly related to Martin's conjecture before. In particular, we get that computable reducibility $\\le_c$ on equivalen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.10766","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1907.10766","created_at":"2026-05-17T23:39:34.545829+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.10766v1","created_at":"2026-05-17T23:39:34.545829+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.10766","created_at":"2026-05-17T23:39:34.545829+00:00"},{"alias_kind":"pith_short_12","alias_value":"AQFXWDYO32DK","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"AQFXWDYO32DKDR3N","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"AQFXWDYO","created_at":"2026-05-18T12:33:12.712433+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH","json":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH.json","graph_json":"https://pith.science/api/pith-number/AQFXWDYO32DKDR3NEZI2YRTMVH/graph.json","events_json":"https://pith.science/api/pith-number/AQFXWDYO32DKDR3NEZI2YRTMVH/events.json","paper":"https://pith.science/paper/AQFXWDYO"},"agent_actions":{"view_html":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH","download_json":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH.json","view_paper":"https://pith.science/paper/AQFXWDYO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.10766&json=true","fetch_graph":"https://pith.science/api/pith-number/AQFXWDYO32DKDR3NEZI2YRTMVH/graph.json","fetch_events":"https://pith.science/api/pith-number/AQFXWDYO32DKDR3NEZI2YRTMVH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH/action/storage_attestation","attest_author":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH/action/author_attestation","sign_citation":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH/action/citation_signature","submit_replication":"https://pith.science/pith/AQFXWDYO32DKDR3NEZI2YRTMVH/action/replication_record"}},"created_at":"2026-05-17T23:39:34.545829+00:00","updated_at":"2026-05-17T23:39:34.545829+00:00"}