{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:K2PPQ2LDHM3WM7QX4IGBM5GXPZ","short_pith_number":"pith:K2PPQ2LD","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"},"canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","source":{"kind":"arxiv","id":"1507.06167","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06167","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06167v4","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06167","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"pith_short_12","alias_value":"K2PPQ2LDHM3W","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"K2PPQ2LDHM3WM7QX","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"K2PPQ2LD","created_at":"2026-05-18T12:29:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:K2PPQ2LDHM3WM7QX4IGBM5GXPZ","target":"record","payload":{"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"},"canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","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"},"source_kind":"arxiv","source_id":"1507.06167","source_version":4,"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-18T00:35:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TtfmUyJl4Ke1yi+TUQyb/hG2t5qZuNdT1XIidEXTDpzZYc8b5gVExm2eYiFePYUfS55gyFs8PLOiGfJXL87xCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:42:48.702231Z"},"content_sha256":"b177abf7c729282cb67bf8e3214a7e8e5ecd17b3d29e15a57f3732639bfebd67","schema_version":"1.0","event_id":"sha256:b177abf7c729282cb67bf8e3214a7e8e5ecd17b3d29e15a57f3732639bfebd67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:K2PPQ2LDHM3WM7QX4IGBM5GXPZ","target":"graph","payload":{"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"},"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-18T00:35:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"glpFy2gTDMeQLXIa5wkVzh3Nrws710ox1bBcnhutNM+I0DqHETTSQVTG57nI0O7ogwVZ7dpW+PT4PuTxRtYwAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:42:48.702585Z"},"content_sha256":"81cecff271e6de0aca04af23a74381c1e47e75b9b7f4200e2a06d417154f1bf3","schema_version":"1.0","event_id":"sha256:81cecff271e6de0aca04af23a74381c1e47e75b9b7f4200e2a06d417154f1bf3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/bundle.json","state_url":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/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-07-04T19:42:48Z","links":{"resolver":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ","bundle":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/bundle.json","state":"https://pith.science/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K2PPQ2LDHM3WM7QX4IGBM5GXPZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:K2PPQ2LDHM3WM7QX4IGBM5GXPZ","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":"18d57085ed219440fc34d7794862c4fa3df45a8f789175d7e7f00f1e42b0bff5","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-22T13:02:41Z","title_canon_sha256":"ff57215c21651559840a0916c76e498c7e08b9101013a10b71f1e7060067acf4"},"schema_version":"1.0","source":{"id":"1507.06167","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.06167","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"arxiv_version","alias_value":"1507.06167v4","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.06167","created_at":"2026-05-18T00:35:05Z"},{"alias_kind":"pith_short_12","alias_value":"K2PPQ2LDHM3W","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_16","alias_value":"K2PPQ2LDHM3WM7QX","created_at":"2026-05-18T12:29:27Z"},{"alias_kind":"pith_short_8","alias_value":"K2PPQ2LD","created_at":"2026-05-18T12:29:27Z"}],"graph_snapshots":[{"event_id":"sha256:81cecff271e6de0aca04af23a74381c1e47e75b9b7f4200e2a06d417154f1bf3","target":"graph","created_at":"2026-05-18T00:35:05Z","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":"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","authors_text":"Brett McLean","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-22T13:02:41Z","title":"Algebras of multiplace functions for signatures containing antidomain"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.06167","kind":"arxiv","version":4},"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:b177abf7c729282cb67bf8e3214a7e8e5ecd17b3d29e15a57f3732639bfebd67","target":"record","created_at":"2026-05-18T00:35:05Z","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":"18d57085ed219440fc34d7794862c4fa3df45a8f789175d7e7f00f1e42b0bff5","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-07-22T13:02:41Z","title_canon_sha256":"ff57215c21651559840a0916c76e498c7e08b9101013a10b71f1e7060067acf4"},"schema_version":"1.0","source":{"id":"1507.06167","kind":"arxiv","version":4}},"canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"569ef869633b37667e17e20c1674d77e64c8de4fa3d87e087420f68273c1f7ca","first_computed_at":"2026-05-18T00:35:05.721996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:05.721996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E0XhvyNCHy48puvFcS6lEjSHA83/z9Mdvtd3TONFSh6ybGaQJJ7PYOm8ItExNyt833lKzG6fsXEa/s2JVk2cDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:05.722661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.06167","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b177abf7c729282cb67bf8e3214a7e8e5ecd17b3d29e15a57f3732639bfebd67","sha256:81cecff271e6de0aca04af23a74381c1e47e75b9b7f4200e2a06d417154f1bf3"],"state_sha256":"9451b65cf295b3ef535b23d28c3d3b6c1d0842ae77a311e431fa539689034a12"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PD7CEnQupfbS4peWgtzF4NvJpKe4io1c7jpRmNxfacRUtl+QG0aRK3zOz1nHl6hUPYXyE4tJc18JtLJnueZYBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T19:42:48.704511Z","bundle_sha256":"c3994744c9bf5ccd98027166dffed3c293ddc9abd00db9b2c53e7d38f5eb60d3"}}