{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XAXYHQVB4J6TNW2THANFPPAQQQ","short_pith_number":"pith:XAXYHQVB","canonical_record":{"source":{"id":"1703.09314","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-27T21:26:15Z","cross_cats_sorted":[],"title_canon_sha256":"81fb975e1b43e2ce06a45dcb97a53af422c4f046a2e7ec3448727421ca965315","abstract_canon_sha256":"0fac931d11d4a172aeb3f1d06d42cdcedc085773fac971de52f5dd1bbd3bf371"},"schema_version":"1.0"},"canonical_sha256":"b82f83c2a1e27d36db53381a57bc10840fc2346ae8c17705e93d95eb91945c6e","source":{"kind":"arxiv","id":"1703.09314","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.09314","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.09314v2","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.09314","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"XAXYHQVB4J6T","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XAXYHQVB4J6TNW2T","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XAXYHQVB","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XAXYHQVB4J6TNW2THANFPPAQQQ","target":"record","payload":{"canonical_record":{"source":{"id":"1703.09314","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-27T21:26:15Z","cross_cats_sorted":[],"title_canon_sha256":"81fb975e1b43e2ce06a45dcb97a53af422c4f046a2e7ec3448727421ca965315","abstract_canon_sha256":"0fac931d11d4a172aeb3f1d06d42cdcedc085773fac971de52f5dd1bbd3bf371"},"schema_version":"1.0"},"canonical_sha256":"b82f83c2a1e27d36db53381a57bc10840fc2346ae8c17705e93d95eb91945c6e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:00.808192Z","signature_b64":"mlEtJgN/Te91BgPt9EqOP2q4TaBvD9kuUlfAyn0c0WemuwS+n0f5vtv0xxYMbCPo7urXUg3FKRUhhQrlNSSgCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b82f83c2a1e27d36db53381a57bc10840fc2346ae8c17705e93d95eb91945c6e","last_reissued_at":"2026-05-18T00:01:00.807552Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:00.807552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.09314","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-18T00:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AzRs/LcVHl8O+fQ21A5PriD0OnYo+3+tsRGKYAnoCy/AtshuGWaVnvlyRevSGg2ViLgWidpf3LYDzKljhpZVDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:01:34.769291Z"},"content_sha256":"29c4b54c8371cc5b838eba84891f8cfba4478baa670f453d06a8ae8b4ab70645","schema_version":"1.0","event_id":"sha256:29c4b54c8371cc5b838eba84891f8cfba4478baa670f453d06a8ae8b4ab70645"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XAXYHQVB4J6TNW2THANFPPAQQQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reflection calculus and conservativity spectra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Lev D. Beklemishev","submitted_at":"2017-03-27T21:26:15Z","abstract_excerpt":"Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of implications between formulas built up from propositional variables and constant `true' using only conjunction and diamond modalities which are interpreted in Peano arithmetic as restricted uniform reflection principles.\n  We extend the language of RC by another series of modalities representing the operators associating with a given arithmetical theory T i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.09314","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-18T00:01:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TtwSnNfIuOVbv6zGDs0Bt/E5t9E0y/OqBQVeblZ7XJcQc3pJ9q3v1q9wLsp46f5ypNTcR3hZf6l9pPH3N9T1DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T11:01:34.770031Z"},"content_sha256":"093045fdb42996414f3a988e8f8e6154af8a5e6b7099f6fa887e37e03e76b3a5","schema_version":"1.0","event_id":"sha256:093045fdb42996414f3a988e8f8e6154af8a5e6b7099f6fa887e37e03e76b3a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/bundle.json","state_url":"https://pith.science/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/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-05-26T11:01:34Z","links":{"resolver":"https://pith.science/pith/XAXYHQVB4J6TNW2THANFPPAQQQ","bundle":"https://pith.science/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/bundle.json","state":"https://pith.science/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XAXYHQVB4J6TNW2THANFPPAQQQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XAXYHQVB4J6TNW2THANFPPAQQQ","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":"0fac931d11d4a172aeb3f1d06d42cdcedc085773fac971de52f5dd1bbd3bf371","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-27T21:26:15Z","title_canon_sha256":"81fb975e1b43e2ce06a45dcb97a53af422c4f046a2e7ec3448727421ca965315"},"schema_version":"1.0","source":{"id":"1703.09314","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.09314","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.09314v2","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.09314","created_at":"2026-05-18T00:01:00Z"},{"alias_kind":"pith_short_12","alias_value":"XAXYHQVB4J6T","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XAXYHQVB4J6TNW2T","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XAXYHQVB","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:093045fdb42996414f3a988e8f8e6154af8a5e6b7099f6fa887e37e03e76b3a5","target":"graph","created_at":"2026-05-18T00:01:00Z","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":"Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of implications between formulas built up from propositional variables and constant `true' using only conjunction and diamond modalities which are interpreted in Peano arithmetic as restricted uniform reflection principles.\n  We extend the language of RC by another series of modalities representing the operators associating with a given arithmetical theory T i","authors_text":"Lev D. Beklemishev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-27T21:26:15Z","title":"Reflection calculus and conservativity spectra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.09314","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:29c4b54c8371cc5b838eba84891f8cfba4478baa670f453d06a8ae8b4ab70645","target":"record","created_at":"2026-05-18T00:01:00Z","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":"0fac931d11d4a172aeb3f1d06d42cdcedc085773fac971de52f5dd1bbd3bf371","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-03-27T21:26:15Z","title_canon_sha256":"81fb975e1b43e2ce06a45dcb97a53af422c4f046a2e7ec3448727421ca965315"},"schema_version":"1.0","source":{"id":"1703.09314","kind":"arxiv","version":2}},"canonical_sha256":"b82f83c2a1e27d36db53381a57bc10840fc2346ae8c17705e93d95eb91945c6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b82f83c2a1e27d36db53381a57bc10840fc2346ae8c17705e93d95eb91945c6e","first_computed_at":"2026-05-18T00:01:00.807552Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:00.807552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mlEtJgN/Te91BgPt9EqOP2q4TaBvD9kuUlfAyn0c0WemuwS+n0f5vtv0xxYMbCPo7urXUg3FKRUhhQrlNSSgCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:00.808192Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.09314","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29c4b54c8371cc5b838eba84891f8cfba4478baa670f453d06a8ae8b4ab70645","sha256:093045fdb42996414f3a988e8f8e6154af8a5e6b7099f6fa887e37e03e76b3a5"],"state_sha256":"ba0dff1eced2c9e59a7e1074b53029d3ca5d57975b2144e4ff88cc4ff245fd39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A1tEzY3zBbNpwCq1KE+UvxPalcqDATxdRG51y039g/d79IDdGUDj7cJ3Hy4HcxGeudy4Psg6UZnWapd5AeBODQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T11:01:34.773949Z","bundle_sha256":"4f472f088d93ea5154988b189a4af2eb426d06e6d4bcfb59d2046a2aad9de3df"}}