{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:36APMOVT2QCKZKP3EE5J6HILGN","short_pith_number":"pith:36APMOVT","canonical_record":{"source":{"id":"1410.3981","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-15T09:20:50Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62c192f74e854cfa5563c3b6ab71aa673d453da22086d803ac8a874c95a7a83a","abstract_canon_sha256":"bee9b0abe299c6248c4f19379e32461586766145a6c18cfe7758aea583ad3170"},"schema_version":"1.0"},"canonical_sha256":"df80f63ab3d404aca9fb213a9f1d0b337c82121f8c98465e7e7b8c97fe99bfa8","source":{"kind":"arxiv","id":"1410.3981","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.3981","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.3981v1","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3981","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"36APMOVT2QCK","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"36APMOVT2QCKZKP3","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"36APMOVT","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:36APMOVT2QCKZKP3EE5J6HILGN","target":"record","payload":{"canonical_record":{"source":{"id":"1410.3981","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-15T09:20:50Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62c192f74e854cfa5563c3b6ab71aa673d453da22086d803ac8a874c95a7a83a","abstract_canon_sha256":"bee9b0abe299c6248c4f19379e32461586766145a6c18cfe7758aea583ad3170"},"schema_version":"1.0"},"canonical_sha256":"df80f63ab3d404aca9fb213a9f1d0b337c82121f8c98465e7e7b8c97fe99bfa8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:02.904252Z","signature_b64":"d3LfKNtU+NZY58gstfXATQf1C/cHE2hXmh5ehWk+at6J2FsZPI35PjGCqku3e732bNUdhLfCeObJ4GPN1+3tCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df80f63ab3d404aca9fb213a9f1d0b337c82121f8c98465e7e7b8c97fe99bfa8","last_reissued_at":"2026-05-18T02:40:02.903653Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:02.903653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.3981","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-18T02:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ofMufCuQfhfa58vBUU9wE/5a7kHInfzKLVs+0AyJyv++vri2xmSqwqV+i3KOjMEZHtF77SHfqnzYvitmuQHFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T19:10:40.854905Z"},"content_sha256":"bee9e0e809389facd7301ae4ae1a4e873379db1eaf9ccea4e33c52b25da731bd","schema_version":"1.0","event_id":"sha256:bee9e0e809389facd7301ae4ae1a4e873379db1eaf9ccea4e33c52b25da731bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:36APMOVT2QCKZKP3EE5J6HILGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The algebra of functions with antidomain and range","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Marcel Jackson, Robin Hirsch, Szabolcs Mikul\\'as","submitted_at":"2014-10-15T09:20:50Z","abstract_excerpt":"We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras of unary partial functions under combinations of these operations. We look at the complexity of the equational theories and provide a nondeterministic polynomial upper bound. Finally we look at the problem of finite representability and show that finite algebras can be represented as a collection of unary functions over a finite base set provided that inter"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3981","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-18T02:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EQDUBAhNqz9IUCVxL6V4hnCkkmts9csvd2CdZ8QdKPzKoCfORlaYIr4mfVdDuIqFxZA7S0m3+WmMO/GNX+aBDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T19:10:40.855574Z"},"content_sha256":"d14b086741cc4e93463287636202b23299f11c05471eb322e660f4fa4fb8c7d0","schema_version":"1.0","event_id":"sha256:d14b086741cc4e93463287636202b23299f11c05471eb322e660f4fa4fb8c7d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/36APMOVT2QCKZKP3EE5J6HILGN/bundle.json","state_url":"https://pith.science/pith/36APMOVT2QCKZKP3EE5J6HILGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/36APMOVT2QCKZKP3EE5J6HILGN/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-07T19:10:40Z","links":{"resolver":"https://pith.science/pith/36APMOVT2QCKZKP3EE5J6HILGN","bundle":"https://pith.science/pith/36APMOVT2QCKZKP3EE5J6HILGN/bundle.json","state":"https://pith.science/pith/36APMOVT2QCKZKP3EE5J6HILGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/36APMOVT2QCKZKP3EE5J6HILGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:36APMOVT2QCKZKP3EE5J6HILGN","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":"bee9b0abe299c6248c4f19379e32461586766145a6c18cfe7758aea583ad3170","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-15T09:20:50Z","title_canon_sha256":"62c192f74e854cfa5563c3b6ab71aa673d453da22086d803ac8a874c95a7a83a"},"schema_version":"1.0","source":{"id":"1410.3981","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.3981","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.3981v1","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.3981","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"36APMOVT2QCK","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"36APMOVT2QCKZKP3","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"36APMOVT","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:d14b086741cc4e93463287636202b23299f11c05471eb322e660f4fa4fb8c7d0","target":"graph","created_at":"2026-05-18T02:40:02Z","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 give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras of unary partial functions under combinations of these operations. We look at the complexity of the equational theories and provide a nondeterministic polynomial upper bound. Finally we look at the problem of finite representability and show that finite algebras can be represented as a collection of unary functions over a finite base set provided that inter","authors_text":"Marcel Jackson, Robin Hirsch, Szabolcs Mikul\\'as","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-15T09:20:50Z","title":"The algebra of functions with antidomain and range"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.3981","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:bee9e0e809389facd7301ae4ae1a4e873379db1eaf9ccea4e33c52b25da731bd","target":"record","created_at":"2026-05-18T02:40:02Z","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":"bee9b0abe299c6248c4f19379e32461586766145a6c18cfe7758aea583ad3170","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-10-15T09:20:50Z","title_canon_sha256":"62c192f74e854cfa5563c3b6ab71aa673d453da22086d803ac8a874c95a7a83a"},"schema_version":"1.0","source":{"id":"1410.3981","kind":"arxiv","version":1}},"canonical_sha256":"df80f63ab3d404aca9fb213a9f1d0b337c82121f8c98465e7e7b8c97fe99bfa8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df80f63ab3d404aca9fb213a9f1d0b337c82121f8c98465e7e7b8c97fe99bfa8","first_computed_at":"2026-05-18T02:40:02.903653Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:02.903653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d3LfKNtU+NZY58gstfXATQf1C/cHE2hXmh5ehWk+at6J2FsZPI35PjGCqku3e732bNUdhLfCeObJ4GPN1+3tCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:02.904252Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.3981","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bee9e0e809389facd7301ae4ae1a4e873379db1eaf9ccea4e33c52b25da731bd","sha256:d14b086741cc4e93463287636202b23299f11c05471eb322e660f4fa4fb8c7d0"],"state_sha256":"c61791fdd5a73edf1fa629c7c90f193a1586d63701baa27dbbca57b77952aaef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"byR1lPZkXIEsLID454HAUbOIC+m4gRYixesvyWDGs28faoccU5Lsuvh1syiaQfq4yBSm/gfDC8yi7nbPCQw5CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T19:10:40.859559Z","bundle_sha256":"f66d48200eee057eb4dc2f6dea7dee6740657ac6fd5b65cac396a37fb05f4989"}}