{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:YN2IPJV32RZIKNQZOF4PK5C3XF","short_pith_number":"pith:YN2IPJV3","schema_version":"1.0","canonical_sha256":"c37487a6bbd4728536197178f5745bb944e5bfe40b3791ef04ec35d9ee8c6273","source":{"kind":"arxiv","id":"1711.01947","version":1},"attestation_state":"computed","paper":{"title":"Word problems in Elliott monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Daniele Mundici","submitted_at":"2017-11-03T08:11:38Z","abstract_excerpt":"Algorithmic issues concerning Elliott local semigroups are seldom considered in the literature, although these combinatorial structures completely classify AF algebras. In general, the addition operation of an Elliott local semigroup is {\\it partial}, but for every AF algebra $\\mathfrak B$ whose Murray-von Neumann order of projections is a lattice, this operation is uniquely extendible to the addition of an involutive monoid $E(\\mathfrak B)$. Let $\\mathfrak M_1$ be the Farey AF algebra introduced by the present author in 1988 and rediscovered by F. Boca in 2008. The freeness properties of the "},"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":"1711.01947","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-03T08:11:38Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b9fa7a75df09ce0475cdfe9897370d0e1ca7b50d29e6cfa69667142812856c0b","abstract_canon_sha256":"4d6647a30bde1ffb153fd0a42be2b01f297fbe83e6268d30a33da76f03830639"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:16.501247Z","signature_b64":"J5hTvKSu8+2E1FNBnrUcjf+tDw72f8WvCjgj2D/j+vSK/YGgdjONVQhMVr4tF2/WlvqPZJM9NIaQOX6ftf7WDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c37487a6bbd4728536197178f5745bb944e5bfe40b3791ef04ec35d9ee8c6273","last_reissued_at":"2026-05-18T00:31:16.500764Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:16.500764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Word problems in Elliott monoids","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Daniele Mundici","submitted_at":"2017-11-03T08:11:38Z","abstract_excerpt":"Algorithmic issues concerning Elliott local semigroups are seldom considered in the literature, although these combinatorial structures completely classify AF algebras. In general, the addition operation of an Elliott local semigroup is {\\it partial}, but for every AF algebra $\\mathfrak B$ whose Murray-von Neumann order of projections is a lattice, this operation is uniquely extendible to the addition of an involutive monoid $E(\\mathfrak B)$. Let $\\mathfrak M_1$ be the Farey AF algebra introduced by the present author in 1988 and rediscovered by F. Boca in 2008. The freeness properties of the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.01947","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.01947","created_at":"2026-05-18T00:31:16.500849+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.01947v1","created_at":"2026-05-18T00:31:16.500849+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.01947","created_at":"2026-05-18T00:31:16.500849+00:00"},{"alias_kind":"pith_short_12","alias_value":"YN2IPJV32RZI","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_16","alias_value":"YN2IPJV32RZIKNQZ","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_8","alias_value":"YN2IPJV3","created_at":"2026-05-18T12:31:56.362134+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/YN2IPJV32RZIKNQZOF4PK5C3XF","json":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF.json","graph_json":"https://pith.science/api/pith-number/YN2IPJV32RZIKNQZOF4PK5C3XF/graph.json","events_json":"https://pith.science/api/pith-number/YN2IPJV32RZIKNQZOF4PK5C3XF/events.json","paper":"https://pith.science/paper/YN2IPJV3"},"agent_actions":{"view_html":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF","download_json":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF.json","view_paper":"https://pith.science/paper/YN2IPJV3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.01947&json=true","fetch_graph":"https://pith.science/api/pith-number/YN2IPJV32RZIKNQZOF4PK5C3XF/graph.json","fetch_events":"https://pith.science/api/pith-number/YN2IPJV32RZIKNQZOF4PK5C3XF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF/action/storage_attestation","attest_author":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF/action/author_attestation","sign_citation":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF/action/citation_signature","submit_replication":"https://pith.science/pith/YN2IPJV32RZIKNQZOF4PK5C3XF/action/replication_record"}},"created_at":"2026-05-18T00:31:16.500849+00:00","updated_at":"2026-05-18T00:31:16.500849+00:00"}