{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:PKJI2REUBWKCTGYGJX3GXZYHDC","short_pith_number":"pith:PKJI2REU","canonical_record":{"source":{"id":"1403.3698","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-14T20:04:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5a6537e1accfd4c1f868834f8002c4c126e7e91600034a3f7cf20bbdbccd500f","abstract_canon_sha256":"199f92aa65a451abcf8e4353c5b31c45598392fceb514081ad2fc14be86afc8d"},"schema_version":"1.0"},"canonical_sha256":"7a928d44940d94299b064df66be70718a97ea9bd833fe1d1106da2afa3640802","source":{"kind":"arxiv","id":"1403.3698","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.3698","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"arxiv_version","alias_value":"1403.3698v1","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.3698","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"pith_short_12","alias_value":"PKJI2REUBWKC","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PKJI2REUBWKCTGYG","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PKJI2REU","created_at":"2026-05-18T12:28:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:PKJI2REUBWKCTGYGJX3GXZYHDC","target":"record","payload":{"canonical_record":{"source":{"id":"1403.3698","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-14T20:04:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5a6537e1accfd4c1f868834f8002c4c126e7e91600034a3f7cf20bbdbccd500f","abstract_canon_sha256":"199f92aa65a451abcf8e4353c5b31c45598392fceb514081ad2fc14be86afc8d"},"schema_version":"1.0"},"canonical_sha256":"7a928d44940d94299b064df66be70718a97ea9bd833fe1d1106da2afa3640802","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:56:18.753704Z","signature_b64":"6wWLBfMPOGhyl5NzZIoOwEa/09/fwLc17BvX9hvKB1ZnLUzzc0HpvM22g5YiIyHLxeU9vIBuoIQFyn8GEgdCDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7a928d44940d94299b064df66be70718a97ea9bd833fe1d1106da2afa3640802","last_reissued_at":"2026-05-18T02:56:18.753243Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:56:18.753243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.3698","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-18T02:56:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tgFzP3Ey9t/z5ZEqCy1amBef0B0WaXIqiziVxD9WYGkGUiv6YFeKDmTvaouHBBYMR7JYoYiUz9KoGYqfh7cBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T03:04:10.443513Z"},"content_sha256":"c3101d987aa4cd94d926c879e7e0e45df0338b24963970b1d1fb544438eda01e","schema_version":"1.0","event_id":"sha256:c3101d987aa4cd94d926c879e7e0e45df0338b24963970b1d1fb544438eda01e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:PKJI2REUBWKCTGYGJX3GXZYHDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Strongly First-Order Dependencies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Pietro Galliani","submitted_at":"2014-03-14T20:04:09Z","abstract_excerpt":"We prove that the expressive power of first-order logic with team semantics plus contradictory negation does not rise beyond that of first-order logic (with respect to sentences), and that the totality atoms of arity k +1 are not definable in terms of the totality atoms of arity k. We furthermore prove that all first-order nullary and unary dependencies are strongly first order, in the sense that they do not increase the expressive power of first order logic if added to it."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.3698","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-18T02:56:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C8exm7LJN4JA6Ea4cUaOBrbYQjCNveuNOkQHqeala9Ra0JGL8gJRo1c5fEe17SsuglMCI1M/nZlEOcX/OtRkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T03:04:10.443849Z"},"content_sha256":"97682ca248d759df9965bf3d52751a16c4d4ca0c646361b94144f843b054da3c","schema_version":"1.0","event_id":"sha256:97682ca248d759df9965bf3d52751a16c4d4ca0c646361b94144f843b054da3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/bundle.json","state_url":"https://pith.science/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/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-29T03:04:10Z","links":{"resolver":"https://pith.science/pith/PKJI2REUBWKCTGYGJX3GXZYHDC","bundle":"https://pith.science/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/bundle.json","state":"https://pith.science/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PKJI2REUBWKCTGYGJX3GXZYHDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:PKJI2REUBWKCTGYGJX3GXZYHDC","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":"199f92aa65a451abcf8e4353c5b31c45598392fceb514081ad2fc14be86afc8d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-14T20:04:09Z","title_canon_sha256":"5a6537e1accfd4c1f868834f8002c4c126e7e91600034a3f7cf20bbdbccd500f"},"schema_version":"1.0","source":{"id":"1403.3698","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.3698","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"arxiv_version","alias_value":"1403.3698v1","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.3698","created_at":"2026-05-18T02:56:18Z"},{"alias_kind":"pith_short_12","alias_value":"PKJI2REUBWKC","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PKJI2REUBWKCTGYG","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PKJI2REU","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:97682ca248d759df9965bf3d52751a16c4d4ca0c646361b94144f843b054da3c","target":"graph","created_at":"2026-05-18T02:56:18Z","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":"We prove that the expressive power of first-order logic with team semantics plus contradictory negation does not rise beyond that of first-order logic (with respect to sentences), and that the totality atoms of arity k +1 are not definable in terms of the totality atoms of arity k. We furthermore prove that all first-order nullary and unary dependencies are strongly first order, in the sense that they do not increase the expressive power of first order logic if added to it.","authors_text":"Pietro Galliani","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-14T20:04:09Z","title":"On Strongly First-Order Dependencies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.3698","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:c3101d987aa4cd94d926c879e7e0e45df0338b24963970b1d1fb544438eda01e","target":"record","created_at":"2026-05-18T02:56:18Z","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":"199f92aa65a451abcf8e4353c5b31c45598392fceb514081ad2fc14be86afc8d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-14T20:04:09Z","title_canon_sha256":"5a6537e1accfd4c1f868834f8002c4c126e7e91600034a3f7cf20bbdbccd500f"},"schema_version":"1.0","source":{"id":"1403.3698","kind":"arxiv","version":1}},"canonical_sha256":"7a928d44940d94299b064df66be70718a97ea9bd833fe1d1106da2afa3640802","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a928d44940d94299b064df66be70718a97ea9bd833fe1d1106da2afa3640802","first_computed_at":"2026-05-18T02:56:18.753243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:56:18.753243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6wWLBfMPOGhyl5NzZIoOwEa/09/fwLc17BvX9hvKB1ZnLUzzc0HpvM22g5YiIyHLxeU9vIBuoIQFyn8GEgdCDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:56:18.753704Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.3698","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3101d987aa4cd94d926c879e7e0e45df0338b24963970b1d1fb544438eda01e","sha256:97682ca248d759df9965bf3d52751a16c4d4ca0c646361b94144f843b054da3c"],"state_sha256":"5d72551240adde7877cb8c58ce94e8d35001ba8e4447ba766d4986f7c60d9968"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CWVf1hTZqacQ9oUGNJu27PQWClwfe07ft8+w2Bg/AeIxQwb0lIzhqcIrjFK/WEuJnm3EeMn306YFDo14Zb5BAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T03:04:10.445683Z","bundle_sha256":"b0a429c6204484290998f144fb535369bd8d64e204f74b152ba1c0ad6a69eae8"}}