{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6EMIWLQ43RHRZ4TGGZ6RQKWDT3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"a45b956b7568254d00b7807db7426a8c2b3d9f4587e960f3131f43b64ce54c29","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-11T14:23:19Z","title_canon_sha256":"88b212271eaa8134e7a002edcf2e27520e7495adb190ebd8efd4870dc5bcc368"},"schema_version":"1.0","source":{"id":"1611.03714","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.03714","created_at":"2026-05-18T00:20:17Z"},{"alias_kind":"arxiv_version","alias_value":"1611.03714v2","created_at":"2026-05-18T00:20:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.03714","created_at":"2026-05-18T00:20:17Z"},{"alias_kind":"pith_short_12","alias_value":"6EMIWLQ43RHR","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6EMIWLQ43RHRZ4TG","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6EMIWLQ4","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:dcf7f4fe1627218da921bb6fdbbe5ba5d8e8e9d74d960d4732c43ed26c087427","target":"graph","created_at":"2026-05-18T00:20:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Markov's principle is a statement that originated in the Russian school of Constructive Mathematics and stated originally that \"if it is impossible that an algorithm does not terminate, then it will terminate\". This principle has been adapted to many different contexts, and in particular we are interested in its most common version for arithmetic, which can be stated as \"given a total recursive function f , if it is impossible that there is no n for which f(n) = 0, then there exists an n such that f(n) = 0\". This is in general not accepted in constructivism, where stating an existential statem","authors_text":"Matteo Manighetti","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-11T14:23:19Z","title":"Computational Interpretations of Markov's principle"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.03714","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5a8ce0bb05f451c99fb316c7c71878c63090f16e2e6df0f9c9a979868975c308","target":"record","created_at":"2026-05-18T00:20:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"a45b956b7568254d00b7807db7426a8c2b3d9f4587e960f3131f43b64ce54c29","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-11T14:23:19Z","title_canon_sha256":"88b212271eaa8134e7a002edcf2e27520e7495adb190ebd8efd4870dc5bcc368"},"schema_version":"1.0","source":{"id":"1611.03714","kind":"arxiv","version":2}},"canonical_sha256":"f1188b2e1cdc4f1cf266367d182ac39ee6c225a51f3f81ae5648590b469b294a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1188b2e1cdc4f1cf266367d182ac39ee6c225a51f3f81ae5648590b469b294a","first_computed_at":"2026-05-18T00:20:17.612902Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:17.612902Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gJpFyV/AIamsrJK2JHwTljPt+l6b30FU5RClC2WQ56KslJeQwpAqAxXvIC07Z7CqLfscuxafeCdrRbE5C1muDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:17.613558Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.03714","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a8ce0bb05f451c99fb316c7c71878c63090f16e2e6df0f9c9a979868975c308","sha256:dcf7f4fe1627218da921bb6fdbbe5ba5d8e8e9d74d960d4732c43ed26c087427"],"state_sha256":"b82756e978dd02e813f61851ce100330980a499d8561377360088431ff10b4a7"}