{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:R253WEXEFFAKLTHD4CRXLLNNNL","short_pith_number":"pith:R253WEXE","canonical_record":{"source":{"id":"1110.0642","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:19:34Z","cross_cats_sorted":[],"title_canon_sha256":"00f0ccb73e5539d367d5f014bc23d7eb2de19f3335efc116fa791bba275da2ac","abstract_canon_sha256":"d099832262894bd5723706512098cead3282a52232e2112585dfd6b9764762e5"},"schema_version":"1.0"},"canonical_sha256":"8ebbbb12e42940a5cce3e0a375adad6ad0e912af1b762b2fcb3a853496daa5a3","source":{"kind":"arxiv","id":"1110.0642","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0642","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0642v1","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0642","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"R253WEXEFFAK","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"R253WEXEFFAKLTHD","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"R253WEXE","created_at":"2026-05-18T12:26:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:R253WEXEFFAKLTHD4CRXLLNNNL","target":"record","payload":{"canonical_record":{"source":{"id":"1110.0642","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:19:34Z","cross_cats_sorted":[],"title_canon_sha256":"00f0ccb73e5539d367d5f014bc23d7eb2de19f3335efc116fa791bba275da2ac","abstract_canon_sha256":"d099832262894bd5723706512098cead3282a52232e2112585dfd6b9764762e5"},"schema_version":"1.0"},"canonical_sha256":"8ebbbb12e42940a5cce3e0a375adad6ad0e912af1b762b2fcb3a853496daa5a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:11:41.273868Z","signature_b64":"CEcDTDEVV8VaBr1NWH+V//6KnztCN8VDzVU9tNB949rMDE3CtozpBy3OANOqo0F5q4ZJK28MoNyye/QkP17tCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ebbbb12e42940a5cce3e0a375adad6ad0e912af1b762b2fcb3a853496daa5a3","last_reissued_at":"2026-05-18T04:11:41.273338Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:11:41.273338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1110.0642","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":"Lhvd4081+jbky3g7/hMl52Y++9bXwcfxGpVcXlygbGCQiX4iZsi6lJv/kM7TKt+csCpBxbzgJBZhfjQdYNJuCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:28:40.250412Z"},"content_sha256":"8b8f45df39ccfde4b1fe77f66309b46eacf9178283fbea68de8381ea3a8ac85f","schema_version":"1.0","event_id":"sha256:8b8f45df39ccfde4b1fe77f66309b46eacf9178283fbea68de8381ea3a8ac85f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:R253WEXEFFAKLTHD4CRXLLNNNL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inaccessibility and subinaccessibility. In two parts. Part I (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:19:34Z","abstract_excerpt":"This work represents a translation from English into Russian of the first part of the monograph by Alexander Kiselev under the same title, containing the proof (in ZF) of inaccessible cardinals nonexistence. The first edition of this work was published in 2000.\n  This part contains the apparatus of subinaccessible cardinals and its basic tools - theories of reduced formula spectra and matrices, disseminators and others - which are used in this proof and are set forth now in their more transparent and detailed form. Much attention is devoted to the explicit and substantial development and culti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0642","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":"+MjoTVYslRuVaZ3Adi8YZexYEh9O2HdxxtH3YfeU7OjURcWPt8V4Arl6Oft47YU0VUjFZ23/oPmf9T02bfyCAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T19:28:40.250762Z"},"content_sha256":"5c66fe2bfc80d066d4c394283b1c87171ea980d430e75af40531ee4d62bcc394","schema_version":"1.0","event_id":"sha256:5c66fe2bfc80d066d4c394283b1c87171ea980d430e75af40531ee4d62bcc394"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R253WEXEFFAKLTHD4CRXLLNNNL/bundle.json","state_url":"https://pith.science/pith/R253WEXEFFAKLTHD4CRXLLNNNL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R253WEXEFFAKLTHD4CRXLLNNNL/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-03T19:28:40Z","links":{"resolver":"https://pith.science/pith/R253WEXEFFAKLTHD4CRXLLNNNL","bundle":"https://pith.science/pith/R253WEXEFFAKLTHD4CRXLLNNNL/bundle.json","state":"https://pith.science/pith/R253WEXEFFAKLTHD4CRXLLNNNL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R253WEXEFFAKLTHD4CRXLLNNNL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:R253WEXEFFAKLTHD4CRXLLNNNL","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":"d099832262894bd5723706512098cead3282a52232e2112585dfd6b9764762e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:19:34Z","title_canon_sha256":"00f0ccb73e5539d367d5f014bc23d7eb2de19f3335efc116fa791bba275da2ac"},"schema_version":"1.0","source":{"id":"1110.0642","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1110.0642","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"arxiv_version","alias_value":"1110.0642v1","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1110.0642","created_at":"2026-05-18T04:11:41Z"},{"alias_kind":"pith_short_12","alias_value":"R253WEXEFFAK","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_16","alias_value":"R253WEXEFFAKLTHD","created_at":"2026-05-18T12:26:39Z"},{"alias_kind":"pith_short_8","alias_value":"R253WEXE","created_at":"2026-05-18T12:26:39Z"}],"graph_snapshots":[{"event_id":"sha256:5c66fe2bfc80d066d4c394283b1c87171ea980d430e75af40531ee4d62bcc394","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 first part of the monograph by Alexander Kiselev under the same title, containing the proof (in ZF) of inaccessible cardinals nonexistence. The first edition of this work was published in 2000.\n  This part contains the apparatus of subinaccessible cardinals and its basic tools - theories of reduced formula spectra and matrices, disseminators and others - which are used in this proof and are set forth now in their more transparent and detailed form. Much attention is devoted to the explicit and substantial development and culti","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:19:34Z","title":"Inaccessibility and subinaccessibility. In two parts. Part I (in Russian)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1110.0642","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:8b8f45df39ccfde4b1fe77f66309b46eacf9178283fbea68de8381ea3a8ac85f","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":"d099832262894bd5723706512098cead3282a52232e2112585dfd6b9764762e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-10-04T11:19:34Z","title_canon_sha256":"00f0ccb73e5539d367d5f014bc23d7eb2de19f3335efc116fa791bba275da2ac"},"schema_version":"1.0","source":{"id":"1110.0642","kind":"arxiv","version":1}},"canonical_sha256":"8ebbbb12e42940a5cce3e0a375adad6ad0e912af1b762b2fcb3a853496daa5a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ebbbb12e42940a5cce3e0a375adad6ad0e912af1b762b2fcb3a853496daa5a3","first_computed_at":"2026-05-18T04:11:41.273338Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:11:41.273338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CEcDTDEVV8VaBr1NWH+V//6KnztCN8VDzVU9tNB949rMDE3CtozpBy3OANOqo0F5q4ZJK28MoNyye/QkP17tCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:11:41.273868Z","signed_message":"canonical_sha256_bytes"},"source_id":"1110.0642","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b8f45df39ccfde4b1fe77f66309b46eacf9178283fbea68de8381ea3a8ac85f","sha256:5c66fe2bfc80d066d4c394283b1c87171ea980d430e75af40531ee4d62bcc394"],"state_sha256":"587667c7d3c878eb3476b4e7015b8dee2890d97b18102c863e5c0b6c2ae7afec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zpwposA1c2WHnxfm6EaZ8VmxnT2kZ7a7aMn2MHhcElcjAeXh1z4JJwOfs0gYcNMEFdOeccixmH9A23rtmhibCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T19:28:40.252699Z","bundle_sha256":"273b6854eed8272b13997bcb6e98e1da18df250a87f6c9974db20eb3932ab709"}}