{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:4U2GWEGSG36XQV72RHCY7LYKNS","short_pith_number":"pith:4U2GWEGS","canonical_record":{"source":{"id":"1810.09966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-10-23T16:53:58Z","cross_cats_sorted":[],"title_canon_sha256":"0ea2a08c3c8912d6fb4f026dd70dbdc20e7a85c4a720ee689fd6a168fe317010","abstract_canon_sha256":"5b0a31744ec4f7661f69374105c4a7b4c9bed8905bb52b71b05ec7c35ef6baf0"},"schema_version":"1.0"},"canonical_sha256":"e5346b10d236fd7857fa89c58faf0a6ca0220658099b8ec0d84eb46cf0dbbd00","source":{"kind":"arxiv","id":"1810.09966","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09966","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09966v1","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09966","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"pith_short_12","alias_value":"4U2GWEGSG36X","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4U2GWEGSG36XQV72","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4U2GWEGS","created_at":"2026-05-18T12:32:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:4U2GWEGSG36XQV72RHCY7LYKNS","target":"record","payload":{"canonical_record":{"source":{"id":"1810.09966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-10-23T16:53:58Z","cross_cats_sorted":[],"title_canon_sha256":"0ea2a08c3c8912d6fb4f026dd70dbdc20e7a85c4a720ee689fd6a168fe317010","abstract_canon_sha256":"5b0a31744ec4f7661f69374105c4a7b4c9bed8905bb52b71b05ec7c35ef6baf0"},"schema_version":"1.0"},"canonical_sha256":"e5346b10d236fd7857fa89c58faf0a6ca0220658099b8ec0d84eb46cf0dbbd00","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:41.461144Z","signature_b64":"UjVcJ4gafGow1Qa8k6qy7wX2unKqd43vpch85DfDTlz21ZCm2wnvOozf6ZKhM2zzR89k366OIIS9WCOxASetAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5346b10d236fd7857fa89c58faf0a6ca0220658099b8ec0d84eb46cf0dbbd00","last_reissued_at":"2026-05-17T23:40:41.460559Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:41.460559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.09966","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-17T23:40:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pQYuCu6jie0OXxrhd244QoakL58zfYEyqDeYHsTXS/8fN5pjKnFbjrI4hEZwqCjzBhjNk0OCi/wv02xSEjDOAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:53:19.525912Z"},"content_sha256":"5d53d648fedfe66eebf12f07e9ef4b1388852f4c52c932438d3f83644496bfa7","schema_version":"1.0","event_id":"sha256:5d53d648fedfe66eebf12f07e9ef4b1388852f4c52c932438d3f83644496bfa7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:4U2GWEGSG36XQV72RHCY7LYKNS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pseudovarieties of ordered completely regular semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Jorge Almeida, Ond\\v{r}ej Kl\\'ima","submitted_at":"2018-10-23T16:53:58Z","abstract_excerpt":"This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09966","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-17T23:40:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RD+Hb2NZuIqt7RIA5/ugMTFslZ2LkA5DhilalzD/A801QGka7PRR/ejUYdk37Bom7k3ecWPXsARVxv0ODW6KAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T20:53:19.526398Z"},"content_sha256":"58d318c3695235f25990a3d050209e1f5e62af2e86b73a0a6d648c0150c0c7c9","schema_version":"1.0","event_id":"sha256:58d318c3695235f25990a3d050209e1f5e62af2e86b73a0a6d648c0150c0c7c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4U2GWEGSG36XQV72RHCY7LYKNS/bundle.json","state_url":"https://pith.science/pith/4U2GWEGSG36XQV72RHCY7LYKNS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4U2GWEGSG36XQV72RHCY7LYKNS/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-23T20:53:19Z","links":{"resolver":"https://pith.science/pith/4U2GWEGSG36XQV72RHCY7LYKNS","bundle":"https://pith.science/pith/4U2GWEGSG36XQV72RHCY7LYKNS/bundle.json","state":"https://pith.science/pith/4U2GWEGSG36XQV72RHCY7LYKNS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4U2GWEGSG36XQV72RHCY7LYKNS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:4U2GWEGSG36XQV72RHCY7LYKNS","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":"5b0a31744ec4f7661f69374105c4a7b4c9bed8905bb52b71b05ec7c35ef6baf0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-10-23T16:53:58Z","title_canon_sha256":"0ea2a08c3c8912d6fb4f026dd70dbdc20e7a85c4a720ee689fd6a168fe317010"},"schema_version":"1.0","source":{"id":"1810.09966","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.09966","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"arxiv_version","alias_value":"1810.09966v1","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.09966","created_at":"2026-05-17T23:40:41Z"},{"alias_kind":"pith_short_12","alias_value":"4U2GWEGSG36X","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4U2GWEGSG36XQV72","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4U2GWEGS","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:58d318c3695235f25990a3d050209e1f5e62af2e86b73a0a6d648c0150c0c7c9","target":"graph","created_at":"2026-05-17T23:40:41Z","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":"This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the","authors_text":"Jorge Almeida, Ond\\v{r}ej Kl\\'ima","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-10-23T16:53:58Z","title":"Pseudovarieties of ordered completely regular semigroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.09966","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:5d53d648fedfe66eebf12f07e9ef4b1388852f4c52c932438d3f83644496bfa7","target":"record","created_at":"2026-05-17T23:40:41Z","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":"5b0a31744ec4f7661f69374105c4a7b4c9bed8905bb52b71b05ec7c35ef6baf0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2018-10-23T16:53:58Z","title_canon_sha256":"0ea2a08c3c8912d6fb4f026dd70dbdc20e7a85c4a720ee689fd6a168fe317010"},"schema_version":"1.0","source":{"id":"1810.09966","kind":"arxiv","version":1}},"canonical_sha256":"e5346b10d236fd7857fa89c58faf0a6ca0220658099b8ec0d84eb46cf0dbbd00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5346b10d236fd7857fa89c58faf0a6ca0220658099b8ec0d84eb46cf0dbbd00","first_computed_at":"2026-05-17T23:40:41.460559Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:41.460559Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UjVcJ4gafGow1Qa8k6qy7wX2unKqd43vpch85DfDTlz21ZCm2wnvOozf6ZKhM2zzR89k366OIIS9WCOxASetAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:41.461144Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.09966","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d53d648fedfe66eebf12f07e9ef4b1388852f4c52c932438d3f83644496bfa7","sha256:58d318c3695235f25990a3d050209e1f5e62af2e86b73a0a6d648c0150c0c7c9"],"state_sha256":"479be5cf7999e0209e97fed347fb87f25990b0ce8725b7b4fa5532ad09fc83df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CSpZvpn2jzQUIvoB2KnXOwVvgLqPojrCOlaO6An4FYmy8vjIfv2LmIbI+gnLgPI6Qaq6hDQVDp7JTdNL8B1LAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T20:53:19.528990Z","bundle_sha256":"ff0cbd7d29be5732f907c39fcea4d55b580e8b8c4c1a8336a0449f498898439b"}}