{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:C2DFNABFQ2JSEWGHL7LYOLTISU","short_pith_number":"pith:C2DFNABF","canonical_record":{"source":{"id":"cs/0405085","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-24T05:16:33Z","cross_cats_sorted":[],"title_canon_sha256":"a2088c89649bbc10aa79d44fe11c0fdf7f3e1a3f299bbb01a9d668763497ff96","abstract_canon_sha256":"1ddee474b81464dcc6490d103a319c9411586505ffe1f3e10211191cf3b60770"},"schema_version":"1.0"},"canonical_sha256":"168656802586932258c75fd7872e689506dd3b72ff8bb246e46c87bd77453249","source":{"kind":"arxiv","id":"cs/0405085","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405085","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405085v1","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405085","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"C2DFNABFQ2JS","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"C2DFNABFQ2JSEWGH","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"C2DFNABF","created_at":"2026-07-04T14:24:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:C2DFNABFQ2JSEWGHL7LYOLTISU","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0405085","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-24T05:16:33Z","cross_cats_sorted":[],"title_canon_sha256":"a2088c89649bbc10aa79d44fe11c0fdf7f3e1a3f299bbb01a9d668763497ff96","abstract_canon_sha256":"1ddee474b81464dcc6490d103a319c9411586505ffe1f3e10211191cf3b60770"},"schema_version":"1.0"},"canonical_sha256":"168656802586932258c75fd7872e689506dd3b72ff8bb246e46c87bd77453249","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:43.598622Z","signature_b64":"pHcKe7HOPAJZtArCvzTUHXcgVPRZLTErH7wcjlwLaOFuFSkwCH2xVoLFcZiljka845M1R397jun5Ne6OKNinDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"168656802586932258c75fd7872e689506dd3b72ff8bb246e46c87bd77453249","last_reissued_at":"2026-07-04T14:24:43.598275Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:43.598275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0405085","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-07-04T14:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VW6QF29iBeX/8W/vBKl6KeMU4+OdQlIXhq/yfAT2KF/7muDpKwYdJV2PpTe2AwHGNxMluyq2Ld5uKGTXt7UHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:30:56.203678Z"},"content_sha256":"bce5f5a6a21bed8724952ee5e988d3bab05b12f548521106bf0a8fc465bd172d","schema_version":"1.0","event_id":"sha256:bce5f5a6a21bed8724952ee5e988d3bab05b12f548521106bf0a8fc465bd172d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:C2DFNABFQ2JSEWGHL7LYOLTISU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Expressive Power of First-Order Boolean Functions in PCF","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Prakash Panangaden, Riccardo Pucella","submitted_at":"2004-05-24T05:16:33Z","abstract_excerpt":"Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By considering a simple subclass of Sieber's sequentiality relations, we identify levels in the semilattice and derive inexpressibility results concerning functions on different levels. This allows us to further explore the structure of the semilattice of degrees of parallelism: we identify semilattices characterized by simple level properties, and show the existence of new infinite hierarchies which are in a certain sense n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405085","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0405085/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T14:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D7w3EFz9GOTZY0PD+8P3uo5cJNAQIYMiBu/e8KCiyEY9jwBPBU1+PtNqlzBdkrU5g73GTyk0wzegCb047yViDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:30:56.203995Z"},"content_sha256":"f2704d8e2142b2d5465187ed95b538e30f1a3f7503a7dfb7976733e12296f748","schema_version":"1.0","event_id":"sha256:f2704d8e2142b2d5465187ed95b538e30f1a3f7503a7dfb7976733e12296f748"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/bundle.json","state_url":"https://pith.science/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/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-08-04T17:30:56Z","links":{"resolver":"https://pith.science/pith/C2DFNABFQ2JSEWGHL7LYOLTISU","bundle":"https://pith.science/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/bundle.json","state":"https://pith.science/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C2DFNABFQ2JSEWGHL7LYOLTISU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:C2DFNABFQ2JSEWGHL7LYOLTISU","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":"1ddee474b81464dcc6490d103a319c9411586505ffe1f3e10211191cf3b60770","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-24T05:16:33Z","title_canon_sha256":"a2088c89649bbc10aa79d44fe11c0fdf7f3e1a3f299bbb01a9d668763497ff96"},"schema_version":"1.0","source":{"id":"cs/0405085","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405085","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405085v1","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405085","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"C2DFNABFQ2JS","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"C2DFNABFQ2JSEWGH","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"C2DFNABF","created_at":"2026-07-04T14:24:43Z"}],"graph_snapshots":[{"event_id":"sha256:f2704d8e2142b2d5465187ed95b538e30f1a3f7503a7dfb7976733e12296f748","target":"graph","created_at":"2026-07-04T14:24: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0405085/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent results of Bucciarelli show that the semilattice of degrees of parallelism of first-order boolean functions in PCF has both infinite chains and infinite antichains. By considering a simple subclass of Sieber's sequentiality relations, we identify levels in the semilattice and derive inexpressibility results concerning functions on different levels. This allows us to further explore the structure of the semilattice of degrees of parallelism: we identify semilattices characterized by simple level properties, and show the existence of new infinite hierarchies which are in a certain sense n","authors_text":"Prakash Panangaden, Riccardo Pucella","cross_cats":[],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2004-05-24T05:16:33Z","title":"On the Expressive Power of First-Order Boolean Functions in PCF"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405085","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:bce5f5a6a21bed8724952ee5e988d3bab05b12f548521106bf0a8fc465bd172d","target":"record","created_at":"2026-07-04T14:24: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":"1ddee474b81464dcc6490d103a319c9411586505ffe1f3e10211191cf3b60770","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2004-05-24T05:16:33Z","title_canon_sha256":"a2088c89649bbc10aa79d44fe11c0fdf7f3e1a3f299bbb01a9d668763497ff96"},"schema_version":"1.0","source":{"id":"cs/0405085","kind":"arxiv","version":1}},"canonical_sha256":"168656802586932258c75fd7872e689506dd3b72ff8bb246e46c87bd77453249","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"168656802586932258c75fd7872e689506dd3b72ff8bb246e46c87bd77453249","first_computed_at":"2026-07-04T14:24:43.598275Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:43.598275Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pHcKe7HOPAJZtArCvzTUHXcgVPRZLTErH7wcjlwLaOFuFSkwCH2xVoLFcZiljka845M1R397jun5Ne6OKNinDA==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:43.598622Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0405085","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bce5f5a6a21bed8724952ee5e988d3bab05b12f548521106bf0a8fc465bd172d","sha256:f2704d8e2142b2d5465187ed95b538e30f1a3f7503a7dfb7976733e12296f748"],"state_sha256":"7c53e6abbd0f8cd26995aae2361560eea5b6233c0ed8388a8845545ff9898891"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+FasDf+L3gscoShVOpUHqIhsgC8qZuCKD1MX6gSW5RgpeaRWQlvQSnm82/7CHhQuD7oX0maWdVKW9o2vSO9mDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T17:30:56.206986Z","bundle_sha256":"626c524dabeb4f4ad65d18789e4f023cbc7b004d939ef5046979a742fc66cfc1"}}