{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:NUC7OSSDARONYC2ITLBEWXGFZL","short_pith_number":"pith:NUC7OSSD","canonical_record":{"source":{"id":"0909.1198","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-07T10:16:20Z","cross_cats_sorted":[],"title_canon_sha256":"022249606ed1496a2d68527bf9ed3c89d4867f83ea76327f7add759282e4b63f","abstract_canon_sha256":"5d5f487eeda6c8d2f5f942f79cbf6914974a1385c571533ec4102e60772c3061"},"schema_version":"1.0"},"canonical_sha256":"6d05f74a43045cdc0b489ac24b5cc5cae148d29a6ecae4573cf3051dbb57ddcd","source":{"kind":"arxiv","id":"0909.1198","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.1198","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0909.1198v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.1198","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"NUC7OSSDARON","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"NUC7OSSDARONYC2I","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"NUC7OSSD","created_at":"2026-05-18T12:26:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:NUC7OSSDARONYC2ITLBEWXGFZL","target":"record","payload":{"canonical_record":{"source":{"id":"0909.1198","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-07T10:16:20Z","cross_cats_sorted":[],"title_canon_sha256":"022249606ed1496a2d68527bf9ed3c89d4867f83ea76327f7add759282e4b63f","abstract_canon_sha256":"5d5f487eeda6c8d2f5f942f79cbf6914974a1385c571533ec4102e60772c3061"},"schema_version":"1.0"},"canonical_sha256":"6d05f74a43045cdc0b489ac24b5cc5cae148d29a6ecae4573cf3051dbb57ddcd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.294668Z","signature_b64":"Hz1IF+1QViYRWVVNpWbSiqpBkA8V2/1uJCXeLP0gmMG7Gr+Y3dIbDtSGcabNslVJx7u+T8ldxq56BAOqvrxwAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d05f74a43045cdc0b489ac24b5cc5cae148d29a6ecae4573cf3051dbb57ddcd","last_reissued_at":"2026-05-18T01:37:40.294044Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.294044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0909.1198","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:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+3mTio0sh6v0qr8uQtEe67seoYsNVgFuj8SFhwmF2gyznUlbOiRNrzM0ZLymAQt6221lz+e4TZQ8ECwXSWTwAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:46:17.867229Z"},"content_sha256":"dcb60c388d7bb706c3683be698acaca325035f79562c1e1035022860f66cea65","schema_version":"1.0","event_id":"sha256:dcb60c388d7bb706c3683be698acaca325035f79562c1e1035022860f66cea65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:NUC7OSSDARONYC2ITLBEWXGFZL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A rich hierarchy of functionals of finite types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dag Normann","submitted_at":"2009-09-07T10:16:20Z","abstract_excerpt":"We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the Urysohn space is that every other separable metric space can be isometrically embedded into it. We discuss why the Urysohn space may be considered as the universal model of possibly infinitary outputs of algorithms. The main result is that all our typed hierarchies may be topologically embedded, type by type, into the corresponding hierarchy over the Urysoh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.1198","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:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1LiIWDz6sbjRtq2jn03Vduc8H4BN8ailSvO25gnmwmzbmXpdaUnSHnHFulH3scAL7BD/3+4B0uQu+jsRAKYUBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:46:17.867594Z"},"content_sha256":"2cf80b99ed4f8db1c743ac041369289dc3bd1808070b8505d23a4f52d1c788a9","schema_version":"1.0","event_id":"sha256:2cf80b99ed4f8db1c743ac041369289dc3bd1808070b8505d23a4f52d1c788a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NUC7OSSDARONYC2ITLBEWXGFZL/bundle.json","state_url":"https://pith.science/pith/NUC7OSSDARONYC2ITLBEWXGFZL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NUC7OSSDARONYC2ITLBEWXGFZL/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-06-05T12:46:17Z","links":{"resolver":"https://pith.science/pith/NUC7OSSDARONYC2ITLBEWXGFZL","bundle":"https://pith.science/pith/NUC7OSSDARONYC2ITLBEWXGFZL/bundle.json","state":"https://pith.science/pith/NUC7OSSDARONYC2ITLBEWXGFZL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NUC7OSSDARONYC2ITLBEWXGFZL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:NUC7OSSDARONYC2ITLBEWXGFZL","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":"5d5f487eeda6c8d2f5f942f79cbf6914974a1385c571533ec4102e60772c3061","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-07T10:16:20Z","title_canon_sha256":"022249606ed1496a2d68527bf9ed3c89d4867f83ea76327f7add759282e4b63f"},"schema_version":"1.0","source":{"id":"0909.1198","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0909.1198","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0909.1198v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0909.1198","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"NUC7OSSDARON","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"NUC7OSSDARONYC2I","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"NUC7OSSD","created_at":"2026-05-18T12:26:00Z"}],"graph_snapshots":[{"event_id":"sha256:2cf80b99ed4f8db1c743ac041369289dc3bd1808070b8505d23a4f52d1c788a9","target":"graph","created_at":"2026-05-18T01:37:40Z","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 are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the Urysohn space is that every other separable metric space can be isometrically embedded into it. We discuss why the Urysohn space may be considered as the universal model of possibly infinitary outputs of algorithms. The main result is that all our typed hierarchies may be topologically embedded, type by type, into the corresponding hierarchy over the Urysoh","authors_text":"Dag Normann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-07T10:16:20Z","title":"A rich hierarchy of functionals of finite types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0909.1198","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:dcb60c388d7bb706c3683be698acaca325035f79562c1e1035022860f66cea65","target":"record","created_at":"2026-05-18T01:37:40Z","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":"5d5f487eeda6c8d2f5f942f79cbf6914974a1385c571533ec4102e60772c3061","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-09-07T10:16:20Z","title_canon_sha256":"022249606ed1496a2d68527bf9ed3c89d4867f83ea76327f7add759282e4b63f"},"schema_version":"1.0","source":{"id":"0909.1198","kind":"arxiv","version":2}},"canonical_sha256":"6d05f74a43045cdc0b489ac24b5cc5cae148d29a6ecae4573cf3051dbb57ddcd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d05f74a43045cdc0b489ac24b5cc5cae148d29a6ecae4573cf3051dbb57ddcd","first_computed_at":"2026-05-18T01:37:40.294044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.294044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hz1IF+1QViYRWVVNpWbSiqpBkA8V2/1uJCXeLP0gmMG7Gr+Y3dIbDtSGcabNslVJx7u+T8ldxq56BAOqvrxwAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.294668Z","signed_message":"canonical_sha256_bytes"},"source_id":"0909.1198","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dcb60c388d7bb706c3683be698acaca325035f79562c1e1035022860f66cea65","sha256:2cf80b99ed4f8db1c743ac041369289dc3bd1808070b8505d23a4f52d1c788a9"],"state_sha256":"45509c91100d1bc760eb97efd344eddfc4acb819f23fc2283cf22fe1b7131aea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B2p8Ct8Vi01RdCgXUwlSpzNLhwKsSa3yTihKWHIMUKKNS3DUPk/OFnRqRSQk7NsUqcW6e9x4bEj6zLepPRxWDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:46:17.869556Z","bundle_sha256":"537ee45225a71e2303d1c29e648a522daaf5a9099d7f2f25a8b492c4c3d82210"}}