{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:JSEGX3ITVQ2H3BJ3BU52MF4AQW","short_pith_number":"pith:JSEGX3IT","schema_version":"1.0","canonical_sha256":"4c886bed13ac347d853b0d3ba6178085b03bf38674f7936ee76693eee24f58c3","source":{"kind":"arxiv","id":"1304.1148","version":1},"attestation_state":"computed","paper":{"title":"Free algebras, amalgamation, and a theorem of Vaught for many valued logics","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-03T08:54:25Z","abstract_excerpt":"We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic logic does not belong to many valued logic. Generalizing results of Comer proved in the classical first order case; working out a sheaf duality on the Zarski topology defined on the prime spectrum of such algebras, we infer several definability theorems, and obtain a representation theorem for theories as continuous sections of Sheaves. We also prove an omitt"},"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.1148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-04-03T08:54:25Z","cross_cats_sorted":[],"title_canon_sha256":"9c449d4929cfe836b361620d773bbc2cb69b3c2ed25bcfdd1c4bb79cb28d7c11","abstract_canon_sha256":"c73956c83a645b5a653129af6278c91317c615d03ec6744e0333b85b252037a3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:29:04.364623Z","signature_b64":"WRgIFmNdjouDrAWQcqjfcrj56593rAoD2S67nJWlEhH6z128e6xZmBCBpjaa/42hC6Z0NKW58dAjH40yMFvyBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c886bed13ac347d853b0d3ba6178085b03bf38674f7936ee76693eee24f58c3","last_reissued_at":"2026-05-18T03:29:04.364123Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:29:04.364123Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Free algebras, amalgamation, and a theorem of Vaught for many valued logics","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-03T08:54:25Z","abstract_excerpt":"We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic logic does not belong to many valued logic. Generalizing results of Comer proved in the classical first order case; working out a sheaf duality on the Zarski topology defined on the prime spectrum of such algebras, we infer several definability theorems, and obtain a representation theorem for theories as continuous sections of Sheaves. We also prove an omitt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1148","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.1148","created_at":"2026-05-18T03:29:04.364197+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.1148v1","created_at":"2026-05-18T03:29:04.364197+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1148","created_at":"2026-05-18T03:29:04.364197+00:00"},{"alias_kind":"pith_short_12","alias_value":"JSEGX3ITVQ2H","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"JSEGX3ITVQ2H3BJ3","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"JSEGX3IT","created_at":"2026-05-18T12:27:49.015174+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/JSEGX3ITVQ2H3BJ3BU52MF4AQW","json":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW.json","graph_json":"https://pith.science/api/pith-number/JSEGX3ITVQ2H3BJ3BU52MF4AQW/graph.json","events_json":"https://pith.science/api/pith-number/JSEGX3ITVQ2H3BJ3BU52MF4AQW/events.json","paper":"https://pith.science/paper/JSEGX3IT"},"agent_actions":{"view_html":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW","download_json":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW.json","view_paper":"https://pith.science/paper/JSEGX3IT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.1148&json=true","fetch_graph":"https://pith.science/api/pith-number/JSEGX3ITVQ2H3BJ3BU52MF4AQW/graph.json","fetch_events":"https://pith.science/api/pith-number/JSEGX3ITVQ2H3BJ3BU52MF4AQW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW/action/storage_attestation","attest_author":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW/action/author_attestation","sign_citation":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW/action/citation_signature","submit_replication":"https://pith.science/pith/JSEGX3ITVQ2H3BJ3BU52MF4AQW/action/replication_record"}},"created_at":"2026-05-18T03:29:04.364197+00:00","updated_at":"2026-05-18T03:29:04.364197+00:00"}