{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:KTHKDXZWPQRVX7LLJFXYSVBLAD","short_pith_number":"pith:KTHKDXZW","canonical_record":{"source":{"id":"1309.0681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-08-31T12:56:03Z","cross_cats_sorted":[],"title_canon_sha256":"053cca601fbcba8aabfe2f014eedb81430008be27280b418d9b41c6d4e5db162","abstract_canon_sha256":"ccf36f6e1b7bc637fa8b8995376d7e0479f7be42144fcb20a75d34950614adb0"},"schema_version":"1.0"},"canonical_sha256":"54cea1df367c235bfd6b496f89542b00e5684ec0ea1a2732718c9772d1549119","source":{"kind":"arxiv","id":"1309.0681","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.0681","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"1309.0681v1","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.0681","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"KTHKDXZWPQRV","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"KTHKDXZWPQRVX7LL","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"KTHKDXZW","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:KTHKDXZWPQRVX7LLJFXYSVBLAD","target":"record","payload":{"canonical_record":{"source":{"id":"1309.0681","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-08-31T12:56:03Z","cross_cats_sorted":[],"title_canon_sha256":"053cca601fbcba8aabfe2f014eedb81430008be27280b418d9b41c6d4e5db162","abstract_canon_sha256":"ccf36f6e1b7bc637fa8b8995376d7e0479f7be42144fcb20a75d34950614adb0"},"schema_version":"1.0"},"canonical_sha256":"54cea1df367c235bfd6b496f89542b00e5684ec0ea1a2732718c9772d1549119","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:18.369511Z","signature_b64":"etLe3nD3eTuhPfC/zPBte4oDSfFfYB4Avbz8Vof+zjXbTQPm6Lqakjd6veh2wGvgljw0P7kwKsPO/KezGMHvBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54cea1df367c235bfd6b496f89542b00e5684ec0ea1a2732718c9772d1549119","last_reissued_at":"2026-05-18T03:14:18.368964Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:18.368964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.0681","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:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+vsTpQ2DZzk2z36y0I7IC3NpnusYUcu+xEassU7hLBT4Wss5h/BH7UQbU2c8VR7vCL8akfvfC7qaeEBg6G6dBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:11:05.639222Z"},"content_sha256":"77f195086474ac69711f01102055b3f5392796e2ac5e3250b31c3e1c9993e866","schema_version":"1.0","event_id":"sha256:77f195086474ac69711f01102055b3f5392796e2ac5e3250b31c3e1c9993e866"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:KTHKDXZWPQRVX7LLJFXYSVBLAD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cylindric and polyadic algebras, new perspectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tarek Sayed Ahmed","submitted_at":"2013-08-31T12:56:03Z","abstract_excerpt":"We generalize the notion of Monk's schema in such a way to integrate finite dimensions. This allows us to lift a plathora of deep results proved for finite dimensions to the infinite dimensional case, like the solution to problem 2.12 in Henkin Monk and Tarski part one, solved by Hirsch and Hodkinson. This lifting argument was already used in a joint paper with Robin Hirsch, but in a narrower context, accepted for publication in the Journal of Symbolic Logic. We also give a general new definition of a schema for infinite dimensions covering Monk's schema and Halmos' schema. Several algebraic p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.0681","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:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tcIWpnSoCP67eLb6BBFyI35vV22K/uTQ+p+i9lMuJWOu2nCaD4z8X2k3ESaDHydz5FROlADiuLZoYJuhf+o3Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:11:05.639595Z"},"content_sha256":"ba3092355a2c55be0fc2eddcec7c8411d0d0a7850dab79a0cdeb3e0ce4160cd5","schema_version":"1.0","event_id":"sha256:ba3092355a2c55be0fc2eddcec7c8411d0d0a7850dab79a0cdeb3e0ce4160cd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/bundle.json","state_url":"https://pith.science/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/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-26T12:11:05Z","links":{"resolver":"https://pith.science/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD","bundle":"https://pith.science/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/bundle.json","state":"https://pith.science/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KTHKDXZWPQRVX7LLJFXYSVBLAD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:KTHKDXZWPQRVX7LLJFXYSVBLAD","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":"ccf36f6e1b7bc637fa8b8995376d7e0479f7be42144fcb20a75d34950614adb0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-08-31T12:56:03Z","title_canon_sha256":"053cca601fbcba8aabfe2f014eedb81430008be27280b418d9b41c6d4e5db162"},"schema_version":"1.0","source":{"id":"1309.0681","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.0681","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"1309.0681v1","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.0681","created_at":"2026-05-18T03:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"KTHKDXZWPQRV","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"KTHKDXZWPQRVX7LL","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"KTHKDXZW","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:ba3092355a2c55be0fc2eddcec7c8411d0d0a7850dab79a0cdeb3e0ce4160cd5","target":"graph","created_at":"2026-05-18T03:14:18Z","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 generalize the notion of Monk's schema in such a way to integrate finite dimensions. This allows us to lift a plathora of deep results proved for finite dimensions to the infinite dimensional case, like the solution to problem 2.12 in Henkin Monk and Tarski part one, solved by Hirsch and Hodkinson. This lifting argument was already used in a joint paper with Robin Hirsch, but in a narrower context, accepted for publication in the Journal of Symbolic Logic. We also give a general new definition of a schema for infinite dimensions covering Monk's schema and Halmos' schema. Several algebraic p","authors_text":"Tarek Sayed Ahmed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-08-31T12:56:03Z","title":"Cylindric and polyadic algebras, new perspectives"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.0681","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:77f195086474ac69711f01102055b3f5392796e2ac5e3250b31c3e1c9993e866","target":"record","created_at":"2026-05-18T03:14:18Z","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":"ccf36f6e1b7bc637fa8b8995376d7e0479f7be42144fcb20a75d34950614adb0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-08-31T12:56:03Z","title_canon_sha256":"053cca601fbcba8aabfe2f014eedb81430008be27280b418d9b41c6d4e5db162"},"schema_version":"1.0","source":{"id":"1309.0681","kind":"arxiv","version":1}},"canonical_sha256":"54cea1df367c235bfd6b496f89542b00e5684ec0ea1a2732718c9772d1549119","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54cea1df367c235bfd6b496f89542b00e5684ec0ea1a2732718c9772d1549119","first_computed_at":"2026-05-18T03:14:18.368964Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:14:18.368964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"etLe3nD3eTuhPfC/zPBte4oDSfFfYB4Avbz8Vof+zjXbTQPm6Lqakjd6veh2wGvgljw0P7kwKsPO/KezGMHvBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:14:18.369511Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.0681","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:77f195086474ac69711f01102055b3f5392796e2ac5e3250b31c3e1c9993e866","sha256:ba3092355a2c55be0fc2eddcec7c8411d0d0a7850dab79a0cdeb3e0ce4160cd5"],"state_sha256":"14ec68de9296ff6e8a03c6f06ae5d7611c559806bf202341fc60a3c362701bc9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wKxXCP3DI8xYMKBXDfseCWsP0i8srbQE64QEa2DPHf2YBJu3UTuY+6lUczGXKBPlxnzwF7y/OGw6B1risa6KAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T12:11:05.642896Z","bundle_sha256":"3582c47b957c895dbd13c49d670d030c46df692e7b18851ec9e7c0e992198cfd"}}