{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:2V4WLMKT3QUA43BCT4LM6CDC4B","short_pith_number":"pith:2V4WLMKT","schema_version":"1.0","canonical_sha256":"d57965b153dc280e6c229f16cf0862e0476b5b3ad1e5ef73a3ee5a25ed03dde2","source":{"kind":"arxiv","id":"1309.1450","version":2},"attestation_state":"computed","paper":{"title":"Canonical forms for free {\\kappa}-semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.RA","authors_text":"Jos\\'e Carlos Costa","submitted_at":"2013-09-05T19:22:52Z","abstract_excerpt":"The implicit signature k consists of the multiplication and the ({\\omega}-1)-power. We describe a procedure to transform each {\\kappa}-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond's normal form algorithm for {\\omega}-terms interpreted over the pseudovariety A of all finite aperiodic semigroups, consists in applying elementary changes determined by an elementary set {\\Sigma} of pseudoidentities. As "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1309.1450","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2013-09-05T19:22:52Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"f1e920ab2c649b36d5aa47e31713fab3323be8a70986b5b3c971e0bd8b12507b","abstract_canon_sha256":"5bb053b4f8a3140826a723a5a69fdb3e441af6d3821e97cf3b3feae618096405"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:56:11.502812Z","signature_b64":"CDNNFLKFqbZ/t2vfjbjSxsdE1aTxlSEHAcXNZFxspXKBUwEaLk65vZbjFIIV2EaR3oBl3a1WgIoa153v6qr+Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d57965b153dc280e6c229f16cf0862e0476b5b3ad1e5ef73a3ee5a25ed03dde2","last_reissued_at":"2026-05-18T02:56:11.502351Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:56:11.502351Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Canonical forms for free {\\kappa}-semigroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.RA","authors_text":"Jos\\'e Carlos Costa","submitted_at":"2013-09-05T19:22:52Z","abstract_excerpt":"The implicit signature k consists of the multiplication and the ({\\omega}-1)-power. We describe a procedure to transform each {\\kappa}-term over a finite alphabet A into a certain canonical form and show that different canonical forms have different interpretations over some finite semigroup. The procedure of construction of the canonical forms, which is inspired in McCammond's normal form algorithm for {\\omega}-terms interpreted over the pseudovariety A of all finite aperiodic semigroups, consists in applying elementary changes determined by an elementary set {\\Sigma} of pseudoidentities. As "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.1450","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1309.1450","created_at":"2026-05-18T02:56:11.502434+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.1450v2","created_at":"2026-05-18T02:56:11.502434+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.1450","created_at":"2026-05-18T02:56:11.502434+00:00"},{"alias_kind":"pith_short_12","alias_value":"2V4WLMKT3QUA","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_16","alias_value":"2V4WLMKT3QUA43BC","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_8","alias_value":"2V4WLMKT","created_at":"2026-05-18T12:27:32.513160+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B","json":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B.json","graph_json":"https://pith.science/api/pith-number/2V4WLMKT3QUA43BCT4LM6CDC4B/graph.json","events_json":"https://pith.science/api/pith-number/2V4WLMKT3QUA43BCT4LM6CDC4B/events.json","paper":"https://pith.science/paper/2V4WLMKT"},"agent_actions":{"view_html":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B","download_json":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B.json","view_paper":"https://pith.science/paper/2V4WLMKT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.1450&json=true","fetch_graph":"https://pith.science/api/pith-number/2V4WLMKT3QUA43BCT4LM6CDC4B/graph.json","fetch_events":"https://pith.science/api/pith-number/2V4WLMKT3QUA43BCT4LM6CDC4B/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B/action/storage_attestation","attest_author":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B/action/author_attestation","sign_citation":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B/action/citation_signature","submit_replication":"https://pith.science/pith/2V4WLMKT3QUA43BCT4LM6CDC4B/action/replication_record"}},"created_at":"2026-05-18T02:56:11.502434+00:00","updated_at":"2026-05-18T02:56:11.502434+00:00"}