{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:F643XUYIDNVRPRW7ED6HFFNUMA","short_pith_number":"pith:F643XUYI","schema_version":"1.0","canonical_sha256":"2fb9bbd3081b6b17c6df20fc7295b46036b16ab8399646ee913ba2d24bdc2f10","source":{"kind":"arxiv","id":"1512.03024","version":2},"attestation_state":"computed","paper":{"title":"Comparing representations for function spaces in computable analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arno Pauly, Florian Steinberg","submitted_at":"2015-12-09T20:00:37Z","abstract_excerpt":"This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared to more natural representations for these spaces. The formal framework for the comparisons is provided by Weihrauch reducibility.\n  The centrepiece of the paper considers several representations of the analytic functions on the unit disk and their mutual translations. All translations that are not already computable are shown to be Weihrauch equivalent to cl"},"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":"1512.03024","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-09T20:00:37Z","cross_cats_sorted":[],"title_canon_sha256":"087f0f38c033c71426bb27152ca69f27d808c696141e6aaae5c8bb012121b66c","abstract_canon_sha256":"f5e1c51f2d8ae9943ecd355aefdf151ec56d7b9aa2ddf3f856cdc067f96ed546"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:55:34.393923Z","signature_b64":"ixxRoa5EWOid0qN5Jj5wrsc85YGqumUKUWWooWxj9O9NlGbUfq2AERlTKZNgPH1x+QjgX3uSOGIH9dVWy69IDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fb9bbd3081b6b17c6df20fc7295b46036b16ab8399646ee913ba2d24bdc2f10","last_reissued_at":"2026-05-18T00:55:34.393408Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:55:34.393408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Comparing representations for function spaces in computable analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arno Pauly, Florian Steinberg","submitted_at":"2015-12-09T20:00:37Z","abstract_excerpt":"This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared to more natural representations for these spaces. The formal framework for the comparisons is provided by Weihrauch reducibility.\n  The centrepiece of the paper considers several representations of the analytic functions on the unit disk and their mutual translations. All translations that are not already computable are shown to be Weihrauch equivalent to cl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.03024","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":"1512.03024","created_at":"2026-05-18T00:55:34.393481+00:00"},{"alias_kind":"arxiv_version","alias_value":"1512.03024v2","created_at":"2026-05-18T00:55:34.393481+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.03024","created_at":"2026-05-18T00:55:34.393481+00:00"},{"alias_kind":"pith_short_12","alias_value":"F643XUYIDNVR","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_16","alias_value":"F643XUYIDNVRPRW7","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_8","alias_value":"F643XUYI","created_at":"2026-05-18T12:29:19.899920+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/F643XUYIDNVRPRW7ED6HFFNUMA","json":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA.json","graph_json":"https://pith.science/api/pith-number/F643XUYIDNVRPRW7ED6HFFNUMA/graph.json","events_json":"https://pith.science/api/pith-number/F643XUYIDNVRPRW7ED6HFFNUMA/events.json","paper":"https://pith.science/paper/F643XUYI"},"agent_actions":{"view_html":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA","download_json":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA.json","view_paper":"https://pith.science/paper/F643XUYI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1512.03024&json=true","fetch_graph":"https://pith.science/api/pith-number/F643XUYIDNVRPRW7ED6HFFNUMA/graph.json","fetch_events":"https://pith.science/api/pith-number/F643XUYIDNVRPRW7ED6HFFNUMA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA/action/storage_attestation","attest_author":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA/action/author_attestation","sign_citation":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA/action/citation_signature","submit_replication":"https://pith.science/pith/F643XUYIDNVRPRW7ED6HFFNUMA/action/replication_record"}},"created_at":"2026-05-18T00:55:34.393481+00:00","updated_at":"2026-05-18T00:55:34.393481+00:00"}