{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EPQNAQAZNX6WCWCQHIEQAODGQ2","short_pith_number":"pith:EPQNAQAZ","canonical_record":{"source":{"id":"1205.2554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-05-11T15:23:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"01eaeb8a968411532604337e6d518356bfbf705b02ce5224939445deb33911ff","abstract_canon_sha256":"91c2794827018872bbe3a7df0f873ba9fd0899c4d8997780f650de533f5bb9a8"},"schema_version":"1.0"},"canonical_sha256":"23e0d040196dfd6158503a0900386686888dfb9c4d2e13f3e2c399c117e73594","source":{"kind":"arxiv","id":"1205.2554","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2554","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2554v1","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2554","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"pith_short_12","alias_value":"EPQNAQAZNX6W","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EPQNAQAZNX6WCWCQ","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EPQNAQAZ","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EPQNAQAZNX6WCWCQHIEQAODGQ2","target":"record","payload":{"canonical_record":{"source":{"id":"1205.2554","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-05-11T15:23:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"01eaeb8a968411532604337e6d518356bfbf705b02ce5224939445deb33911ff","abstract_canon_sha256":"91c2794827018872bbe3a7df0f873ba9fd0899c4d8997780f650de533f5bb9a8"},"schema_version":"1.0"},"canonical_sha256":"23e0d040196dfd6158503a0900386686888dfb9c4d2e13f3e2c399c117e73594","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:55:48.085804Z","signature_b64":"R9zoCR81YvdgyFBmdVabrNH9z7OtrKc5mRowsTRlhhWuU0BISmZogr3LxJe/W8mtBiJ47Xo27Dg+O7FH3PUuBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23e0d040196dfd6158503a0900386686888dfb9c4d2e13f3e2c399c117e73594","last_reissued_at":"2026-05-18T03:55:48.084551Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:55:48.084551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1205.2554","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-18T03:55:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u1uQ1cNRXCUgvHIN+uo4TcjJ91XhaIGpFzCt++B2XoV/B4UMM3JtaEh6O8P0ZgrZllThzWELWe2MP/SjC/lyBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T17:43:51.362467Z"},"content_sha256":"28cee3ad85ab5370d1cf876ea81f34dd11c4fc38286b022411884c0cbed299eb","schema_version":"1.0","event_id":"sha256:28cee3ad85ab5370d1cf876ea81f34dd11c4fc38286b022411884c0cbed299eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EPQNAQAZNX6WCWCQHIEQAODGQ2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On existential declarations of independence in IF Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Fausto Barbero","submitted_at":"2012-05-11T15:23:30Z","abstract_excerpt":"We analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whether a sentence beginning with such prefix exists such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences.\n  The main theorem allows us to describe the behaviour of various particular classes of quantifier prefixes, and to prove as a remarkable corollary that all existential IF sentences are equivale"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2554","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-18T03:55:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FJhjYdEGQ72pRfmOoG0ZVwFMJ1pSpj6NY1lzcqQYeWuSAnihqeP7P6/2TB0H7dhLv0HtI/eeq3cb5SBNp7xdCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T17:43:51.362833Z"},"content_sha256":"34b25032bd1be6c2c59e56c185313db9576de30ef57334c05edeae9d04c07064","schema_version":"1.0","event_id":"sha256:34b25032bd1be6c2c59e56c185313db9576de30ef57334c05edeae9d04c07064"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/bundle.json","state_url":"https://pith.science/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/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-07-01T17:43:51Z","links":{"resolver":"https://pith.science/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2","bundle":"https://pith.science/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/bundle.json","state":"https://pith.science/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EPQNAQAZNX6WCWCQHIEQAODGQ2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EPQNAQAZNX6WCWCQHIEQAODGQ2","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":"91c2794827018872bbe3a7df0f873ba9fd0899c4d8997780f650de533f5bb9a8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-05-11T15:23:30Z","title_canon_sha256":"01eaeb8a968411532604337e6d518356bfbf705b02ce5224939445deb33911ff"},"schema_version":"1.0","source":{"id":"1205.2554","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1205.2554","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"arxiv_version","alias_value":"1205.2554v1","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1205.2554","created_at":"2026-05-18T03:55:48Z"},{"alias_kind":"pith_short_12","alias_value":"EPQNAQAZNX6W","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EPQNAQAZNX6WCWCQ","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EPQNAQAZ","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:34b25032bd1be6c2c59e56c185313db9576de30ef57334c05edeae9d04c07064","target":"graph","created_at":"2026-05-18T03:55:48Z","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 analyze the behaviour of declarations of independence between existential quantifiers in quantifier prefixes of IF sentences; we give a syntactical criterion for deciding whether a sentence beginning with such prefix exists such that its truth values may be affected by removal of the declaration of independence. We extend the result also to equilibrium semantics values for undetermined IF sentences.\n  The main theorem allows us to describe the behaviour of various particular classes of quantifier prefixes, and to prove as a remarkable corollary that all existential IF sentences are equivale","authors_text":"Fausto Barbero","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-05-11T15:23:30Z","title":"On existential declarations of independence in IF Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1205.2554","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:28cee3ad85ab5370d1cf876ea81f34dd11c4fc38286b022411884c0cbed299eb","target":"record","created_at":"2026-05-18T03:55:48Z","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":"91c2794827018872bbe3a7df0f873ba9fd0899c4d8997780f650de533f5bb9a8","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-05-11T15:23:30Z","title_canon_sha256":"01eaeb8a968411532604337e6d518356bfbf705b02ce5224939445deb33911ff"},"schema_version":"1.0","source":{"id":"1205.2554","kind":"arxiv","version":1}},"canonical_sha256":"23e0d040196dfd6158503a0900386686888dfb9c4d2e13f3e2c399c117e73594","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23e0d040196dfd6158503a0900386686888dfb9c4d2e13f3e2c399c117e73594","first_computed_at":"2026-05-18T03:55:48.084551Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:55:48.084551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R9zoCR81YvdgyFBmdVabrNH9z7OtrKc5mRowsTRlhhWuU0BISmZogr3LxJe/W8mtBiJ47Xo27Dg+O7FH3PUuBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:55:48.085804Z","signed_message":"canonical_sha256_bytes"},"source_id":"1205.2554","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28cee3ad85ab5370d1cf876ea81f34dd11c4fc38286b022411884c0cbed299eb","sha256:34b25032bd1be6c2c59e56c185313db9576de30ef57334c05edeae9d04c07064"],"state_sha256":"08a5aa965591d4d35ef931fd52df93d85816f1171246951c2d81b300fa416e07"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5orWKcZ1pbySinMiv2KkW5yxQYVFTUggSHKQEyG5SYJr4PdjVSb/pB2x+G0g/3swrVj7O99/FXyTbfszDWy3CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T17:43:51.364783Z","bundle_sha256":"838e7f9686b1e5ee7dd233022b152a3bf6ec8a9637e7975a824ef23a8e68aa81"}}