{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5UPTD3OULOZOUH6B5FWAHI75G2","short_pith_number":"pith:5UPTD3OU","canonical_record":{"source":{"id":"1809.00179","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-01T13:43:39Z","cross_cats_sorted":[],"title_canon_sha256":"6c2afba63dffeebee76d3dffe23609999837967d5d1cdaf07a0a51b897492071","abstract_canon_sha256":"049319e69f4c18f366092bf1dbbac127db3f3d06b7e6c243de1ac10b9b5f084c"},"schema_version":"1.0"},"canonical_sha256":"ed1f31edd45bb2ea1fc1e96c03a3fd36b285741a4b3c56d3b4e56e5129f9ad31","source":{"kind":"arxiv","id":"1809.00179","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.00179","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"arxiv_version","alias_value":"1809.00179v2","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.00179","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"pith_short_12","alias_value":"5UPTD3OULOZO","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5UPTD3OULOZOUH6B","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5UPTD3OU","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5UPTD3OULOZOUH6B5FWAHI75G2","target":"record","payload":{"canonical_record":{"source":{"id":"1809.00179","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-01T13:43:39Z","cross_cats_sorted":[],"title_canon_sha256":"6c2afba63dffeebee76d3dffe23609999837967d5d1cdaf07a0a51b897492071","abstract_canon_sha256":"049319e69f4c18f366092bf1dbbac127db3f3d06b7e6c243de1ac10b9b5f084c"},"schema_version":"1.0"},"canonical_sha256":"ed1f31edd45bb2ea1fc1e96c03a3fd36b285741a4b3c56d3b4e56e5129f9ad31","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:58.858942Z","signature_b64":"M9pkudsZ1iY7doKF0sbETpsqhKBtUvHtNDaHexpYfemw994DvEDpeG9RCr12A1YowFOsUFvLmRnNMLO1T6jmBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed1f31edd45bb2ea1fc1e96c03a3fd36b285741a4b3c56d3b4e56e5129f9ad31","last_reissued_at":"2026-05-17T23:52:58.858283Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:58.858283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.00179","source_version":2,"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-17T23:52:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"alfoKSXvsZJ27LTbJwFmlIprlId06GihRkBH8jvfOeRbvhN2UwjidtLPTNseEgtVpDx7fO6uPCJFKu1KT1bQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:15:06.133018Z"},"content_sha256":"332cb4d394ef50b4cdaa670685111d47e58f993f215a15a7df12d1e14fecac63","schema_version":"1.0","event_id":"sha256:332cb4d394ef50b4cdaa670685111d47e58f993f215a15a7df12d1e14fecac63"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5UPTD3OULOZOUH6B5FWAHI75G2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing downwards closed, strongly first order, relativizable dependencies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Pietro Galliani","submitted_at":"2018-09-01T13:43:39Z","abstract_excerpt":"In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some first order sentence. In this work it is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable (in the sense that the relativizations of the corresponding atoms with respect to some unary predicate are expressible in terms of them) are definable in terms of constancy atoms.\n  Additionally, it is shown that any strongly first order dependency is safe for any fami"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.00179","kind":"arxiv","version":2},"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-17T23:52:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aWsve3xw1JNbPRVRN4wvWIjiVwBZ9ECeV6J62rH0BNP2StVh1WrrvW7T+Uf8Dkk3ysjd5WJqRVaynadoFunrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:15:06.133372Z"},"content_sha256":"9cedc9b6f73562cec926ebf5488da527690a59ba178cffdf23b3cf1f18be8af4","schema_version":"1.0","event_id":"sha256:9cedc9b6f73562cec926ebf5488da527690a59ba178cffdf23b3cf1f18be8af4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5UPTD3OULOZOUH6B5FWAHI75G2/bundle.json","state_url":"https://pith.science/pith/5UPTD3OULOZOUH6B5FWAHI75G2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5UPTD3OULOZOUH6B5FWAHI75G2/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-29T06:15:06Z","links":{"resolver":"https://pith.science/pith/5UPTD3OULOZOUH6B5FWAHI75G2","bundle":"https://pith.science/pith/5UPTD3OULOZOUH6B5FWAHI75G2/bundle.json","state":"https://pith.science/pith/5UPTD3OULOZOUH6B5FWAHI75G2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5UPTD3OULOZOUH6B5FWAHI75G2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5UPTD3OULOZOUH6B5FWAHI75G2","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":"049319e69f4c18f366092bf1dbbac127db3f3d06b7e6c243de1ac10b9b5f084c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-01T13:43:39Z","title_canon_sha256":"6c2afba63dffeebee76d3dffe23609999837967d5d1cdaf07a0a51b897492071"},"schema_version":"1.0","source":{"id":"1809.00179","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.00179","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"arxiv_version","alias_value":"1809.00179v2","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.00179","created_at":"2026-05-17T23:52:58Z"},{"alias_kind":"pith_short_12","alias_value":"5UPTD3OULOZO","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5UPTD3OULOZOUH6B","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5UPTD3OU","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:9cedc9b6f73562cec926ebf5488da527690a59ba178cffdf23b3cf1f18be8af4","target":"graph","created_at":"2026-05-17T23:52:58Z","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":"In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some first order sentence. In this work it is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable (in the sense that the relativizations of the corresponding atoms with respect to some unary predicate are expressible in terms of them) are definable in terms of constancy atoms.\n  Additionally, it is shown that any strongly first order dependency is safe for any fami","authors_text":"Pietro Galliani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-01T13:43:39Z","title":"Characterizing downwards closed, strongly first order, relativizable dependencies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.00179","kind":"arxiv","version":2},"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:332cb4d394ef50b4cdaa670685111d47e58f993f215a15a7df12d1e14fecac63","target":"record","created_at":"2026-05-17T23:52:58Z","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":"049319e69f4c18f366092bf1dbbac127db3f3d06b7e6c243de1ac10b9b5f084c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-09-01T13:43:39Z","title_canon_sha256":"6c2afba63dffeebee76d3dffe23609999837967d5d1cdaf07a0a51b897492071"},"schema_version":"1.0","source":{"id":"1809.00179","kind":"arxiv","version":2}},"canonical_sha256":"ed1f31edd45bb2ea1fc1e96c03a3fd36b285741a4b3c56d3b4e56e5129f9ad31","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed1f31edd45bb2ea1fc1e96c03a3fd36b285741a4b3c56d3b4e56e5129f9ad31","first_computed_at":"2026-05-17T23:52:58.858283Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:58.858283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M9pkudsZ1iY7doKF0sbETpsqhKBtUvHtNDaHexpYfemw994DvEDpeG9RCr12A1YowFOsUFvLmRnNMLO1T6jmBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:58.858942Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.00179","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:332cb4d394ef50b4cdaa670685111d47e58f993f215a15a7df12d1e14fecac63","sha256:9cedc9b6f73562cec926ebf5488da527690a59ba178cffdf23b3cf1f18be8af4"],"state_sha256":"d25447fec318c416e2114489b316ff6838908e77f02f135e1227977cb8999baf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/46hIPm0KbSs4aU9Y3143GZRqEpPJEgvsOzlvxEwnch7npO3Pqt8uA/fIkiHOJQlZZjpTq9bY+nZeEv6/6UzBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T06:15:06.135206Z","bundle_sha256":"d00b507b05813319fdb538f3685f8fe770ef5a76cdcea3c72ea6df76825f80b9"}}