{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:3KOLRB67TKD3UUZKXBTL5HXPLR","short_pith_number":"pith:3KOLRB67","schema_version":"1.0","canonical_sha256":"da9cb887df9a87ba532ab866be9eef5c581777c8b370d960b291c922899583bc","source":{"kind":"arxiv","id":"1304.0707","version":1},"attestation_state":"computed","paper":{"title":"The superamalgamation property for reducts of Heyting polyadic algebras with and without equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tarek Sayed Ahmed","submitted_at":"2013-04-02T17:33:58Z","abstract_excerpt":"We show that several reducts of Heyting polyadic algebras of infinite dimension, with and without equality enjoy various amalgamation properties. In the equality free case we obtain superamalgamation, but when we have equality we obtain a weaker interpolation property, for the corresponding infinitary intuitionistic logic with equality."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1304.0707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-04-02T17:33:58Z","cross_cats_sorted":[],"title_canon_sha256":"8c374fd7db3ab5a8b8500548c11182c599aab390472d376001480a83b071ea08","abstract_canon_sha256":"260a9861b238daad259eae0ae19881e4fc49c7286e03bfdb95af0df145b4dfe8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:14.571935Z","signature_b64":"ZgpBe1pif2dxncEHoNBO7vVD9UdqAASEFuHqGc34PKbaMLiPqbqUH9LDad2eF4xBwUkgysIABdWYFzzPkupxBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da9cb887df9a87ba532ab866be9eef5c581777c8b370d960b291c922899583bc","last_reissued_at":"2026-05-18T03:29:14.571306Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:14.571306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The superamalgamation property for reducts of Heyting polyadic algebras with and without equality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tarek Sayed Ahmed","submitted_at":"2013-04-02T17:33:58Z","abstract_excerpt":"We show that several reducts of Heyting polyadic algebras of infinite dimension, with and without equality enjoy various amalgamation properties. In the equality free case we obtain superamalgamation, but when we have equality we obtain a weaker interpolation property, for the corresponding infinitary intuitionistic logic with equality."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.0707","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1304.0707","created_at":"2026-05-18T03:29:14.571417+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.0707v1","created_at":"2026-05-18T03:29:14.571417+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.0707","created_at":"2026-05-18T03:29:14.571417+00:00"},{"alias_kind":"pith_short_12","alias_value":"3KOLRB67TKD3","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_16","alias_value":"3KOLRB67TKD3UUZK","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_8","alias_value":"3KOLRB67","created_at":"2026-05-18T12:27:32.513160+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR","json":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR.json","graph_json":"https://pith.science/api/pith-number/3KOLRB67TKD3UUZKXBTL5HXPLR/graph.json","events_json":"https://pith.science/api/pith-number/3KOLRB67TKD3UUZKXBTL5HXPLR/events.json","paper":"https://pith.science/paper/3KOLRB67"},"agent_actions":{"view_html":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR","download_json":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR.json","view_paper":"https://pith.science/paper/3KOLRB67","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.0707&json=true","fetch_graph":"https://pith.science/api/pith-number/3KOLRB67TKD3UUZKXBTL5HXPLR/graph.json","fetch_events":"https://pith.science/api/pith-number/3KOLRB67TKD3UUZKXBTL5HXPLR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR/action/storage_attestation","attest_author":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR/action/author_attestation","sign_citation":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR/action/citation_signature","submit_replication":"https://pith.science/pith/3KOLRB67TKD3UUZKXBTL5HXPLR/action/replication_record"}},"created_at":"2026-05-18T03:29:14.571417+00:00","updated_at":"2026-05-18T03:29:14.571417+00:00"}