{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NI6WJE6GBBSAHNIB4D7FNMQSYL","short_pith_number":"pith:NI6WJE6G","canonical_record":{"source":{"id":"1811.12339","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-11-29T17:38:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c57fb53f355852978e2df8955717fa61444621bbfe19b1e51cb787c3308e8209","abstract_canon_sha256":"4ed1d71d3905a0833dd6b0a84514919903f97c8622246003acd01f98f84dbd43"},"schema_version":"1.0"},"canonical_sha256":"6a3d6493c6086403b501e0fe56b212c2c8b1a8087dfb2592b7e4aef05da3c4f0","source":{"kind":"arxiv","id":"1811.12339","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12339","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12339v2","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12339","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"pith_short_12","alias_value":"NI6WJE6GBBSA","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NI6WJE6GBBSAHNIB","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NI6WJE6G","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NI6WJE6GBBSAHNIB4D7FNMQSYL","target":"record","payload":{"canonical_record":{"source":{"id":"1811.12339","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-11-29T17:38:55Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c57fb53f355852978e2df8955717fa61444621bbfe19b1e51cb787c3308e8209","abstract_canon_sha256":"4ed1d71d3905a0833dd6b0a84514919903f97c8622246003acd01f98f84dbd43"},"schema_version":"1.0"},"canonical_sha256":"6a3d6493c6086403b501e0fe56b212c2c8b1a8087dfb2592b7e4aef05da3c4f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:09.338033Z","signature_b64":"nFIEGlZzZBBPMkANWmhJl4L1ZAagaP7qnkRvw7NxtlxXbWclOzuFAbnK9Xp+39xcMr08yA4fismDhWchE7bjDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a3d6493c6086403b501e0fe56b212c2c8b1a8087dfb2592b7e4aef05da3c4f0","last_reissued_at":"2026-05-17T23:56:09.337297Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:09.337297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.12339","source_version":2,"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-17T23:56:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m1q3DJfrQhXs4KhDMMsSrRz2vEcPoGI5VmnhuGDftgTStLNlpA96V4zfU7CNArzuwVbr1Zo1nRyWmdytMcO7BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:41:58.632804Z"},"content_sha256":"2ec5a767e9d076880b469e57d6c9ababebb969fd9f8265030c31a5f0d7ca63c3","schema_version":"1.0","event_id":"sha256:2ec5a767e9d076880b469e57d6c9ababebb969fd9f8265030c31a5f0d7ca63c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NI6WJE6GBBSAHNIB4D7FNMQSYL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A note on powers of Boolean spaces with internal semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GN","authors_text":"C\\'elia Borlido, Mai Gehrke","submitted_at":"2018-11-29T17:38:55Z","abstract_excerpt":"Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of existential quantification in logic on words amounts to the study of certain spans of Boolean spaces with internal semigroups. In turn, these can be understood as the superposition of a span of Boolean spaces and a span of semigroups. In this note, we first study these separately. More precisely, we identify the conditions under which each of these spans gives rise to a morphism into the respective power or Vietoris co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12339","kind":"arxiv","version":2},"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-17T23:56:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j4THhZumfgOfoTHL9VLVqXxfHIhMwAXOCsSM+kcA4rrqDXLS5XhMnul3/wuKFkUKJ8r0vcwU4VqWk7JBxzxkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:41:58.633194Z"},"content_sha256":"765483b4393023a4042212c24b83ff33c43d861fcc536808c85e54991d9abfd6","schema_version":"1.0","event_id":"sha256:765483b4393023a4042212c24b83ff33c43d861fcc536808c85e54991d9abfd6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/bundle.json","state_url":"https://pith.science/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/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-02T00:41:58Z","links":{"resolver":"https://pith.science/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL","bundle":"https://pith.science/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/bundle.json","state":"https://pith.science/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NI6WJE6GBBSAHNIB4D7FNMQSYL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NI6WJE6GBBSAHNIB4D7FNMQSYL","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":"4ed1d71d3905a0833dd6b0a84514919903f97c8622246003acd01f98f84dbd43","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-11-29T17:38:55Z","title_canon_sha256":"c57fb53f355852978e2df8955717fa61444621bbfe19b1e51cb787c3308e8209"},"schema_version":"1.0","source":{"id":"1811.12339","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.12339","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"arxiv_version","alias_value":"1811.12339v2","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.12339","created_at":"2026-05-17T23:56:09Z"},{"alias_kind":"pith_short_12","alias_value":"NI6WJE6GBBSA","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NI6WJE6GBBSAHNIB","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NI6WJE6G","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:765483b4393023a4042212c24b83ff33c43d861fcc536808c85e54991d9abfd6","target":"graph","created_at":"2026-05-17T23:56:09Z","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":"Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of existential quantification in logic on words amounts to the study of certain spans of Boolean spaces with internal semigroups. In turn, these can be understood as the superposition of a span of Boolean spaces and a span of semigroups. In this note, we first study these separately. More precisely, we identify the conditions under which each of these spans gives rise to a morphism into the respective power or Vietoris co","authors_text":"C\\'elia Borlido, Mai Gehrke","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-11-29T17:38:55Z","title":"A note on powers of Boolean spaces with internal semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.12339","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:2ec5a767e9d076880b469e57d6c9ababebb969fd9f8265030c31a5f0d7ca63c3","target":"record","created_at":"2026-05-17T23:56:09Z","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":"4ed1d71d3905a0833dd6b0a84514919903f97c8622246003acd01f98f84dbd43","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-11-29T17:38:55Z","title_canon_sha256":"c57fb53f355852978e2df8955717fa61444621bbfe19b1e51cb787c3308e8209"},"schema_version":"1.0","source":{"id":"1811.12339","kind":"arxiv","version":2}},"canonical_sha256":"6a3d6493c6086403b501e0fe56b212c2c8b1a8087dfb2592b7e4aef05da3c4f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a3d6493c6086403b501e0fe56b212c2c8b1a8087dfb2592b7e4aef05da3c4f0","first_computed_at":"2026-05-17T23:56:09.337297Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:09.337297Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nFIEGlZzZBBPMkANWmhJl4L1ZAagaP7qnkRvw7NxtlxXbWclOzuFAbnK9Xp+39xcMr08yA4fismDhWchE7bjDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:09.338033Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.12339","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2ec5a767e9d076880b469e57d6c9ababebb969fd9f8265030c31a5f0d7ca63c3","sha256:765483b4393023a4042212c24b83ff33c43d861fcc536808c85e54991d9abfd6"],"state_sha256":"d3aefcfafe6b806a06ee97226b53c5137adef11f257e4cd064ae9272ec78df14"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+I7R4S11W9y6M+PWV2ToCgJbtjhF49GNs7MazfqCliOFvWyEXVcD2YPqIUn4188bdVSeSRKXRZHgXnQvzLX6Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:41:58.635300Z","bundle_sha256":"2d8597f80c41425a659fecb982e4298ac41cef0920698a4c8ca50a1f71760315"}}