{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UL6HDUGEME6SF4SY255B6GURNP","short_pith_number":"pith:UL6HDUGE","canonical_record":{"source":{"id":"1403.4918","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-19T19:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"c541d544a73a1d2acc72c3646a51b271d3c1b122fa2422eaeac233eca3f12b08","abstract_canon_sha256":"d6f0951cc9bf123ec65a12f8462248a693d3fb6067b02e2a37cdc88abde60fde"},"schema_version":"1.0"},"canonical_sha256":"a2fc71d0c4613d22f258d77a1f1a916bd3f22f6d24b84175214f75586b5e9150","source":{"kind":"arxiv","id":"1403.4918","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.4918","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"arxiv_version","alias_value":"1403.4918v1","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.4918","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"pith_short_12","alias_value":"UL6HDUGEME6S","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UL6HDUGEME6SF4SY","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UL6HDUGE","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UL6HDUGEME6SF4SY255B6GURNP","target":"record","payload":{"canonical_record":{"source":{"id":"1403.4918","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-19T19:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"c541d544a73a1d2acc72c3646a51b271d3c1b122fa2422eaeac233eca3f12b08","abstract_canon_sha256":"d6f0951cc9bf123ec65a12f8462248a693d3fb6067b02e2a37cdc88abde60fde"},"schema_version":"1.0"},"canonical_sha256":"a2fc71d0c4613d22f258d77a1f1a916bd3f22f6d24b84175214f75586b5e9150","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:21.835396Z","signature_b64":"7D6ssuDfJWICIh7wiCHY+eKl6nHO4qpsJf8+fzLNMy23xao58L/LW19kiu1o3r/i643Ss1DIft4QY4WACRhjAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2fc71d0c4613d22f258d77a1f1a916bd3f22f6d24b84175214f75586b5e9150","last_reissued_at":"2026-05-18T01:09:21.835023Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:21.835023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.4918","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-18T01:09:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+j6DyY/LgyuR5kHTBisaBBUiTgO9LfiHsf9vzcz0kDwY6uPa+u07N/uaJbuYjzWObTIctAy8/ncyeAbjeWlZBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:35:05.786954Z"},"content_sha256":"0450f3a8cbafc6c77daa29e6dfd9c2a00e722f85cdbc805a8a11515ed99fbce8","schema_version":"1.0","event_id":"sha256:0450f3a8cbafc6c77daa29e6dfd9c2a00e722f85cdbc805a8a11515ed99fbce8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UL6HDUGEME6SF4SY255B6GURNP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algebraic and Topological Results on Lifting Properties in Residuated Lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Claudia Mure\\c{s}an, Daniela Cheptea, George Georgescu","submitted_at":"2014-03-19T19:23:14Z","abstract_excerpt":"We define lifting properties for universal algebras, which we study in this general context and then particularize to various such properties in certain classes of algebras. Next we focus on residuated lattices, in which we investigate lifting properties for Boolean and idempotent elements modulo arbitrary, as well as specific kinds of filters. We give topological characterizations to the lifting property for Boolean elements and several properties related to it, many of which we obtain by means of the reticulation."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.4918","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-18T01:09:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5DfHjfcdYKI0HZX/b0tFLE/C/qpD/Sg0j3alOa83kddccad/SLRZhih0MFUd99SY2qv65T5H4B2FV8Yb+quqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:35:05.787540Z"},"content_sha256":"10bcc1f206880867283ebfcba789cfc31b54adb3d964937064c4a1892f980ca2","schema_version":"1.0","event_id":"sha256:10bcc1f206880867283ebfcba789cfc31b54adb3d964937064c4a1892f980ca2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UL6HDUGEME6SF4SY255B6GURNP/bundle.json","state_url":"https://pith.science/pith/UL6HDUGEME6SF4SY255B6GURNP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UL6HDUGEME6SF4SY255B6GURNP/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-30T22:35:05Z","links":{"resolver":"https://pith.science/pith/UL6HDUGEME6SF4SY255B6GURNP","bundle":"https://pith.science/pith/UL6HDUGEME6SF4SY255B6GURNP/bundle.json","state":"https://pith.science/pith/UL6HDUGEME6SF4SY255B6GURNP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UL6HDUGEME6SF4SY255B6GURNP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UL6HDUGEME6SF4SY255B6GURNP","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":"d6f0951cc9bf123ec65a12f8462248a693d3fb6067b02e2a37cdc88abde60fde","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-19T19:23:14Z","title_canon_sha256":"c541d544a73a1d2acc72c3646a51b271d3c1b122fa2422eaeac233eca3f12b08"},"schema_version":"1.0","source":{"id":"1403.4918","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.4918","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"arxiv_version","alias_value":"1403.4918v1","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.4918","created_at":"2026-05-18T01:09:21Z"},{"alias_kind":"pith_short_12","alias_value":"UL6HDUGEME6S","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UL6HDUGEME6SF4SY","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UL6HDUGE","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:10bcc1f206880867283ebfcba789cfc31b54adb3d964937064c4a1892f980ca2","target":"graph","created_at":"2026-05-18T01:09:21Z","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 define lifting properties for universal algebras, which we study in this general context and then particularize to various such properties in certain classes of algebras. Next we focus on residuated lattices, in which we investigate lifting properties for Boolean and idempotent elements modulo arbitrary, as well as specific kinds of filters. We give topological characterizations to the lifting property for Boolean elements and several properties related to it, many of which we obtain by means of the reticulation.","authors_text":"Claudia Mure\\c{s}an, Daniela Cheptea, George Georgescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-19T19:23:14Z","title":"Algebraic and Topological Results on Lifting Properties in Residuated Lattices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.4918","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:0450f3a8cbafc6c77daa29e6dfd9c2a00e722f85cdbc805a8a11515ed99fbce8","target":"record","created_at":"2026-05-18T01:09:21Z","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":"d6f0951cc9bf123ec65a12f8462248a693d3fb6067b02e2a37cdc88abde60fde","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-19T19:23:14Z","title_canon_sha256":"c541d544a73a1d2acc72c3646a51b271d3c1b122fa2422eaeac233eca3f12b08"},"schema_version":"1.0","source":{"id":"1403.4918","kind":"arxiv","version":1}},"canonical_sha256":"a2fc71d0c4613d22f258d77a1f1a916bd3f22f6d24b84175214f75586b5e9150","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2fc71d0c4613d22f258d77a1f1a916bd3f22f6d24b84175214f75586b5e9150","first_computed_at":"2026-05-18T01:09:21.835023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:21.835023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7D6ssuDfJWICIh7wiCHY+eKl6nHO4qpsJf8+fzLNMy23xao58L/LW19kiu1o3r/i643Ss1DIft4QY4WACRhjAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:21.835396Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.4918","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0450f3a8cbafc6c77daa29e6dfd9c2a00e722f85cdbc805a8a11515ed99fbce8","sha256:10bcc1f206880867283ebfcba789cfc31b54adb3d964937064c4a1892f980ca2"],"state_sha256":"a5e00bec102a3a9631783b9c15ae32be6816f48ac9a2bd2996409068c6f20ca8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UI0nlm7x2AZvAxaiZMO3w9qiRy2k0GyejAufUJuldxDJ8hrRH43NESsCSMuuh9K29YDpHFlkjq+5skxJ2H4rDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T22:35:05.790187Z","bundle_sha256":"1a561ef73be859594425de5f954980baaa2480dc56f087ba1406e07b755aad7c"}}