{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:GU6YFULBEOCLYWCL7UOL5P7EJC","short_pith_number":"pith:GU6YFULB","canonical_record":{"source":{"id":"1304.0619","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.KT","submitted_at":"2013-04-02T12:50:49Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"471ed19be82d8f6e1c03bb9984f09503402835f0b0ed55fbec518cfe3a6613a9","abstract_canon_sha256":"1c9f377c812c080e03da138436a1ed9287d29a4fd1b64c20b8e2dcd0a9c32af5"},"schema_version":"1.0"},"canonical_sha256":"353d82d1612384bc584bfd1cbebfe448bcb44a5752b896e60f7e9bd49eb805db","source":{"kind":"arxiv","id":"1304.0619","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.0619","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"arxiv_version","alias_value":"1304.0619v1","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0619","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"pith_short_12","alias_value":"GU6YFULBEOCL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GU6YFULBEOCLYWCL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GU6YFULB","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:GU6YFULBEOCLYWCL7UOL5P7EJC","target":"record","payload":{"canonical_record":{"source":{"id":"1304.0619","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.KT","submitted_at":"2013-04-02T12:50:49Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"471ed19be82d8f6e1c03bb9984f09503402835f0b0ed55fbec518cfe3a6613a9","abstract_canon_sha256":"1c9f377c812c080e03da138436a1ed9287d29a4fd1b64c20b8e2dcd0a9c32af5"},"schema_version":"1.0"},"canonical_sha256":"353d82d1612384bc584bfd1cbebfe448bcb44a5752b896e60f7e9bd49eb805db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:14.871430Z","signature_b64":"RBweORx/s/eUTAzaX+qHGa+dT8p5dxZi+jUn+0Etg8O3dePRM35mj0wKQD33V9tSwnhyPDP+PgGdSLxHTGBFAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"353d82d1612384bc584bfd1cbebfe448bcb44a5752b896e60f7e9bd49eb805db","last_reissued_at":"2026-05-18T03:29:14.870864Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:14.870864Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.0619","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-18T03:29:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kauk53sxCx7SlASE0TFPRrmZNaJivkfI5IPO7QUiHs1wrZY/xHjEe32e3jCadT/6CoaWfOwYuHZ7DY8iOqxTBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:30:09.087472Z"},"content_sha256":"fca0307b48550b7482f814a86e4c13385b1f979e694743e596df553806ea7a50","schema_version":"1.0","event_id":"sha256:fca0307b48550b7482f814a86e4c13385b1f979e694743e596df553806ea7a50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:GU6YFULBEOCLYWCL7UOL5P7EJC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On complete representability of Pinter's algebras and related structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.KT","authors_text":"Tarek Sayed Ahmed","submitted_at":"2013-04-02T12:50:49Z","abstract_excerpt":"We answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain analagous results for infinite dimensions (replacing finite axiomatizability by finite schema axiomatizability). We show that the class of subdirect products of set algebras is a canonical variety that is locally finite only for finite dimensions, and has the superamalgamation property; the latter for all dimensions. However, the algebras we deal with are ex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0619","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-18T03:29:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SbzBhjVDOoyQQHK2Lh4WiFrpxRZxt2nGa+ddzn5ucWSUxMx7b8pEyDTdf1IoWLG2STt3on/Ol5uGvmCx/W6YAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:30:09.087812Z"},"content_sha256":"b4c13393ee80cc14e5c4e29c203347079eb72e00f722c046bac66435cfd53e01","schema_version":"1.0","event_id":"sha256:b4c13393ee80cc14e5c4e29c203347079eb72e00f722c046bac66435cfd53e01"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/bundle.json","state_url":"https://pith.science/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/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-26T07:30:09Z","links":{"resolver":"https://pith.science/pith/GU6YFULBEOCLYWCL7UOL5P7EJC","bundle":"https://pith.science/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/bundle.json","state":"https://pith.science/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GU6YFULBEOCLYWCL7UOL5P7EJC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:GU6YFULBEOCLYWCL7UOL5P7EJC","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":"1c9f377c812c080e03da138436a1ed9287d29a4fd1b64c20b8e2dcd0a9c32af5","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.KT","submitted_at":"2013-04-02T12:50:49Z","title_canon_sha256":"471ed19be82d8f6e1c03bb9984f09503402835f0b0ed55fbec518cfe3a6613a9"},"schema_version":"1.0","source":{"id":"1304.0619","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.0619","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"arxiv_version","alias_value":"1304.0619v1","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0619","created_at":"2026-05-18T03:29:14Z"},{"alias_kind":"pith_short_12","alias_value":"GU6YFULBEOCL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"GU6YFULBEOCLYWCL","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"GU6YFULB","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:b4c13393ee80cc14e5c4e29c203347079eb72e00f722c046bac66435cfd53e01","target":"graph","created_at":"2026-05-18T03:29:14Z","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 answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain analagous results for infinite dimensions (replacing finite axiomatizability by finite schema axiomatizability). We show that the class of subdirect products of set algebras is a canonical variety that is locally finite only for finite dimensions, and has the superamalgamation property; the latter for all dimensions. However, the algebras we deal with are ex","authors_text":"Tarek Sayed Ahmed","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.KT","submitted_at":"2013-04-02T12:50:49Z","title":"On complete representability of Pinter's algebras and related structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0619","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:fca0307b48550b7482f814a86e4c13385b1f979e694743e596df553806ea7a50","target":"record","created_at":"2026-05-18T03:29:14Z","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":"1c9f377c812c080e03da138436a1ed9287d29a4fd1b64c20b8e2dcd0a9c32af5","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.KT","submitted_at":"2013-04-02T12:50:49Z","title_canon_sha256":"471ed19be82d8f6e1c03bb9984f09503402835f0b0ed55fbec518cfe3a6613a9"},"schema_version":"1.0","source":{"id":"1304.0619","kind":"arxiv","version":1}},"canonical_sha256":"353d82d1612384bc584bfd1cbebfe448bcb44a5752b896e60f7e9bd49eb805db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"353d82d1612384bc584bfd1cbebfe448bcb44a5752b896e60f7e9bd49eb805db","first_computed_at":"2026-05-18T03:29:14.870864Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:29:14.870864Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RBweORx/s/eUTAzaX+qHGa+dT8p5dxZi+jUn+0Etg8O3dePRM35mj0wKQD33V9tSwnhyPDP+PgGdSLxHTGBFAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:29:14.871430Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.0619","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fca0307b48550b7482f814a86e4c13385b1f979e694743e596df553806ea7a50","sha256:b4c13393ee80cc14e5c4e29c203347079eb72e00f722c046bac66435cfd53e01"],"state_sha256":"751ebd45b9d1af56f85339133ebcce4cc2f19eb4302ddd71e30eb0b46aa05838"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kks8+KfcFw493V0m5b7YmmThKHmX1YQ/e+RMgrLgqHi3vMTIWvy/0I4jWrqCkTqXIwiu3N4kb+pUTa3qv/TfBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T07:30:09.089661Z","bundle_sha256":"ed1abb13353a7ec3a92810182b86d4897e834eda286b2acf432fae356bf9fc73"}}