{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:WB7JAO4NTL5YYSHNHP6GHXAFGZ","short_pith_number":"pith:WB7JAO4N","schema_version":"1.0","canonical_sha256":"b07e903b8d9afb8c48ed3bfc63dc053660b19fd2220ac0018c6dc382c42a5289","source":{"kind":"arxiv","id":"1105.3335","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1105.3335","created_at":"2026-05-18T01:37:39.489325+00:00"},{"alias_kind":"arxiv_version","alias_value":"1105.3335v2","created_at":"2026-05-18T01:37:39.489325+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.3335","created_at":"2026-05-18T01:37:39.489325+00:00"},{"alias_kind":"pith_short_12","alias_value":"WB7JAO4NTL5Y","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_16","alias_value":"WB7JAO4NTL5YYSHN","created_at":"2026-05-18T12:26:44.992195+00:00"},{"alias_kind":"pith_short_8","alias_value":"WB7JAO4N","created_at":"2026-05-18T12:26:44.992195+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/WB7JAO4NTL5YYSHNHP6GHXAFGZ","json":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ.json","graph_json":"https://pith.science/api/pith-number/WB7JAO4NTL5YYSHNHP6GHXAFGZ/graph.json","events_json":"https://pith.science/api/pith-number/WB7JAO4NTL5YYSHNHP6GHXAFGZ/events.json","paper":"https://pith.science/paper/WB7JAO4N"},"agent_actions":{"view_html":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ","download_json":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ.json","view_paper":"https://pith.science/paper/WB7JAO4N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1105.3335&json=true","fetch_graph":"https://pith.science/api/pith-number/WB7JAO4NTL5YYSHNHP6GHXAFGZ/graph.json","fetch_events":"https://pith.science/api/pith-number/WB7JAO4NTL5YYSHNHP6GHXAFGZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/action/storage_attestation","attest_author":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/action/author_attestation","sign_citation":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/action/citation_signature","submit_replication":"https://pith.science/pith/WB7JAO4NTL5YYSHNHP6GHXAFGZ/action/replication_record"}},"created_at":"2026-05-18T01:37:39.489325+00:00","updated_at":"2026-05-18T01:37:39.489325+00:00"}