{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:7CZII7YLEDEH7RZIRKFONT4W3T","short_pith_number":"pith:7CZII7YL","schema_version":"1.0","canonical_sha256":"f8b2847f0b20c87fc7288a8ae6cf96dccbae1a3b1919add593493a591a5318d4","source":{"kind":"arxiv","id":"1404.4449","version":2},"attestation_state":"computed","paper":{"title":"Demuth's path to randomness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andr\\'e Nies, Anton\\'in Ku\\v{c}era, Christopher P. Porter","submitted_at":"2014-04-17T08:31:46Z","abstract_excerpt":"Osvald Demuth (1936--1988) studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notions of effective null set which, when phrased in classical language, yield a number of major algorithmic randomness notions. In addition, he proved several results connecting constructive analysis and randomness that were rediscovered only much later.\n  In this paper, we trace the path that took Demuth from his constructivist roots to his deep and innovative work on the interactions between constructive analysis, algo"},"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":"1404.4449","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-17T08:31:46Z","cross_cats_sorted":[],"title_canon_sha256":"49ecfa55ad7ef298322564a4ff0d1e279f8f30defa769d70e59064a803207938","abstract_canon_sha256":"346a9443a6d92ee7d905ee00709716196c652818a09b603ce2c67d05298d9bf5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:24.098683Z","signature_b64":"hyL6dNqarJjpJ9lvn7ELQsTF/WjaySUSSiNge00MCiNHYnzODEjDR4BBkPi7KIO554tVL0ljRhJsv3glpgZ3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8b2847f0b20c87fc7288a8ae6cf96dccbae1a3b1919add593493a591a5318d4","last_reissued_at":"2026-05-18T02:47:24.098326Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:24.098326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Demuth's path to randomness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andr\\'e Nies, Anton\\'in Ku\\v{c}era, Christopher P. Porter","submitted_at":"2014-04-17T08:31:46Z","abstract_excerpt":"Osvald Demuth (1936--1988) studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notions of effective null set which, when phrased in classical language, yield a number of major algorithmic randomness notions. In addition, he proved several results connecting constructive analysis and randomness that were rediscovered only much later.\n  In this paper, we trace the path that took Demuth from his constructivist roots to his deep and innovative work on the interactions between constructive analysis, algo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.4449","kind":"arxiv","version":2},"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":"1404.4449","created_at":"2026-05-18T02:47:24.098385+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.4449v2","created_at":"2026-05-18T02:47:24.098385+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.4449","created_at":"2026-05-18T02:47:24.098385+00:00"},{"alias_kind":"pith_short_12","alias_value":"7CZII7YLEDEH","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"7CZII7YLEDEH7RZI","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"7CZII7YL","created_at":"2026-05-18T12:28:16.859392+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/7CZII7YLEDEH7RZIRKFONT4W3T","json":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T.json","graph_json":"https://pith.science/api/pith-number/7CZII7YLEDEH7RZIRKFONT4W3T/graph.json","events_json":"https://pith.science/api/pith-number/7CZII7YLEDEH7RZIRKFONT4W3T/events.json","paper":"https://pith.science/paper/7CZII7YL"},"agent_actions":{"view_html":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T","download_json":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T.json","view_paper":"https://pith.science/paper/7CZII7YL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.4449&json=true","fetch_graph":"https://pith.science/api/pith-number/7CZII7YLEDEH7RZIRKFONT4W3T/graph.json","fetch_events":"https://pith.science/api/pith-number/7CZII7YLEDEH7RZIRKFONT4W3T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T/action/storage_attestation","attest_author":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T/action/author_attestation","sign_citation":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T/action/citation_signature","submit_replication":"https://pith.science/pith/7CZII7YLEDEH7RZIRKFONT4W3T/action/replication_record"}},"created_at":"2026-05-18T02:47:24.098385+00:00","updated_at":"2026-05-18T02:47:24.098385+00:00"}