{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:2AIBFXV5OWN46SKKCJB7CGAIDC","short_pith_number":"pith:2AIBFXV5","canonical_record":{"source":{"id":"1210.1008","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-10-03T07:03:51Z","cross_cats_sorted":[],"title_canon_sha256":"f2d36333af224935997c72eff2f72dab662a33596e8eda35a0259d1635041aa6","abstract_canon_sha256":"28000ff5bb13eba166ef3ca7c8fb1f6a4529ebbd0ef829226339123d8984a4a4"},"schema_version":"1.0"},"canonical_sha256":"d01012debd759bcf494a1243f11808189e0c844766e955c98dba06ee342ef9f8","source":{"kind":"arxiv","id":"1210.1008","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.1008","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"arxiv_version","alias_value":"1210.1008v1","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.1008","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"pith_short_12","alias_value":"2AIBFXV5OWN4","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"2AIBFXV5OWN46SKK","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"2AIBFXV5","created_at":"2026-05-18T12:26:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:2AIBFXV5OWN46SKKCJB7CGAIDC","target":"record","payload":{"canonical_record":{"source":{"id":"1210.1008","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-10-03T07:03:51Z","cross_cats_sorted":[],"title_canon_sha256":"f2d36333af224935997c72eff2f72dab662a33596e8eda35a0259d1635041aa6","abstract_canon_sha256":"28000ff5bb13eba166ef3ca7c8fb1f6a4529ebbd0ef829226339123d8984a4a4"},"schema_version":"1.0"},"canonical_sha256":"d01012debd759bcf494a1243f11808189e0c844766e955c98dba06ee342ef9f8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:44:13.085783Z","signature_b64":"OHEI11AGJ1wqQBoScnzxpJxueLscJjDjZxzDJgxtJzp0J+FZVWE8E1ye8ZVvww39j2A3VtflW8Lp+qhMASTDAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d01012debd759bcf494a1243f11808189e0c844766e955c98dba06ee342ef9f8","last_reissued_at":"2026-05-18T03:44:13.085092Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:44:13.085092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.1008","source_version":1,"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-18T03:44:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fka5vBynlp3eOgef/DisJOpGpWccouXURbP8a0ZeDQHP3cfdm8Fv3XVhS82eGEddm/aYtFsIAOmm4XbQ8eUOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:29:00.494057Z"},"content_sha256":"4e9c71b50429e90130997bb5e45f525e4752faba9f3b972d047169bc868a49c8","schema_version":"1.0","event_id":"sha256:4e9c71b50429e90130997bb5e45f525e4752faba9f3b972d047169bc868a49c8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:2AIBFXV5OWN46SKKCJB7CGAIDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Two Topological Uniqueness Theorems for Spaces of Real Numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GN","authors_text":"Michael Francis","submitted_at":"2012-10-03T07:03:51Z","abstract_excerpt":"A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without isolated points. The purpose of this exposition is to give an accessible overview of this celebrated pair of uniqueness results. It is illuminating to treat the problems simultaneously because of commonalities in their proofs. Some of the more counterintuitive implications of these results are explored through examples. Additionally, near-examples are provide"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.1008","kind":"arxiv","version":1},"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-18T03:44:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tFC9IxML+C4lR3ER3yz9yMvbdRw3MM5K3LlgPObQ3wjqoMRl6sq/Db8mI4LFC23jvSjaNLaqc8pNh4ZYJrakBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:29:00.494424Z"},"content_sha256":"d5153e7cc24ea95b1d00e5947c1299be5686e80a1e96ec4bf5244c8207671961","schema_version":"1.0","event_id":"sha256:d5153e7cc24ea95b1d00e5947c1299be5686e80a1e96ec4bf5244c8207671961"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/bundle.json","state_url":"https://pith.science/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/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-05T21:29:00Z","links":{"resolver":"https://pith.science/pith/2AIBFXV5OWN46SKKCJB7CGAIDC","bundle":"https://pith.science/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/bundle.json","state":"https://pith.science/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2AIBFXV5OWN46SKKCJB7CGAIDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:2AIBFXV5OWN46SKKCJB7CGAIDC","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":"28000ff5bb13eba166ef3ca7c8fb1f6a4529ebbd0ef829226339123d8984a4a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-10-03T07:03:51Z","title_canon_sha256":"f2d36333af224935997c72eff2f72dab662a33596e8eda35a0259d1635041aa6"},"schema_version":"1.0","source":{"id":"1210.1008","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.1008","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"arxiv_version","alias_value":"1210.1008v1","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.1008","created_at":"2026-05-18T03:44:13Z"},{"alias_kind":"pith_short_12","alias_value":"2AIBFXV5OWN4","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"2AIBFXV5OWN46SKK","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"2AIBFXV5","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:d5153e7cc24ea95b1d00e5947c1299be5686e80a1e96ec4bf5244c8207671961","target":"graph","created_at":"2026-05-18T03:44:13Z","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":"A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without isolated points. The purpose of this exposition is to give an accessible overview of this celebrated pair of uniqueness results. It is illuminating to treat the problems simultaneously because of commonalities in their proofs. Some of the more counterintuitive implications of these results are explored through examples. Additionally, near-examples are provide","authors_text":"Michael Francis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-10-03T07:03:51Z","title":"Two Topological Uniqueness Theorems for Spaces of Real Numbers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.1008","kind":"arxiv","version":1},"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:4e9c71b50429e90130997bb5e45f525e4752faba9f3b972d047169bc868a49c8","target":"record","created_at":"2026-05-18T03:44:13Z","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":"28000ff5bb13eba166ef3ca7c8fb1f6a4529ebbd0ef829226339123d8984a4a4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2012-10-03T07:03:51Z","title_canon_sha256":"f2d36333af224935997c72eff2f72dab662a33596e8eda35a0259d1635041aa6"},"schema_version":"1.0","source":{"id":"1210.1008","kind":"arxiv","version":1}},"canonical_sha256":"d01012debd759bcf494a1243f11808189e0c844766e955c98dba06ee342ef9f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d01012debd759bcf494a1243f11808189e0c844766e955c98dba06ee342ef9f8","first_computed_at":"2026-05-18T03:44:13.085092Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:44:13.085092Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OHEI11AGJ1wqQBoScnzxpJxueLscJjDjZxzDJgxtJzp0J+FZVWE8E1ye8ZVvww39j2A3VtflW8Lp+qhMASTDAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:44:13.085783Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.1008","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e9c71b50429e90130997bb5e45f525e4752faba9f3b972d047169bc868a49c8","sha256:d5153e7cc24ea95b1d00e5947c1299be5686e80a1e96ec4bf5244c8207671961"],"state_sha256":"32429f1c23bea4eadca24f446884370e0b4c9c5be0af5298920e163d9c9f2efb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J+axr+/ZDeO33knJVRVSOdOJkpRYrxfaBnQ+6HwfChyzBcqEe7lRc96iRyno5GSz2GzaYIgBkLWNrquoWJmqAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T21:29:00.496660Z","bundle_sha256":"d0aa97127424d82f4d392b5eea01919e9ae39e834b6f54f6dc9d68715fcf16ed"}}