{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:EHHXNDZPUD7ZEH6HW4OYLTDAMY","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":"f57c7c849aa363d409b8b7e6ab3ca64e4eac1b1ca53116db6f3aeaf5109c8352","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-29T05:29:24Z","title_canon_sha256":"f732db7a03ccfecb1d274380325029426b5ca34116186fae105806b7490bfc51"},"schema_version":"1.0","source":{"id":"2606.29802","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.29802","created_at":"2026-06-30T02:17:35Z"},{"alias_kind":"arxiv_version","alias_value":"2606.29802v1","created_at":"2026-06-30T02:17:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.29802","created_at":"2026-06-30T02:17:35Z"},{"alias_kind":"pith_short_12","alias_value":"EHHXNDZPUD7Z","created_at":"2026-06-30T02:17:35Z"},{"alias_kind":"pith_short_16","alias_value":"EHHXNDZPUD7ZEH6H","created_at":"2026-06-30T02:17:35Z"},{"alias_kind":"pith_short_8","alias_value":"EHHXNDZP","created_at":"2026-06-30T02:17:35Z"}],"graph_snapshots":[{"event_id":"sha256:b9ef8dc4603dba2a29d29d6b512b3822953496f4b701b7791c6a0572876d677d","target":"graph","created_at":"2026-06-30T02:17:35Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.29802/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this note, we give some generalizations of G\\\"{o}del's second incompleteness theorem and study their surroundings. We revisit it from two perspectives. One perspective is the relationship between the definable complexity of a theory and unprovability of its soundness. We clarify the relationship between this perspective and induction axioms. We also determine the logical strength of Craig's trick, which is important for studying the definability of a theory, from the point of view of reverse mathematics. The other perspective is semantic incompleteness. The second incompleteness theorem may","authors_text":"Keita Yokoyama, Yudai Suzuki","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-29T05:29:24Z","title":"On some generalizations of G\\\"{o}del's second incompleteness theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.29802","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:d3c099ddbdc6d76518e692c4f76b9810dfce10a1aac8fddf987a84165e025bda","target":"record","created_at":"2026-06-30T02:17:35Z","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":"f57c7c849aa363d409b8b7e6ab3ca64e4eac1b1ca53116db6f3aeaf5109c8352","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-29T05:29:24Z","title_canon_sha256":"f732db7a03ccfecb1d274380325029426b5ca34116186fae105806b7490bfc51"},"schema_version":"1.0","source":{"id":"2606.29802","kind":"arxiv","version":1}},"canonical_sha256":"21cf768f2fa0ff921fc7b71d85cc60660113b6da9c5e7dd39b02e90e881d81d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21cf768f2fa0ff921fc7b71d85cc60660113b6da9c5e7dd39b02e90e881d81d5","first_computed_at":"2026-06-30T02:17:35.906272Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-30T02:17:35.906272Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sOqHEnTMx3+OdLOVW5/+ENYMX24O93bopm/u3iYquxWdfzQTlr65dfXQNxGfPVahbRB0npYndpKt+CkkAdi9Cw==","signature_status":"signed_v1","signed_at":"2026-06-30T02:17:35.906837Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.29802","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3c099ddbdc6d76518e692c4f76b9810dfce10a1aac8fddf987a84165e025bda","sha256:b9ef8dc4603dba2a29d29d6b512b3822953496f4b701b7791c6a0572876d677d"],"state_sha256":"98871dfae8f1448a1bd1d128cfe9e1a0bb02811927b02782229b3fcbcf2a54da"}