{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:TB3WN4STY52TMKOEEZM2Y62F7E","short_pith_number":"pith:TB3WN4ST","canonical_record":{"source":{"id":"1201.3733","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-18T09:34:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9dd7070131e899c351d188cfac900c1cb9a3fb368f8769a11e63b2530013a2f8","abstract_canon_sha256":"b34fba0a89ea7002293e231b9c570288c39a14e8ae3811f4ab11cff8451e7710"},"schema_version":"1.0"},"canonical_sha256":"987766f253c7753629c42659ac7b45f936acadb15d6f3a3e6df7ca36dc0b30b2","source":{"kind":"arxiv","id":"1201.3733","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.3733","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1201.3733v4","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.3733","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"TB3WN4STY52T","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TB3WN4STY52TMKOE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TB3WN4ST","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:TB3WN4STY52TMKOEEZM2Y62F7E","target":"record","payload":{"canonical_record":{"source":{"id":"1201.3733","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-18T09:34:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9dd7070131e899c351d188cfac900c1cb9a3fb368f8769a11e63b2530013a2f8","abstract_canon_sha256":"b34fba0a89ea7002293e231b9c570288c39a14e8ae3811f4ab11cff8451e7710"},"schema_version":"1.0"},"canonical_sha256":"987766f253c7753629c42659ac7b45f936acadb15d6f3a3e6df7ca36dc0b30b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.055229Z","signature_b64":"Ezqe5SM7J3XgZXYveW1Ks+yVyEdsQGSLTzKWGEwDE5MD4SfBMkJ7rBe1D4oH9Qr9BFvf8Z7pwblyf7OX7L4zCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"987766f253c7753629c42659ac7b45f936acadb15d6f3a3e6df7ca36dc0b30b2","last_reissued_at":"2026-05-18T01:37:39.054635Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.054635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.3733","source_version":4,"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:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1eW2lqmUNjBdARvlCF3R0jVX5jYNQ98/DiinyDDzkCzERtC4FGhWt3hhgtDS59zFauH55r0yMDy7YaOpSHQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:35:40.759662Z"},"content_sha256":"43c9b62a845a0cbbc2ccaa5096d6ef4baf40a2a593457a4e3afaeedb96f50176","schema_version":"1.0","event_id":"sha256:43c9b62a845a0cbbc2ccaa5096d6ef4baf40a2a593457a4e3afaeedb96f50176"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:TB3WN4STY52TMKOEEZM2Y62F7E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounded Arithmetic in Free Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Technology), Yoriyuki Yamagata (National Institute of Advanced Science","submitted_at":"2012-01-18T09:34:33Z","abstract_excerpt":"One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.3733","kind":"arxiv","version":4},"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:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YYsSJb4szVLp0Z8h4qInoq8L8ywYGjNPv9tYuQbFcS5Cj4c0OdNISMIYqIb4qwZwyG8ihn9QuJDzc46eEkRpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T16:35:40.760400Z"},"content_sha256":"b4939383b0679a37ed3d44f638b6b4e1be9f7519145b8dd6389f433a83bde589","schema_version":"1.0","event_id":"sha256:b4939383b0679a37ed3d44f638b6b4e1be9f7519145b8dd6389f433a83bde589"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TB3WN4STY52TMKOEEZM2Y62F7E/bundle.json","state_url":"https://pith.science/pith/TB3WN4STY52TMKOEEZM2Y62F7E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TB3WN4STY52TMKOEEZM2Y62F7E/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-11T16:35:40Z","links":{"resolver":"https://pith.science/pith/TB3WN4STY52TMKOEEZM2Y62F7E","bundle":"https://pith.science/pith/TB3WN4STY52TMKOEEZM2Y62F7E/bundle.json","state":"https://pith.science/pith/TB3WN4STY52TMKOEEZM2Y62F7E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TB3WN4STY52TMKOEEZM2Y62F7E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TB3WN4STY52TMKOEEZM2Y62F7E","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":"b34fba0a89ea7002293e231b9c570288c39a14e8ae3811f4ab11cff8451e7710","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-18T09:34:33Z","title_canon_sha256":"9dd7070131e899c351d188cfac900c1cb9a3fb368f8769a11e63b2530013a2f8"},"schema_version":"1.0","source":{"id":"1201.3733","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.3733","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1201.3733v4","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.3733","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"TB3WN4STY52T","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TB3WN4STY52TMKOE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TB3WN4ST","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:b4939383b0679a37ed3d44f638b6b4e1be9f7519145b8dd6389f433a83bde589","target":"graph","created_at":"2026-05-18T01:37:39Z","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":"One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigat","authors_text":"Technology), Yoriyuki Yamagata (National Institute of Advanced Science","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-18T09:34:33Z","title":"Bounded Arithmetic in Free Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.3733","kind":"arxiv","version":4},"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:43c9b62a845a0cbbc2ccaa5096d6ef4baf40a2a593457a4e3afaeedb96f50176","target":"record","created_at":"2026-05-18T01:37:39Z","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":"b34fba0a89ea7002293e231b9c570288c39a14e8ae3811f4ab11cff8451e7710","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-18T09:34:33Z","title_canon_sha256":"9dd7070131e899c351d188cfac900c1cb9a3fb368f8769a11e63b2530013a2f8"},"schema_version":"1.0","source":{"id":"1201.3733","kind":"arxiv","version":4}},"canonical_sha256":"987766f253c7753629c42659ac7b45f936acadb15d6f3a3e6df7ca36dc0b30b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"987766f253c7753629c42659ac7b45f936acadb15d6f3a3e6df7ca36dc0b30b2","first_computed_at":"2026-05-18T01:37:39.054635Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:39.054635Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ezqe5SM7J3XgZXYveW1Ks+yVyEdsQGSLTzKWGEwDE5MD4SfBMkJ7rBe1D4oH9Qr9BFvf8Z7pwblyf7OX7L4zCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:39.055229Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.3733","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43c9b62a845a0cbbc2ccaa5096d6ef4baf40a2a593457a4e3afaeedb96f50176","sha256:b4939383b0679a37ed3d44f638b6b4e1be9f7519145b8dd6389f433a83bde589"],"state_sha256":"7688d03d45cfb33e1b14262335e69c2b6905d951b1265c1eb334e7dc48f115bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GL+AcZO369jhLUQ2PgJYGN8MnybxwjnyfHDzluYdTlCaGcscZ3hFxslEEh5qexGpAeBqHhDqqrZo8VDlo5/8BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T16:35:40.765676Z","bundle_sha256":"cdb6d73d7e67abb895f806f6d66c0738a62a5dfc5e593e2dc070f93573f40459"}}