{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:JW2AJXNULBKVZJNQP4N6O5OU4S","short_pith_number":"pith:JW2AJXNU","canonical_record":{"source":{"id":"1501.03783","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-14T04:56:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9938fa28ed9650b11ae68cc1c162c03e859c343b6148ed6618c7909998d95196","abstract_canon_sha256":"e4b30b0208172b6dab4049eac352c1089446b32702a1ae368e50004ea375f79f"},"schema_version":"1.0"},"canonical_sha256":"4db404ddb458555ca5b07f1be775d4e490cffc6092ebcc1c956b104ff8bc62cf","source":{"kind":"arxiv","id":"1501.03783","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03783","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03783v2","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03783","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"JW2AJXNULBKV","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JW2AJXNULBKVZJNQ","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JW2AJXNU","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:JW2AJXNULBKVZJNQP4N6O5OU4S","target":"record","payload":{"canonical_record":{"source":{"id":"1501.03783","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-14T04:56:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9938fa28ed9650b11ae68cc1c162c03e859c343b6148ed6618c7909998d95196","abstract_canon_sha256":"e4b30b0208172b6dab4049eac352c1089446b32702a1ae368e50004ea375f79f"},"schema_version":"1.0"},"canonical_sha256":"4db404ddb458555ca5b07f1be775d4e490cffc6092ebcc1c956b104ff8bc62cf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:35.230235Z","signature_b64":"CIiz8zlyPjGd6hpwpIj3UrTpHWcXUScq8bnRsPuQmO+QTGLntIHmu/LNDROG4lL2l0Ds3qO1WpZy3LUYT75KBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4db404ddb458555ca5b07f1be775d4e490cffc6092ebcc1c956b104ff8bc62cf","last_reissued_at":"2026-05-18T01:37:35.229761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:35.229761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1501.03783","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:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P1OzCJIgy5CSTVS/gPuksFUYO5X6MXhUlU8KOcuzoJwmp7m7BbyDeded81Zqx2Q9hy9F8fuFlCGhGz2RiLdTAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:08:49.781472Z"},"content_sha256":"0c14fe13abcdf31bc61a44db48081c66ee2891fe237d8874432937c59a7daa01","schema_version":"1.0","event_id":"sha256:0c14fe13abcdf31bc61a44db48081c66ee2891fe237d8874432937c59a7daa01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:JW2AJXNULBKVZJNQP4N6O5OU4S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Effective zero-dimensionality for computable metric spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Australia), Perth, Robert Kenny (The University of Western Australia","submitted_at":"2015-01-14T04:56:47Z","abstract_excerpt":"We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, four operations (relative to the space and a class of subspaces) are defined; these correspond to definitions of inductive and covering dimensions and a countable basis condition. Finally, an effective re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03783","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:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Xgwf/VawlmT04/TptgS4JIwrSb/SFd8GB9ECuoOxazWat4q0/NQlvC2et329ghP6mAG1EOGdEeJ4QPKpYr6BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:08:49.781876Z"},"content_sha256":"e076c4f8ad0c85f5545f2e9740fda2f26af2a0b3d45d44f937ad14f34899abe5","schema_version":"1.0","event_id":"sha256:e076c4f8ad0c85f5545f2e9740fda2f26af2a0b3d45d44f937ad14f34899abe5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/bundle.json","state_url":"https://pith.science/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/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-07-05T10:08:49Z","links":{"resolver":"https://pith.science/pith/JW2AJXNULBKVZJNQP4N6O5OU4S","bundle":"https://pith.science/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/bundle.json","state":"https://pith.science/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JW2AJXNULBKVZJNQP4N6O5OU4S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:JW2AJXNULBKVZJNQP4N6O5OU4S","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":"e4b30b0208172b6dab4049eac352c1089446b32702a1ae368e50004ea375f79f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-14T04:56:47Z","title_canon_sha256":"9938fa28ed9650b11ae68cc1c162c03e859c343b6148ed6618c7909998d95196"},"schema_version":"1.0","source":{"id":"1501.03783","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.03783","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1501.03783v2","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.03783","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"JW2AJXNULBKV","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"JW2AJXNULBKVZJNQ","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"JW2AJXNU","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:e076c4f8ad0c85f5545f2e9740fda2f26af2a0b3d45d44f937ad14f34899abe5","target":"graph","created_at":"2026-05-18T01:37:35Z","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 begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, four operations (relative to the space and a class of subspaces) are defined; these correspond to definitions of inductive and covering dimensions and a countable basis condition. Finally, an effective re","authors_text":"Australia), Perth, Robert Kenny (The University of Western Australia","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-14T04:56:47Z","title":"Effective zero-dimensionality for computable metric spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.03783","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:0c14fe13abcdf31bc61a44db48081c66ee2891fe237d8874432937c59a7daa01","target":"record","created_at":"2026-05-18T01:37:35Z","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":"e4b30b0208172b6dab4049eac352c1089446b32702a1ae368e50004ea375f79f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-14T04:56:47Z","title_canon_sha256":"9938fa28ed9650b11ae68cc1c162c03e859c343b6148ed6618c7909998d95196"},"schema_version":"1.0","source":{"id":"1501.03783","kind":"arxiv","version":2}},"canonical_sha256":"4db404ddb458555ca5b07f1be775d4e490cffc6092ebcc1c956b104ff8bc62cf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4db404ddb458555ca5b07f1be775d4e490cffc6092ebcc1c956b104ff8bc62cf","first_computed_at":"2026-05-18T01:37:35.229761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:35.229761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CIiz8zlyPjGd6hpwpIj3UrTpHWcXUScq8bnRsPuQmO+QTGLntIHmu/LNDROG4lL2l0Ds3qO1WpZy3LUYT75KBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:35.230235Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.03783","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c14fe13abcdf31bc61a44db48081c66ee2891fe237d8874432937c59a7daa01","sha256:e076c4f8ad0c85f5545f2e9740fda2f26af2a0b3d45d44f937ad14f34899abe5"],"state_sha256":"2dfac6a37c5d0f417ca9ff687c9c0df6a23d0146e69198326bcf75fd7a2d655a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"azWEr4vmHYlrCDt/FBBX+segr2/W6GXCs4Cm5gg7rMvdF/Pr50AmL3ICol/xTS9A7KQx9IZq3wGe2u+cT9mkDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T10:08:49.783775Z","bundle_sha256":"0e73b921c08af566186c0a6c074369ef3002b97422ec4299c9ecb2b1371cd2e7"}}