{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:WB7JAO4NTL5YYSHNHP6GHXAFGZ","short_pith_number":"pith:WB7JAO4N","canonical_record":{"source":{"id":"1105.3335","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-05-17T10:43:04Z","cross_cats_sorted":[],"title_canon_sha256":"d68e1494e84cb8a7ebab3d0c6e3da250027e426a090d12f0054b5439635b3b59","abstract_canon_sha256":"0717a0ccef3eea275bc10e8771b38a42bbba0afdf947a61f3307a2eed0dec509"},"schema_version":"1.0"},"canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","source":{"kind":"arxiv","id":"1105.3335","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.3335","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1105.3335v2","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.3335","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"WB7JAO4NTL5Y","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WB7JAO4NTL5YYSHN","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WB7JAO4N","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:WB7JAO4NTL5YYSHNHP6GHXAFGZ","target":"record","payload":{"canonical_record":{"source":{"id":"1105.3335","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-05-17T10:43:04Z","cross_cats_sorted":[],"title_canon_sha256":"d68e1494e84cb8a7ebab3d0c6e3da250027e426a090d12f0054b5439635b3b59","abstract_canon_sha256":"0717a0ccef3eea275bc10e8771b38a42bbba0afdf947a61f3307a2eed0dec509"},"schema_version":"1.0"},"canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.489861Z","signature_b64":"uBo/DzqaeaLzICPhIiVZhodkckpYSi5Bmzj9+AWk1NJIWMcxeZEKJYjuT9o4df9jrPit2+kpgqacnPw12v0/CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","last_reissued_at":"2026-05-18T01:37:39.489211Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.489211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1105.3335","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qWcW0wHxY3OpY3lmebFWRtrZ2ftPzFb5M77NmWPXMy7VqpDQnTgLoD7NQgBelz9uFTLAAATxfyhYAUKOE+9ICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:17:12.024664Z"},"content_sha256":"de20c452146e1f53f68f8207aa42da576a4cfd05880bd0f476b693f8ea50da32","schema_version":"1.0","event_id":"sha256:de20c452146e1f53f68f8207aa42da576a4cfd05880bd0f476b693f8ea50da32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:WB7JAO4NTL5YYSHNHP6GHXAFGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Turing machines on represented sets, a model of computation for Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Germany), Hagen, Iran), Klaus Weihrauch (University of Hagen, Nazanin Tavana (AmirKabir University, Tehran","submitted_at":"2011-05-17T10:43:04Z","abstract_excerpt":"We introduce a new type of generalized Turing machines (GTMs), which are intended as a tool for the mathematician who studies computability in Analysis. In a single tape cell a GTM can store a symbol, a real number, a continuous real function or a probability measure, for example. The model is based on TTE, the representation approach for computable analysis. As a main result we prove that the functions that are computable via given representations are closed under GTM programming. This generalizes the well known fact that these functions are closed under composition. The theorem allows to spe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.3335","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4O045wgGHxRjKYYULkFxxLRGt68vtvUX38yGiLzlnBrWj/LwiPoWZw1N4pqmN3W597fc1ZuVFqlTcnSC176GAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:17:12.025323Z"},"content_sha256":"00d25b3e1c97ff71e756eb9bb622dffa3481bf10d66f0a9418714ff0ac55d0a8","schema_version":"1.0","event_id":"sha256:00d25b3e1c97ff71e756eb9bb622dffa3481bf10d66f0a9418714ff0ac55d0a8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/bundle.json","state_url":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T23:17:12Z","links":{"resolver":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ","bundle":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/bundle.json","state":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:WB7JAO4NTL5YYSHNHP6GHXAFGZ","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":"0717a0ccef3eea275bc10e8771b38a42bbba0afdf947a61f3307a2eed0dec509","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-05-17T10:43:04Z","title_canon_sha256":"d68e1494e84cb8a7ebab3d0c6e3da250027e426a090d12f0054b5439635b3b59"},"schema_version":"1.0","source":{"id":"1105.3335","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.3335","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1105.3335v2","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.3335","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"WB7JAO4NTL5Y","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WB7JAO4NTL5YYSHN","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WB7JAO4N","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:00d25b3e1c97ff71e756eb9bb622dffa3481bf10d66f0a9418714ff0ac55d0a8","target":"graph","created_at":"2026-05-18T01:37:39Z","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":"We introduce a new type of generalized Turing machines (GTMs), which are intended as a tool for the mathematician who studies computability in Analysis. In a single tape cell a GTM can store a symbol, a real number, a continuous real function or a probability measure, for example. The model is based on TTE, the representation approach for computable analysis. As a main result we prove that the functions that are computable via given representations are closed under GTM programming. This generalizes the well known fact that these functions are closed under composition. The theorem allows to spe","authors_text":"Germany), Hagen, Iran), Klaus Weihrauch (University of Hagen, Nazanin Tavana (AmirKabir University, Tehran","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-05-17T10:43:04Z","title":"Turing machines on represented sets, a model of computation for Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.3335","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:de20c452146e1f53f68f8207aa42da576a4cfd05880bd0f476b693f8ea50da32","target":"record","created_at":"2026-05-18T01:37:39Z","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":"0717a0ccef3eea275bc10e8771b38a42bbba0afdf947a61f3307a2eed0dec509","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-05-17T10:43:04Z","title_canon_sha256":"d68e1494e84cb8a7ebab3d0c6e3da250027e426a090d12f0054b5439635b3b59"},"schema_version":"1.0","source":{"id":"1105.3335","kind":"arxiv","version":2}},"canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","first_computed_at":"2026-05-18T01:37:39.489211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:39.489211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uBo/DzqaeaLzICPhIiVZhodkckpYSi5Bmzj9+AWk1NJIWMcxeZEKJYjuT9o4df9jrPit2+kpgqacnPw12v0/CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:39.489861Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.3335","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de20c452146e1f53f68f8207aa42da576a4cfd05880bd0f476b693f8ea50da32","sha256:00d25b3e1c97ff71e756eb9bb622dffa3481bf10d66f0a9418714ff0ac55d0a8"],"state_sha256":"c9dd7bac38a6672b8e2c09f6d8c1b15b151364b1b4da8b211e467f883e52e613"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UP7U1CfZvzite7nOeE46IGWxpk7uBd3KAJmfckHugqq8ZGsLksJRVYPfh3w8fm7h0CMR3F6bjX+aZPHsHVzkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T23:17:12.028598Z","bundle_sha256":"8a55ad9c62fc214ba97d3c61186286f4c773c9502fbbb088f70584f14be431b2"}}