{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UHYPVDVOHLE22NYCCVQWQPNMK3","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":"b240d310ff3cb0cbfe8d334ca7cbf888f7eec0c8236f28f881765fa7be2f932f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-04-04T17:00:06Z","title_canon_sha256":"72cf43a02d00b2e6ca030c30eb36762e29d2e647288c58416a7b1a8f7ee373d7"},"schema_version":"1.0","source":{"id":"1304.1429","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1429","created_at":"2026-05-18T03:28:56Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1429v1","created_at":"2026-05-18T03:28:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1429","created_at":"2026-05-18T03:28:56Z"},{"alias_kind":"pith_short_12","alias_value":"UHYPVDVOHLE2","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UHYPVDVOHLE22NYC","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UHYPVDVO","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:5f25c2781264e1f58404f3cf6b4385bf1c49093e17a202897141ca606128a225","target":"graph","created_at":"2026-05-18T03:28:56Z","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":"Usually when we have polyadic-like algebras, meaning that we have infinitary substitutions (that is substitutions moving infinitely many points) in the similarity type, then we get the superamalgamation property especially if this class of algebras happen to be a variety. This for example happens for (full) polyadic algebras, full Heyting algebras and reducts of those using only finitely many infinitary substitutions, like Sains Boolean and Heyting algebras. (The last is studied by Sayed Ahmed) . In cylindric-like algebras (like quasi-polyadic algebras) when we do not have infinitary substitut","authors_text":"Tarek Sayed Ahmed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-04-04T17:00:06Z","title":"Polyadic-like algebras without the amalgamation property"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1429","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:cd89c00db9f815bfd2f91ddefaea60f38d0f44b212df0298e7ba4c5d81a3521f","target":"record","created_at":"2026-05-18T03:28:56Z","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":"b240d310ff3cb0cbfe8d334ca7cbf888f7eec0c8236f28f881765fa7be2f932f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-04-04T17:00:06Z","title_canon_sha256":"72cf43a02d00b2e6ca030c30eb36762e29d2e647288c58416a7b1a8f7ee373d7"},"schema_version":"1.0","source":{"id":"1304.1429","kind":"arxiv","version":1}},"canonical_sha256":"a1f0fa8eae3ac9ad37021561683dac56e1237eb58e399a953887a4284cf536ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1f0fa8eae3ac9ad37021561683dac56e1237eb58e399a953887a4284cf536ef","first_computed_at":"2026-05-18T03:28:56.793158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:56.793158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ICAWfTO//rRIjOhqAUhc92qkoEr4EC76+CDqSLPLy8wXiXyFHcaH07r87IN4b1sxQjkCMmd7N/UdDzG0StD7BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:56.793703Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.1429","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cd89c00db9f815bfd2f91ddefaea60f38d0f44b212df0298e7ba4c5d81a3521f","sha256:5f25c2781264e1f58404f3cf6b4385bf1c49093e17a202897141ca606128a225"],"state_sha256":"a1fbee04a5d9a07d6e0e4decea3d0490e85676d12f2ac5bc7c8b7c8f1b3f9043"}