{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:DIN5V4OF2476VG2RGP4CPF4YRQ","short_pith_number":"pith:DIN5V4OF","schema_version":"1.0","canonical_sha256":"1a1bdaf1c5d73fea9b5133f82797988c117d80f2072d3035f4f7b7cd73550a61","source":{"kind":"arxiv","id":"1603.08341","version":4},"attestation_state":"computed","paper":{"title":"Constructive Canonicity of Inductive Inequalities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alessandra Palmigiano, Willem Conradie","submitted_at":"2016-03-28T08:44:47Z","abstract_excerpt":"We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and Suzuki's constructive canonicity results for Sahlqvist formulas and inequalities, and is based on an application of the tools of unified correspondence theory. Specifically, we provide an alternative interpretation of the language of the algorithm ALBA for lattice expansions: nominal and conominal variables are respectively interpreted as closed and open elements of cano"},"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":"1603.08341","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T08:44:47Z","cross_cats_sorted":[],"title_canon_sha256":"de0bb5dce526fa47bc9affd485e267bcc2bea63c7a520614e14f8e4a49638b46","abstract_canon_sha256":"04e50a54fe7cbe8e16a3a1128e36ee61cef7e96a4597a65c980caf133468b580"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:16.741865Z","signature_b64":"rkhinp7K5ygSZNla3PY/iKtvTy65QzExkIhffHM4/nGFCsLCvuVTRTAp2xm9ZcZlhoK7vAQcttrWzxGVulz1Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a1bdaf1c5d73fea9b5133f82797988c117d80f2072d3035f4f7b7cd73550a61","last_reissued_at":"2026-07-05T06:23:16.741338Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:16.741338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constructive Canonicity of Inductive Inequalities","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alessandra Palmigiano, Willem Conradie","submitted_at":"2016-03-28T08:44:47Z","abstract_excerpt":"We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and regular lattice expansions. This result encompasses Ghilardi-Meloni's and Suzuki's constructive canonicity results for Sahlqvist formulas and inequalities, and is based on an application of the tools of unified correspondence theory. Specifically, we provide an alternative interpretation of the language of the algorithm ALBA for lattice expansions: nominal and conominal variables are respectively interpreted as closed and open elements of cano"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08341","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1603.08341/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1603.08341","created_at":"2026-07-05T06:23:16.741412+00:00"},{"alias_kind":"arxiv_version","alias_value":"1603.08341v4","created_at":"2026-07-05T06:23:16.741412+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08341","created_at":"2026-07-05T06:23:16.741412+00:00"},{"alias_kind":"pith_short_12","alias_value":"DIN5V4OF2476","created_at":"2026-07-05T06:23:16.741412+00:00"},{"alias_kind":"pith_short_16","alias_value":"DIN5V4OF2476VG2R","created_at":"2026-07-05T06:23:16.741412+00:00"},{"alias_kind":"pith_short_8","alias_value":"DIN5V4OF","created_at":"2026-07-05T06:23:16.741412+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2501.11768","citing_title":"Possibility Frames and Forcing for Modal Logic","ref_index":46,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ","json":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ.json","graph_json":"https://pith.science/api/pith-number/DIN5V4OF2476VG2RGP4CPF4YRQ/graph.json","events_json":"https://pith.science/api/pith-number/DIN5V4OF2476VG2RGP4CPF4YRQ/events.json","paper":"https://pith.science/paper/DIN5V4OF"},"agent_actions":{"view_html":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ","download_json":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ.json","view_paper":"https://pith.science/paper/DIN5V4OF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1603.08341&json=true","fetch_graph":"https://pith.science/api/pith-number/DIN5V4OF2476VG2RGP4CPF4YRQ/graph.json","fetch_events":"https://pith.science/api/pith-number/DIN5V4OF2476VG2RGP4CPF4YRQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ/action/storage_attestation","attest_author":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ/action/author_attestation","sign_citation":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ/action/citation_signature","submit_replication":"https://pith.science/pith/DIN5V4OF2476VG2RGP4CPF4YRQ/action/replication_record"}},"created_at":"2026-07-05T06:23:16.741412+00:00","updated_at":"2026-07-05T06:23:16.741412+00:00"}