{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BZYK3J6OLPYXI4IKT3HRSZVWPQ","short_pith_number":"pith:BZYK3J6O","canonical_record":{"source":{"id":"1401.4932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-01-20T15:07:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c6632dd14d119d7c0cd5ecf37cd855285cb4e5dd7d216cfe4e1230851e0f3dbe","abstract_canon_sha256":"8be5169f4b4d99cefa52d6b91b48da1cf72df415527b93eec8c4d02cf2bedb5d"},"schema_version":"1.0"},"canonical_sha256":"0e70ada7ce5bf174710a9ecf1966b67c395524f17ecd87f86eb731b26e7aebfe","source":{"kind":"arxiv","id":"1401.4932","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.4932","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"arxiv_version","alias_value":"1401.4932v1","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.4932","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"pith_short_12","alias_value":"BZYK3J6OLPYX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BZYK3J6OLPYXI4IK","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BZYK3J6O","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BZYK3J6OLPYXI4IKT3HRSZVWPQ","target":"record","payload":{"canonical_record":{"source":{"id":"1401.4932","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-01-20T15:07:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c6632dd14d119d7c0cd5ecf37cd855285cb4e5dd7d216cfe4e1230851e0f3dbe","abstract_canon_sha256":"8be5169f4b4d99cefa52d6b91b48da1cf72df415527b93eec8c4d02cf2bedb5d"},"schema_version":"1.0"},"canonical_sha256":"0e70ada7ce5bf174710a9ecf1966b67c395524f17ecd87f86eb731b26e7aebfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:01:43.974780Z","signature_b64":"KayNKrW+s8SJC1NgL3MpL7bA02dCF5N8PMjKMvCd0bMWniEGdRsx7oWTjqBwVYAuRABSDF4zEEHVhBYY2Ki3DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e70ada7ce5bf174710a9ecf1966b67c395524f17ecd87f86eb731b26e7aebfe","last_reissued_at":"2026-05-18T03:01:43.974197Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:01:43.974197Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.4932","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:01:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pdtMCK4Qy8R9Ypg0sp4ArXpGqs7nUerV23Q1B5IRBaGSAgPqW/iCqY4VHYQHMyjXnBxFsTzfzvpsATyzlM1mBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:36:44.616484Z"},"content_sha256":"b286b8372c1cc8b580777f01b6cbcc1d099b1a747d7dc652eef4f70f4cc84844","schema_version":"1.0","event_id":"sha256:b286b8372c1cc8b580777f01b6cbcc1d099b1a747d7dc652eef4f70f4cc84844"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BZYK3J6OLPYXI4IKT3HRSZVWPQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The existential fragment of S1S over element and successor is the co-Buchi languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"Egor Ianovski","submitted_at":"2014-01-20T15:07:42Z","abstract_excerpt":"Buchi's theorem, in establishing the equivalence between languages definable in S1S over element and < and the omega-regular languages also demonstrated that S1S over element and < is no more expressive than its existential fragment. It is also easy to see that S1S over element and < is equi-expressive with S1S over element and successor. However, it is not immediately obvious whether it is possible to adapt Buchi's argument to establish equivalence between expressivity in S1S over element and successor and its existential fragment. In this paper we show that it is not: the existential fragmen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.4932","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:01:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XvWgFCtxek0bzEd37mtUoFtd0taRhiwofGogU6ACWXpCf2YwH8VFRlGbukMza5ETj/pcasxQ2zYd4LBAEI31CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:36:44.616834Z"},"content_sha256":"b2b19dc4cf45634674e44a9033ff903ee963f5208e4f4b9e946a48aac73a1cd4","schema_version":"1.0","event_id":"sha256:b2b19dc4cf45634674e44a9033ff903ee963f5208e4f4b9e946a48aac73a1cd4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/bundle.json","state_url":"https://pith.science/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/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-21T23:36:44Z","links":{"resolver":"https://pith.science/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ","bundle":"https://pith.science/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/bundle.json","state":"https://pith.science/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BZYK3J6OLPYXI4IKT3HRSZVWPQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BZYK3J6OLPYXI4IKT3HRSZVWPQ","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":"8be5169f4b4d99cefa52d6b91b48da1cf72df415527b93eec8c4d02cf2bedb5d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-01-20T15:07:42Z","title_canon_sha256":"c6632dd14d119d7c0cd5ecf37cd855285cb4e5dd7d216cfe4e1230851e0f3dbe"},"schema_version":"1.0","source":{"id":"1401.4932","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.4932","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"arxiv_version","alias_value":"1401.4932v1","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.4932","created_at":"2026-05-18T03:01:43Z"},{"alias_kind":"pith_short_12","alias_value":"BZYK3J6OLPYX","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"BZYK3J6OLPYXI4IK","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"BZYK3J6O","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:b2b19dc4cf45634674e44a9033ff903ee963f5208e4f4b9e946a48aac73a1cd4","target":"graph","created_at":"2026-05-18T03:01:43Z","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":"Buchi's theorem, in establishing the equivalence between languages definable in S1S over element and < and the omega-regular languages also demonstrated that S1S over element and < is no more expressive than its existential fragment. It is also easy to see that S1S over element and < is equi-expressive with S1S over element and successor. However, it is not immediately obvious whether it is possible to adapt Buchi's argument to establish equivalence between expressivity in S1S over element and successor and its existential fragment. In this paper we show that it is not: the existential fragmen","authors_text":"Egor Ianovski","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-01-20T15:07:42Z","title":"The existential fragment of S1S over element and successor is the co-Buchi languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.4932","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:b286b8372c1cc8b580777f01b6cbcc1d099b1a747d7dc652eef4f70f4cc84844","target":"record","created_at":"2026-05-18T03:01:43Z","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":"8be5169f4b4d99cefa52d6b91b48da1cf72df415527b93eec8c4d02cf2bedb5d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2014-01-20T15:07:42Z","title_canon_sha256":"c6632dd14d119d7c0cd5ecf37cd855285cb4e5dd7d216cfe4e1230851e0f3dbe"},"schema_version":"1.0","source":{"id":"1401.4932","kind":"arxiv","version":1}},"canonical_sha256":"0e70ada7ce5bf174710a9ecf1966b67c395524f17ecd87f86eb731b26e7aebfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e70ada7ce5bf174710a9ecf1966b67c395524f17ecd87f86eb731b26e7aebfe","first_computed_at":"2026-05-18T03:01:43.974197Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:43.974197Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KayNKrW+s8SJC1NgL3MpL7bA02dCF5N8PMjKMvCd0bMWniEGdRsx7oWTjqBwVYAuRABSDF4zEEHVhBYY2Ki3DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:43.974780Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.4932","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b286b8372c1cc8b580777f01b6cbcc1d099b1a747d7dc652eef4f70f4cc84844","sha256:b2b19dc4cf45634674e44a9033ff903ee963f5208e4f4b9e946a48aac73a1cd4"],"state_sha256":"21fbdbf18ad0f704de5b7fbd45d8873535126a51ea73b3e1505294b87511f6fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hm+AgfxPd5c4yLWXc5f8II/WMJTUrpeVDHlJt+2XQbpJ1pnsH2KnSqUuscJLgJlg2Uih/YbnY8Rn/gqjEZ4vDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T23:36:44.618839Z","bundle_sha256":"8ad292e3de0f8edf0f896ca9c8e0eee6410ba0db9f630c65e5425f9c20e3e113"}}