{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FBU2GZJ33CNIGNTBS2XRBPAIXL","short_pith_number":"pith:FBU2GZJ3","canonical_record":{"source":{"id":"1503.02627","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-03-09T19:20:20Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"222ddfcce5237e44bcf7dc8833e3d20a01fdf111fea599ad6355c57a2b81f505","abstract_canon_sha256":"c21447375b9885add7ca926922ad36a7686a99446df6944cffd4b5384ab5ea0f"},"schema_version":"1.0"},"canonical_sha256":"2869a3653bd89a83366196af10bc08badfabb6488df9ff181610da070c0a7072","source":{"kind":"arxiv","id":"1503.02627","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02627","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02627v2","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02627","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"pith_short_12","alias_value":"FBU2GZJ33CNI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FBU2GZJ33CNIGNTB","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FBU2GZJ3","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FBU2GZJ33CNIGNTBS2XRBPAIXL","target":"record","payload":{"canonical_record":{"source":{"id":"1503.02627","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-03-09T19:20:20Z","cross_cats_sorted":["cs.LO","math.LO"],"title_canon_sha256":"222ddfcce5237e44bcf7dc8833e3d20a01fdf111fea599ad6355c57a2b81f505","abstract_canon_sha256":"c21447375b9885add7ca926922ad36a7686a99446df6944cffd4b5384ab5ea0f"},"schema_version":"1.0"},"canonical_sha256":"2869a3653bd89a83366196af10bc08badfabb6488df9ff181610da070c0a7072","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:13.928433Z","signature_b64":"00NfHoqlnkprWlAlnfXRImGjpb1UY1qGZe0EtM8tWkyMj9W6QBG/fqP+xGNOp2wzehnn6cZaeYg3tFOpakm1DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2869a3653bd89a83366196af10bc08badfabb6488df9ff181610da070c0a7072","last_reissued_at":"2026-05-18T00:39:13.927952Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:13.927952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.02627","source_version":2,"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:39:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cxAaMIAJsPwzJSA75aN7RbM4aUzYBqvFa7/rZTriiLeQJWR/EoF0c+DkYU6v5DZqCQoobuHUCWSlb+xBe4LpCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T20:51:03.741572Z"},"content_sha256":"c5edafd5b1dce9044f461c9650799f4163ff864da4ffc4378e6f2d0487c2d53c","schema_version":"1.0","event_id":"sha256:c5edafd5b1dce9044f461c9650799f4163ff864da4ffc4378e6f2d0487c2d53c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FBU2GZJ33CNIGNTBS2XRBPAIXL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The finite representation property for composition, intersection, domain and range","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.LO"],"primary_cat":"math.RA","authors_text":"Brett McLean, Szabolcs Mikul\\'as","submitted_at":"2015-03-09T19:20:20Z","abstract_excerpt":"We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for any expansion of this signature by the antidomain, fixset, preferential union, maximum iterate and opposite operations. The proof shows that, for all these signatures, the size of base required is bounded by a double-exponential function of the size of the algebra. This establishes that representability of finite algebras is decidable for all these signatures. We also give an example of a signature for which the finit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02627","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"},"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:39:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e7W2KbfcM5wwRhVMQu17sjzk9fAICIK+4GFrWhnXpsZb+uKKhtfK23+E9GIu9STtmMoCCYB/+vDfZiihNbNtBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T20:51:03.741954Z"},"content_sha256":"a9fa506ec50a272e5e10b918fce464e7109c9b6efc975ccfec6bd740c994a05f","schema_version":"1.0","event_id":"sha256:a9fa506ec50a272e5e10b918fce464e7109c9b6efc975ccfec6bd740c994a05f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/bundle.json","state_url":"https://pith.science/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/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-04T20:51:03Z","links":{"resolver":"https://pith.science/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL","bundle":"https://pith.science/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/bundle.json","state":"https://pith.science/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FBU2GZJ33CNIGNTBS2XRBPAIXL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FBU2GZJ33CNIGNTBS2XRBPAIXL","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":"c21447375b9885add7ca926922ad36a7686a99446df6944cffd4b5384ab5ea0f","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-03-09T19:20:20Z","title_canon_sha256":"222ddfcce5237e44bcf7dc8833e3d20a01fdf111fea599ad6355c57a2b81f505"},"schema_version":"1.0","source":{"id":"1503.02627","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.02627","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"arxiv_version","alias_value":"1503.02627v2","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.02627","created_at":"2026-05-18T00:39:13Z"},{"alias_kind":"pith_short_12","alias_value":"FBU2GZJ33CNI","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"FBU2GZJ33CNIGNTB","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"FBU2GZJ3","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:a9fa506ec50a272e5e10b918fce464e7109c9b6efc975ccfec6bd740c994a05f","target":"graph","created_at":"2026-05-18T00:39:13Z","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 prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for any expansion of this signature by the antidomain, fixset, preferential union, maximum iterate and opposite operations. The proof shows that, for all these signatures, the size of base required is bounded by a double-exponential function of the size of the algebra. This establishes that representability of finite algebras is decidable for all these signatures. We also give an example of a signature for which the finit","authors_text":"Brett McLean, Szabolcs Mikul\\'as","cross_cats":["cs.LO","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-03-09T19:20:20Z","title":"The finite representation property for composition, intersection, domain and range"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.02627","kind":"arxiv","version":2},"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:c5edafd5b1dce9044f461c9650799f4163ff864da4ffc4378e6f2d0487c2d53c","target":"record","created_at":"2026-05-18T00:39:13Z","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":"c21447375b9885add7ca926922ad36a7686a99446df6944cffd4b5384ab5ea0f","cross_cats_sorted":["cs.LO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-03-09T19:20:20Z","title_canon_sha256":"222ddfcce5237e44bcf7dc8833e3d20a01fdf111fea599ad6355c57a2b81f505"},"schema_version":"1.0","source":{"id":"1503.02627","kind":"arxiv","version":2}},"canonical_sha256":"2869a3653bd89a83366196af10bc08badfabb6488df9ff181610da070c0a7072","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2869a3653bd89a83366196af10bc08badfabb6488df9ff181610da070c0a7072","first_computed_at":"2026-05-18T00:39:13.927952Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:13.927952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"00NfHoqlnkprWlAlnfXRImGjpb1UY1qGZe0EtM8tWkyMj9W6QBG/fqP+xGNOp2wzehnn6cZaeYg3tFOpakm1DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:13.928433Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.02627","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5edafd5b1dce9044f461c9650799f4163ff864da4ffc4378e6f2d0487c2d53c","sha256:a9fa506ec50a272e5e10b918fce464e7109c9b6efc975ccfec6bd740c994a05f"],"state_sha256":"92e35166530ebbff9a6ea99a6896e8f4d927b08dd9153fc30b010e2df2f74613"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l9wHh662UxfepZkQjr69MOsAIaj4Q/Fpo1ZuOrkTuEawfb+k8HFR2MZryu2yCi3Sw0MVooRp8QoKYZpTT/FqCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T20:51:03.744070Z","bundle_sha256":"4895414d508fc1e76d0bbd804828f34336ecb236c44ccfa413b19811735a72d4"}}