{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KA253RHA7YUNA6TGSEXPA2SPQU","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":"e2011b0e813cc7c7d90901ed9a1fb552a92ff550e71eac349434ebac1ee20f62","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-15T14:49:40Z","title_canon_sha256":"d79f65ca1dd586a444f9e1368f086687b22314581829359a3a8a0ead432b6317"},"schema_version":"1.0","source":{"id":"1710.05341","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.05341","created_at":"2026-05-18T00:31:58Z"},{"alias_kind":"arxiv_version","alias_value":"1710.05341v2","created_at":"2026-05-18T00:31:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.05341","created_at":"2026-05-18T00:31:58Z"},{"alias_kind":"pith_short_12","alias_value":"KA253RHA7YUN","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KA253RHA7YUNA6TG","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KA253RHA","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:e2d22cbb1f017618263c5d8aa8e62fc7ed7dc610c0dde275ddd7321d3a506005","target":"graph","created_at":"2026-05-18T00:31: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 his seminal paper that inaugurated abstract argumentation, Dung proved that the set of complete extensions forms a complete semilattice with respect to set inclusion. In this note we demonstrate that this proof is incorrect with counterexamples. We then trace the error in the proof and explain why it arose. We then examine the implications for the grounded extension.\n\n[Reason for withdrawal continued] Page 4, Example 2 is not a counterexample to Dung 1995 Theorem 25(3). It was believed to be a counter-example because the author misunderstood ``glb'' to be set-theoretic intersection. But in ","authors_text":"Anthony P. Young","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-15T14:49:40Z","title":"The Complete Extensions do not form a Complete Semilattice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.05341","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:31d00fb5cfe69d11efb5f53847b26ae07a9c8514d18b35ad83e47d65874bc5fd","target":"record","created_at":"2026-05-18T00:31: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":"e2011b0e813cc7c7d90901ed9a1fb552a92ff550e71eac349434ebac1ee20f62","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-10-15T14:49:40Z","title_canon_sha256":"d79f65ca1dd586a444f9e1368f086687b22314581829359a3a8a0ead432b6317"},"schema_version":"1.0","source":{"id":"1710.05341","kind":"arxiv","version":2}},"canonical_sha256":"5035ddc4e0fe28d07a66912ef06a4f8538041575de6a6f026f2a4a7cfda37ea1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5035ddc4e0fe28d07a66912ef06a4f8538041575de6a6f026f2a4a7cfda37ea1","first_computed_at":"2026-05-18T00:31:58.587252Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:58.587252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i+UnnSp0j0bjHnEYfAp/R2XRjTi4u6x99CfBDXPOE+2RIJkHhE6dw7YX+A+kviyKfsNmuaGV1xizuwc7vqU8CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:58.587683Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.05341","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:31d00fb5cfe69d11efb5f53847b26ae07a9c8514d18b35ad83e47d65874bc5fd","sha256:e2d22cbb1f017618263c5d8aa8e62fc7ed7dc610c0dde275ddd7321d3a506005"],"state_sha256":"c01c7ee07ce5bb91bc0e66fd21b0f8c3475fee506a5b75d7a1a3a177085f308e"}