{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:C5OLYKKABVILLEPJB7XUSKR4RS","short_pith_number":"pith:C5OLYKKA","canonical_record":{"source":{"id":"2411.17568","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-26T16:29:55Z","cross_cats_sorted":[],"title_canon_sha256":"b613c2ad57a14c792c3c20794b61a0d18b175e320fdf48de68e0302c6a3fa79c","abstract_canon_sha256":"eb6c739596fc2b089d39f446ccb4c157e56ed2cfb7bc01db0a2f070f44bcae41"},"schema_version":"1.0"},"canonical_sha256":"175cbc29400d50b591e90fef492a3c8c822d55f1cdb6d554a680c0d47f13038b","source":{"kind":"arxiv","id":"2411.17568","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17568","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17568v3","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17568","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_12","alias_value":"C5OLYKKABVIL","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_16","alias_value":"C5OLYKKABVILLEPJ","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_8","alias_value":"C5OLYKKA","created_at":"2026-07-05T11:06:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:C5OLYKKABVILLEPJB7XUSKR4RS","target":"record","payload":{"canonical_record":{"source":{"id":"2411.17568","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-26T16:29:55Z","cross_cats_sorted":[],"title_canon_sha256":"b613c2ad57a14c792c3c20794b61a0d18b175e320fdf48de68e0302c6a3fa79c","abstract_canon_sha256":"eb6c739596fc2b089d39f446ccb4c157e56ed2cfb7bc01db0a2f070f44bcae41"},"schema_version":"1.0"},"canonical_sha256":"175cbc29400d50b591e90fef492a3c8c822d55f1cdb6d554a680c0d47f13038b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:25.239880Z","signature_b64":"FJy3s3XrxKaPyNYrHP1kizrX6AtREfnmgbhVUgWjJgZXnL2PnfYWIhKMYoW99NHsHQoAqgdqmyShmkMHDzyQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"175cbc29400d50b591e90fef492a3c8c822d55f1cdb6d554a680c0d47f13038b","last_reissued_at":"2026-07-05T11:06:25.239371Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:25.239371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.17568","source_version":3,"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-07-05T11:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MxQbxpQp3QRJBs+j/yfEDO24tNqP3TVSeM4wWMl/N+OtiQ7YLt1poujYcDuDYFw5yCtM2xconUmwBj0hvn2dAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T03:41:51.492228Z"},"content_sha256":"948398d41b107e2eb003c3420186931727e172ed4802f00446a1bdbe53a9f515","schema_version":"1.0","event_id":"sha256:948398d41b107e2eb003c3420186931727e172ed4802f00446a1bdbe53a9f515"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:C5OLYKKABVILLEPJB7XUSKR4RS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Philipp L\\\"ucke","submitted_at":"2024-11-26T16:29:55Z","abstract_excerpt":"Motivated by recent work of Boney, Dimopoulos, Gitman and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to show that, in contrast to the existence of strong compactness cardinals, the existence of weak compactness cardinals for abstract logics does not imply the existence of a strongly inaccessible cardinal. More precisely, it is proven that the existence of a proper class of subtle cardinals is consistent with the axioms of ZFC if and only if it is not possible "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17568","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.17568/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T11:06:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/H4SmaT88euG2M9ZJuzwAK5tYNPdAq5hnaxHkW+kS2HTMMWld2pPu12if39Ho9jyLi85lvZ739OqstyMD9LtBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T03:41:51.492612Z"},"content_sha256":"6399d127a3286d892954704b60b319d304c4dfd9ab06262a9c59b684d59b74c8","schema_version":"1.0","event_id":"sha256:6399d127a3286d892954704b60b319d304c4dfd9ab06262a9c59b684d59b74c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C5OLYKKABVILLEPJB7XUSKR4RS/bundle.json","state_url":"https://pith.science/pith/C5OLYKKABVILLEPJB7XUSKR4RS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C5OLYKKABVILLEPJB7XUSKR4RS/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-08-13T03:41:51Z","links":{"resolver":"https://pith.science/pith/C5OLYKKABVILLEPJB7XUSKR4RS","bundle":"https://pith.science/pith/C5OLYKKABVILLEPJB7XUSKR4RS/bundle.json","state":"https://pith.science/pith/C5OLYKKABVILLEPJB7XUSKR4RS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C5OLYKKABVILLEPJB7XUSKR4RS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:C5OLYKKABVILLEPJB7XUSKR4RS","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":"eb6c739596fc2b089d39f446ccb4c157e56ed2cfb7bc01db0a2f070f44bcae41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-26T16:29:55Z","title_canon_sha256":"b613c2ad57a14c792c3c20794b61a0d18b175e320fdf48de68e0302c6a3fa79c"},"schema_version":"1.0","source":{"id":"2411.17568","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17568","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17568v3","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17568","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_12","alias_value":"C5OLYKKABVIL","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_16","alias_value":"C5OLYKKABVILLEPJ","created_at":"2026-07-05T11:06:25Z"},{"alias_kind":"pith_short_8","alias_value":"C5OLYKKA","created_at":"2026-07-05T11:06:25Z"}],"graph_snapshots":[{"event_id":"sha256:6399d127a3286d892954704b60b319d304c4dfd9ab06262a9c59b684d59b74c8","target":"graph","created_at":"2026-07-05T11:06:25Z","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/2411.17568/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Motivated by recent work of Boney, Dimopoulos, Gitman and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to show that, in contrast to the existence of strong compactness cardinals, the existence of weak compactness cardinals for abstract logics does not imply the existence of a strongly inaccessible cardinal. More precisely, it is proven that the existence of a proper class of subtle cardinals is consistent with the axioms of ZFC if and only if it is not possible ","authors_text":"Philipp L\\\"ucke","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-26T16:29:55Z","title":"Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17568","kind":"arxiv","version":3},"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:948398d41b107e2eb003c3420186931727e172ed4802f00446a1bdbe53a9f515","target":"record","created_at":"2026-07-05T11:06:25Z","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":"eb6c739596fc2b089d39f446ccb4c157e56ed2cfb7bc01db0a2f070f44bcae41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-26T16:29:55Z","title_canon_sha256":"b613c2ad57a14c792c3c20794b61a0d18b175e320fdf48de68e0302c6a3fa79c"},"schema_version":"1.0","source":{"id":"2411.17568","kind":"arxiv","version":3}},"canonical_sha256":"175cbc29400d50b591e90fef492a3c8c822d55f1cdb6d554a680c0d47f13038b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"175cbc29400d50b591e90fef492a3c8c822d55f1cdb6d554a680c0d47f13038b","first_computed_at":"2026-07-05T11:06:25.239371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:25.239371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FJy3s3XrxKaPyNYrHP1kizrX6AtREfnmgbhVUgWjJgZXnL2PnfYWIhKMYoW99NHsHQoAqgdqmyShmkMHDzyQBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:25.239880Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.17568","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:948398d41b107e2eb003c3420186931727e172ed4802f00446a1bdbe53a9f515","sha256:6399d127a3286d892954704b60b319d304c4dfd9ab06262a9c59b684d59b74c8"],"state_sha256":"003cf98092954e3db37ec7fd78b1c640cce71fe93fd0ce9740e11a1ff58cc862"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+GKsSlmZtAQRAURPKNyzMwl1Ce0A3su/lkf2ID4h2T20uBcb58oDtVzr0dY9vyx61CYjsKJ/PXjb70om4sAqDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T03:41:51.495153Z","bundle_sha256":"c8c4b0239c8d2843a381698ef76e18c3486c1b1c454741da76c4e1adcd6561ad"}}