{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:FZHUF3ZQPB5KLADMU7YH2OBD2Y","short_pith_number":"pith:FZHUF3ZQ","canonical_record":{"source":{"id":"1110.0643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:21:17Z","cross_cats_sorted":[],"title_canon_sha256":"7150046da5813b9479bb91b6fd71ccdba69950f4a757ef2da27f7f5079f6ad2f","abstract_canon_sha256":"672c0bcb4fb7b7f085bf81149ff8be9065b4f28e57979399e1e2dda55f8fac86"},"schema_version":"1.0"},"canonical_sha256":"2e4f42ef30787aa5806ca7f07d3823d6141e03be3769615b3434ffe7c34e2fa8","source":{"kind":"arxiv","id":"1110.0643","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0643","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0643v1","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0643","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"FZHUF3ZQPB5K","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZHUF3ZQPB5KLADM","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZHUF3ZQ","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:FZHUF3ZQPB5KLADMU7YH2OBD2Y","target":"record","payload":{"canonical_record":{"source":{"id":"1110.0643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:21:17Z","cross_cats_sorted":[],"title_canon_sha256":"7150046da5813b9479bb91b6fd71ccdba69950f4a757ef2da27f7f5079f6ad2f","abstract_canon_sha256":"672c0bcb4fb7b7f085bf81149ff8be9065b4f28e57979399e1e2dda55f8fac86"},"schema_version":"1.0"},"canonical_sha256":"2e4f42ef30787aa5806ca7f07d3823d6141e03be3769615b3434ffe7c34e2fa8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:41.267637Z","signature_b64":"lv7hjRZhHPy1f2/gQUK0UjK4taFNC+nw6hpQbjP3oGMQFTXiNk6SB7FJJyg2DLhXsVSsweKxoJdm1OCsBO3qCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e4f42ef30787aa5806ca7f07d3823d6141e03be3769615b3434ffe7c34e2fa8","last_reissued_at":"2026-05-18T04:11:41.267073Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:41.267073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.0643","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-18T04:11:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y3hwL/169WRzk1xqnPvYg61CXvZtNlqE+EZng/v9arqY9abJb33KtsVWborHphYWwUg/kYrd11Dtxb1bULr5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:54:30.773852Z"},"content_sha256":"ae64f28d2ff2ff35f6ae1db78e10af380576249fc8134f49b8a4508e72fa2be4","schema_version":"1.0","event_id":"sha256:ae64f28d2ff2ff35f6ae1db78e10af380576249fc8134f49b8a4508e72fa2be4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:FZHUF3ZQPB5KLADMU7YH2OBD2Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inaccessibility and subinaccessibility. In two parts. Part II (in Russian)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alexander Kiselev","submitted_at":"2011-10-04T11:21:17Z","abstract_excerpt":"This work represents a translation from English into Russian of the second part of the monograph by Alexander Kiselev under the same title. It contains the proof (in ZF) of inaccessible cardinals nonexistence. The first edition of this work was published in 2000.\n  This part II contains applications of the subinaccessible cardinals apparatus and its basic tools - theories of reduced formula spectra and matrices, disseminators and others, which are used here in this proof and are set forth now in their more transparent and refined form. Much attention is devoted to the more explicit and substan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0643","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-18T04:11:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iTCfOW8maunn8CjLZWc/Qs2f2XbTzKWqBJyyMgm/H/PRTYXlcCgBJagw2BQ2OrgrJQ0gHUx8d76MHyniw8uMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:54:30.774193Z"},"content_sha256":"9a08ad81ff74835cb3a730376d5060577264a59f2e0a98e4ac6b3c89d0167530","schema_version":"1.0","event_id":"sha256:9a08ad81ff74835cb3a730376d5060577264a59f2e0a98e4ac6b3c89d0167530"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/bundle.json","state_url":"https://pith.science/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/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-03T16:54:30Z","links":{"resolver":"https://pith.science/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y","bundle":"https://pith.science/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/bundle.json","state":"https://pith.science/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZHUF3ZQPB5KLADMU7YH2OBD2Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FZHUF3ZQPB5KLADMU7YH2OBD2Y","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":"672c0bcb4fb7b7f085bf81149ff8be9065b4f28e57979399e1e2dda55f8fac86","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:21:17Z","title_canon_sha256":"7150046da5813b9479bb91b6fd71ccdba69950f4a757ef2da27f7f5079f6ad2f"},"schema_version":"1.0","source":{"id":"1110.0643","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0643","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0643v1","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0643","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"FZHUF3ZQPB5K","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZHUF3ZQPB5KLADM","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZHUF3ZQ","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:9a08ad81ff74835cb3a730376d5060577264a59f2e0a98e4ac6b3c89d0167530","target":"graph","created_at":"2026-05-18T04:11:41Z","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":"This work represents a translation from English into Russian of the second part of the monograph by Alexander Kiselev under the same title. It contains the proof (in ZF) of inaccessible cardinals nonexistence. The first edition of this work was published in 2000.\n  This part II contains applications of the subinaccessible cardinals apparatus and its basic tools - theories of reduced formula spectra and matrices, disseminators and others, which are used here in this proof and are set forth now in their more transparent and refined form. Much attention is devoted to the more explicit and substan","authors_text":"Alexander Kiselev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:21:17Z","title":"Inaccessibility and subinaccessibility. In two parts. Part II (in Russian)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0643","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:ae64f28d2ff2ff35f6ae1db78e10af380576249fc8134f49b8a4508e72fa2be4","target":"record","created_at":"2026-05-18T04:11:41Z","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":"672c0bcb4fb7b7f085bf81149ff8be9065b4f28e57979399e1e2dda55f8fac86","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:21:17Z","title_canon_sha256":"7150046da5813b9479bb91b6fd71ccdba69950f4a757ef2da27f7f5079f6ad2f"},"schema_version":"1.0","source":{"id":"1110.0643","kind":"arxiv","version":1}},"canonical_sha256":"2e4f42ef30787aa5806ca7f07d3823d6141e03be3769615b3434ffe7c34e2fa8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e4f42ef30787aa5806ca7f07d3823d6141e03be3769615b3434ffe7c34e2fa8","first_computed_at":"2026-05-18T04:11:41.267073Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:41.267073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lv7hjRZhHPy1f2/gQUK0UjK4taFNC+nw6hpQbjP3oGMQFTXiNk6SB7FJJyg2DLhXsVSsweKxoJdm1OCsBO3qCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:41.267637Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.0643","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae64f28d2ff2ff35f6ae1db78e10af380576249fc8134f49b8a4508e72fa2be4","sha256:9a08ad81ff74835cb3a730376d5060577264a59f2e0a98e4ac6b3c89d0167530"],"state_sha256":"3f6184ad769182e52109b31fe7e912c6161ba557b9cdbe7a4f60535afac025f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JEwUePMHislarWtewcuJYqNy6oq3Lf2ntfA1fmFTCRR29V7uN0h4vUKRTEkF+bj64yTuJlXHh8y2mAr7aOkgAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T16:54:30.776169Z","bundle_sha256":"77446cde3a73f8f0d6d147b3165dc3810050e775b3b49ff320cb2ef642a8bcac"}}