{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:AMZ47OW5EHYKKKIMRCARIVPFBZ","short_pith_number":"pith:AMZ47OW5","schema_version":"1.0","canonical_sha256":"0333cfbadd21f0a5290c88811455e50e6dcbcb578c181c0a171882074ea97a55","source":{"kind":"arxiv","id":"1502.06907","version":2},"attestation_state":"computed","paper":{"title":"Congruence Boolean Lifting Property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Claudia Mure\\c{s}an, George Georgescu","submitted_at":"2015-02-24T18:50:15Z","abstract_excerpt":"We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\\star )$. CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP"},"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":"1502.06907","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-02-24T18:50:15Z","cross_cats_sorted":[],"title_canon_sha256":"9f1ccbf9691510ec241598372c01a5e4d2c817a34d970d1c32e465deb4494067","abstract_canon_sha256":"1a290c30225db31d42a4cd97bcb3e9871d54c5f6eedbad91fc804424cdcbfc8d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:29:38.374004Z","signature_b64":"ZrppZBjseo3M9fq1tZOaSKLGL2TWE4oGlFJt64TlzTK50TyUnXa6kz7mRSondj3OBrtloQCOXP3h+00Li6bQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0333cfbadd21f0a5290c88811455e50e6dcbcb578c181c0a171882074ea97a55","last_reissued_at":"2026-05-18T01:29:38.373524Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:29:38.373524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Congruence Boolean Lifting Property","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Claudia Mure\\c{s}an, George Georgescu","submitted_at":"2015-02-24T18:50:15Z","abstract_excerpt":"We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\\star )$. CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.06907","kind":"arxiv","version":2},"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":"1502.06907","created_at":"2026-05-18T01:29:38.373591+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.06907v2","created_at":"2026-05-18T01:29:38.373591+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.06907","created_at":"2026-05-18T01:29:38.373591+00:00"},{"alias_kind":"pith_short_12","alias_value":"AMZ47OW5EHYK","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_16","alias_value":"AMZ47OW5EHYKKKIM","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_8","alias_value":"AMZ47OW5","created_at":"2026-05-18T12:29:10.953037+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/AMZ47OW5EHYKKKIMRCARIVPFBZ","json":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ.json","graph_json":"https://pith.science/api/pith-number/AMZ47OW5EHYKKKIMRCARIVPFBZ/graph.json","events_json":"https://pith.science/api/pith-number/AMZ47OW5EHYKKKIMRCARIVPFBZ/events.json","paper":"https://pith.science/paper/AMZ47OW5"},"agent_actions":{"view_html":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ","download_json":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ.json","view_paper":"https://pith.science/paper/AMZ47OW5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.06907&json=true","fetch_graph":"https://pith.science/api/pith-number/AMZ47OW5EHYKKKIMRCARIVPFBZ/graph.json","fetch_events":"https://pith.science/api/pith-number/AMZ47OW5EHYKKKIMRCARIVPFBZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ/action/storage_attestation","attest_author":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ/action/author_attestation","sign_citation":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ/action/citation_signature","submit_replication":"https://pith.science/pith/AMZ47OW5EHYKKKIMRCARIVPFBZ/action/replication_record"}},"created_at":"2026-05-18T01:29:38.373591+00:00","updated_at":"2026-05-18T01:29:38.373591+00:00"}