{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:33JZ7YCXLXUTVHLK3KICKOILRT","short_pith_number":"pith:33JZ7YCX","canonical_record":{"source":{"id":"1603.08264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-27T22:27:49Z","cross_cats_sorted":["cs.FL","math.GN","math.LO"],"title_canon_sha256":"ad5635133307c927f2eac79a72249abae9fbed52b3299a09f84b49716bc44a9a","abstract_canon_sha256":"0576e35c3081a95d5c6a34b5b288d3236c2850a97d476c08c030077ed5e127ee"},"schema_version":"1.0"},"canonical_sha256":"ded39fe0575de93a9d6ada9025390b8ced4cb274ca5d309c4774ab292fdc8b20","source":{"kind":"arxiv","id":"1603.08264","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08264","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08264v1","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08264","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"pith_short_12","alias_value":"33JZ7YCXLXUT","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"33JZ7YCXLXUTVHLK","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"33JZ7YCX","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:33JZ7YCXLXUTVHLK3KICKOILRT","target":"record","payload":{"canonical_record":{"source":{"id":"1603.08264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-27T22:27:49Z","cross_cats_sorted":["cs.FL","math.GN","math.LO"],"title_canon_sha256":"ad5635133307c927f2eac79a72249abae9fbed52b3299a09f84b49716bc44a9a","abstract_canon_sha256":"0576e35c3081a95d5c6a34b5b288d3236c2850a97d476c08c030077ed5e127ee"},"schema_version":"1.0"},"canonical_sha256":"ded39fe0575de93a9d6ada9025390b8ced4cb274ca5d309c4774ab292fdc8b20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:12.692689Z","signature_b64":"2fabWaFjNLKtaMzU2UsYdMnCPve3IHdx0lfVFz0bAMxeUQiYHFmwc2c1e5vMgekzb4YBtXFFHF8NhtbEfxaLAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ded39fe0575de93a9d6ada9025390b8ced4cb274ca5d309c4774ab292fdc8b20","last_reissued_at":"2026-05-18T01:18:12.692139Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:12.692139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.08264","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-18T01:18:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oY2zW2ivaT1eOfU2/x9tLAaNXrNq1OOj3sbAFT2Bg7//o7jp4UITenjxFTqUbrg67WVYHNYsFAk2p3N1NCN0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T02:44:40.176877Z"},"content_sha256":"fb936aad5e7afdb5349d9aac269ad9b51fed2c5185876b51f9e80f062c902519","schema_version":"1.0","event_id":"sha256:fb936aad5e7afdb5349d9aac269ad9b51fed2c5185876b51f9e80f062c902519"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:33JZ7YCXLXUTVHLK3KICKOILRT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Sch\\\"utzenberger product for syntactic spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.GN","math.LO"],"primary_cat":"cs.LO","authors_text":"Daniela Petrisan, Luca Reggio, Mai Gehrke","submitted_at":"2016-03-27T22:27:49Z","abstract_excerpt":"Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite alphabets. This leads to a setting that is well-suited for applying existing tools from Stone duality as applied in semantics. The main focus of the paper is the development of topo-algebraic constructions pertinent to the treatment of languages given by logic formulas. In particular, using the standard semantic view of quantification as projection, we deriv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08264","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-18T01:18:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0kHCjifL+pjEwwRIjV/ux+BQInel9NKjUet49DW2LZoVR0ldItoiu86p06EknCN/Jq9g1kGEQ61FyjoM/R2oAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T02:44:40.177224Z"},"content_sha256":"d1d619db872a8fd4c414977ff1e7ce0c5caa3594994e651be4a5f6a9aabd3fab","schema_version":"1.0","event_id":"sha256:d1d619db872a8fd4c414977ff1e7ce0c5caa3594994e651be4a5f6a9aabd3fab"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/33JZ7YCXLXUTVHLK3KICKOILRT/bundle.json","state_url":"https://pith.science/pith/33JZ7YCXLXUTVHLK3KICKOILRT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/33JZ7YCXLXUTVHLK3KICKOILRT/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-20T02:44:40Z","links":{"resolver":"https://pith.science/pith/33JZ7YCXLXUTVHLK3KICKOILRT","bundle":"https://pith.science/pith/33JZ7YCXLXUTVHLK3KICKOILRT/bundle.json","state":"https://pith.science/pith/33JZ7YCXLXUTVHLK3KICKOILRT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/33JZ7YCXLXUTVHLK3KICKOILRT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:33JZ7YCXLXUTVHLK3KICKOILRT","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":"0576e35c3081a95d5c6a34b5b288d3236c2850a97d476c08c030077ed5e127ee","cross_cats_sorted":["cs.FL","math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-27T22:27:49Z","title_canon_sha256":"ad5635133307c927f2eac79a72249abae9fbed52b3299a09f84b49716bc44a9a"},"schema_version":"1.0","source":{"id":"1603.08264","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08264","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08264v1","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08264","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"pith_short_12","alias_value":"33JZ7YCXLXUT","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"33JZ7YCXLXUTVHLK","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"33JZ7YCX","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:d1d619db872a8fd4c414977ff1e7ce0c5caa3594994e651be4a5f6a9aabd3fab","target":"graph","created_at":"2026-05-18T01:18:12Z","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":"Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite alphabets. This leads to a setting that is well-suited for applying existing tools from Stone duality as applied in semantics. The main focus of the paper is the development of topo-algebraic constructions pertinent to the treatment of languages given by logic formulas. In particular, using the standard semantic view of quantification as projection, we deriv","authors_text":"Daniela Petrisan, Luca Reggio, Mai Gehrke","cross_cats":["cs.FL","math.GN","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-27T22:27:49Z","title":"The Sch\\\"utzenberger product for syntactic spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08264","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:fb936aad5e7afdb5349d9aac269ad9b51fed2c5185876b51f9e80f062c902519","target":"record","created_at":"2026-05-18T01:18:12Z","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":"0576e35c3081a95d5c6a34b5b288d3236c2850a97d476c08c030077ed5e127ee","cross_cats_sorted":["cs.FL","math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-27T22:27:49Z","title_canon_sha256":"ad5635133307c927f2eac79a72249abae9fbed52b3299a09f84b49716bc44a9a"},"schema_version":"1.0","source":{"id":"1603.08264","kind":"arxiv","version":1}},"canonical_sha256":"ded39fe0575de93a9d6ada9025390b8ced4cb274ca5d309c4774ab292fdc8b20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ded39fe0575de93a9d6ada9025390b8ced4cb274ca5d309c4774ab292fdc8b20","first_computed_at":"2026-05-18T01:18:12.692139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:12.692139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2fabWaFjNLKtaMzU2UsYdMnCPve3IHdx0lfVFz0bAMxeUQiYHFmwc2c1e5vMgekzb4YBtXFFHF8NhtbEfxaLAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:12.692689Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.08264","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb936aad5e7afdb5349d9aac269ad9b51fed2c5185876b51f9e80f062c902519","sha256:d1d619db872a8fd4c414977ff1e7ce0c5caa3594994e651be4a5f6a9aabd3fab"],"state_sha256":"08e0322741583050624cfea45c5b376ad1a7ae047955e6167bbff690a7e0bc48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qt8ObBvW03nNkj0mEgcPBq9tKZKwJ35eJurWIpCYn9YMdaHX+ltHoROMSuz6LNSssAo+iHyjhMXxH8iJhdSiDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T02:44:40.179189Z","bundle_sha256":"fb71973a27279587572062660cb93783a5a3e176f07a169a2a24588e36be22ab"}}