{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:L2JUJOAYGVEEZYABGTDTI7QAQX","short_pith_number":"pith:L2JUJOAY","canonical_record":{"source":{"id":"1101.0792","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-01-04T19:01:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd791ad2e44cbe6eb950fc905742167a0880a890b1d3fdb4e6e3b608b9b36010","abstract_canon_sha256":"c5571767a59e1837d40a5222b4b2f0201f082909e1030dda499fe08d78edab5d"},"schema_version":"1.0"},"canonical_sha256":"5e9344b81835484ce00134c7347e0085dc119b3fb49cb0f0fb51a40a0941524a","source":{"kind":"arxiv","id":"1101.0792","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.0792","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"arxiv_version","alias_value":"1101.0792v3","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.0792","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"pith_short_12","alias_value":"L2JUJOAYGVEE","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"L2JUJOAYGVEEZYAB","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"L2JUJOAY","created_at":"2026-05-18T12:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:L2JUJOAYGVEEZYABGTDTI7QAQX","target":"record","payload":{"canonical_record":{"source":{"id":"1101.0792","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-01-04T19:01:32Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd791ad2e44cbe6eb950fc905742167a0880a890b1d3fdb4e6e3b608b9b36010","abstract_canon_sha256":"c5571767a59e1837d40a5222b4b2f0201f082909e1030dda499fe08d78edab5d"},"schema_version":"1.0"},"canonical_sha256":"5e9344b81835484ce00134c7347e0085dc119b3fb49cb0f0fb51a40a0941524a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:25.519844Z","signature_b64":"mYb0Y+iDWDfjhcpZp82cXt+PW+8sj2JCzhqp903nhsmidn8NmEMWoAipNtiKgZolnwlFjBNBSFvltTMzyRSWBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e9344b81835484ce00134c7347e0085dc119b3fb49cb0f0fb51a40a0941524a","last_reissued_at":"2026-05-18T00:49:25.519113Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:25.519113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.0792","source_version":3,"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-18T00:49:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jCOnANh6E40Dz5pzHuaMM2p/XFDJoCl3QI0ItyqjxlOwGYJqE0ZK9Qsd0ju/N2JJj9TYxJ4nXKJBiTonAXenDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:55:52.346734Z"},"content_sha256":"4e7b532d5a93d14450cb0e03561dc592047028d7c63e16d8ce0b94ca67d32cb3","schema_version":"1.0","event_id":"sha256:4e7b532d5a93d14450cb0e03561dc592047028d7c63e16d8ce0b94ca67d32cb3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:L2JUJOAYGVEEZYABGTDTI7QAQX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Bolzano-Weierstrass Theorem is the Jump of Weak K\\\"onig's Lemma","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Alberto Marcone, Guido Gherardi, Vasco Brattka","submitted_at":"2011-01-04T19:01:32Z","abstract_excerpt":"We classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem of that space. By specialization to sequences with a relatively compact range we obtain a characterization of the Bolzano-Weierstrass Theorem as the derivative of compact choice. In particular, this sh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.0792","kind":"arxiv","version":3},"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-18T00:49:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hxy9p3vnW0xviuT6Q2lHUYdy0ongyZ/k2gQwjfVYrBf95Tf82/yHj00YgrUi2REMJjKZ4v94iKaIivWjcnEMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:55:52.347095Z"},"content_sha256":"7d402c79fa3481d28b5bb1d82836bf7e8bcd59715f725d4354a5a91e6097510c","schema_version":"1.0","event_id":"sha256:7d402c79fa3481d28b5bb1d82836bf7e8bcd59715f725d4354a5a91e6097510c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/bundle.json","state_url":"https://pith.science/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/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-03T14:55:52Z","links":{"resolver":"https://pith.science/pith/L2JUJOAYGVEEZYABGTDTI7QAQX","bundle":"https://pith.science/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/bundle.json","state":"https://pith.science/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L2JUJOAYGVEEZYABGTDTI7QAQX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:L2JUJOAYGVEEZYABGTDTI7QAQX","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":"c5571767a59e1837d40a5222b4b2f0201f082909e1030dda499fe08d78edab5d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-01-04T19:01:32Z","title_canon_sha256":"dd791ad2e44cbe6eb950fc905742167a0880a890b1d3fdb4e6e3b608b9b36010"},"schema_version":"1.0","source":{"id":"1101.0792","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.0792","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"arxiv_version","alias_value":"1101.0792v3","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.0792","created_at":"2026-05-18T00:49:25Z"},{"alias_kind":"pith_short_12","alias_value":"L2JUJOAYGVEE","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"L2JUJOAYGVEEZYAB","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"L2JUJOAY","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:7d402c79fa3481d28b5bb1d82836bf7e8bcd59715f725d4354a5a91e6097510c","target":"graph","created_at":"2026-05-18T00:49:25Z","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 classify the computational content of the Bolzano-Weierstrass Theorem and variants thereof in the Weihrauch lattice. For this purpose we first introduce the concept of a derivative or jump in this lattice and we show that it has some properties similar to the Turing jump. Using this concept we prove that the derivative of closed choice of a computable metric space is the cluster point problem of that space. By specialization to sequences with a relatively compact range we obtain a characterization of the Bolzano-Weierstrass Theorem as the derivative of compact choice. In particular, this sh","authors_text":"Alberto Marcone, Guido Gherardi, Vasco Brattka","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-01-04T19:01:32Z","title":"The Bolzano-Weierstrass Theorem is the Jump of Weak K\\\"onig's Lemma"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.0792","kind":"arxiv","version":3},"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:4e7b532d5a93d14450cb0e03561dc592047028d7c63e16d8ce0b94ca67d32cb3","target":"record","created_at":"2026-05-18T00:49:25Z","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":"c5571767a59e1837d40a5222b4b2f0201f082909e1030dda499fe08d78edab5d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-01-04T19:01:32Z","title_canon_sha256":"dd791ad2e44cbe6eb950fc905742167a0880a890b1d3fdb4e6e3b608b9b36010"},"schema_version":"1.0","source":{"id":"1101.0792","kind":"arxiv","version":3}},"canonical_sha256":"5e9344b81835484ce00134c7347e0085dc119b3fb49cb0f0fb51a40a0941524a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e9344b81835484ce00134c7347e0085dc119b3fb49cb0f0fb51a40a0941524a","first_computed_at":"2026-05-18T00:49:25.519113Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:25.519113Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mYb0Y+iDWDfjhcpZp82cXt+PW+8sj2JCzhqp903nhsmidn8NmEMWoAipNtiKgZolnwlFjBNBSFvltTMzyRSWBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:25.519844Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.0792","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e7b532d5a93d14450cb0e03561dc592047028d7c63e16d8ce0b94ca67d32cb3","sha256:7d402c79fa3481d28b5bb1d82836bf7e8bcd59715f725d4354a5a91e6097510c"],"state_sha256":"9dffa1dac2047b5ddbd06a86b6c1931eb47558062d32b91431381332abba604e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fbqhhfGBMuJBVpDsjAjW+UcqF+au92/1p4BnOov8NHYDljchhDrVZHGJGbDxiHWWtQQPHZcNy+ZOZw9Ent3zDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:55:52.349052Z","bundle_sha256":"caf7013394255887c3491e4b0ad2f2f95a5888cf3929dc5fa3dba9a1c3543540"}}