{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:K2PPQ2LDHM3WM7QX4IGBM5GXPZ","short_pith_number":"pith:K2PPQ2LD","schema_version":"1.0","canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","source":{"kind":"arxiv","id":"1507.06167","version":4},"attestation_state":"computed","paper":{"title":"Algebras of multiplace functions for signatures containing antidomain","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.RA","authors_text":"Brett McLean","submitted_at":"2015-07-22T13:02:41Z","abstract_excerpt":"We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the r"},"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":"1507.06167","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-22T13:02:41Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"ff57215c21651559840a0916c76e498c7e08b9101013a10b71f1e7060067acf4","abstract_canon_sha256":"18d57085ed219440fc34d7794862c4fa3df45a8f789175d7e7f00f1e42b0bff5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:05.722661Z","signature_b64":"E0XhvyNCHy48puvFcS6lEjSHA83/z9Mdvtd3TONFSh6ybGaQJJ7PYOm8ItExNyt833lKzG6fsXEa/s2JVk2cDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","last_reissued_at":"2026-05-18T00:35:05.721996Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:05.721996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algebras of multiplace functions for signatures containing antidomain","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.RA","authors_text":"Brett McLean","submitted_at":"2015-07-22T13:02:41Z","abstract_excerpt":"We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or quasiequational axiomatisations for the representation class. We do the same for the question of representability by injective multiplace partial functions. For all our representation theorems, it is an immediate corollary of our proof that the finite representation property holds for the representation class. We show that for a large set of signatures, the r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06167","kind":"arxiv","version":4},"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":"1507.06167","created_at":"2026-05-18T00:35:05.722102+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.06167v4","created_at":"2026-05-18T00:35:05.722102+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06167","created_at":"2026-05-18T00:35:05.722102+00:00"},{"alias_kind":"pith_short_12","alias_value":"K2PPQ2LDHM3W","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"K2PPQ2LDHM3WM7QX","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"K2PPQ2LD","created_at":"2026-05-18T12:29:27.538025+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/K2PPQ2LDHM3WM7QX4IGBM5GXPZ","json":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ.json","graph_json":"https://pith.science/api/pith-number/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/graph.json","events_json":"https://pith.science/api/pith-number/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/events.json","paper":"https://pith.science/paper/K2PPQ2LD"},"agent_actions":{"view_html":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ","download_json":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ.json","view_paper":"https://pith.science/paper/K2PPQ2LD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.06167&json=true","fetch_graph":"https://pith.science/api/pith-number/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/graph.json","fetch_events":"https://pith.science/api/pith-number/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/action/storage_attestation","attest_author":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/action/author_attestation","sign_citation":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/action/citation_signature","submit_replication":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/action/replication_record"}},"created_at":"2026-05-18T00:35:05.722102+00:00","updated_at":"2026-05-18T00:35:05.722102+00:00"}