{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:BMRSAOILAHPBOW4RERVEVHQMRD","short_pith_number":"pith:BMRSAOIL","schema_version":"1.0","canonical_sha256":"0b2320390b01de175b91246a4a9e0c88e6ec1fe64dd52c611e73694f4b4fa958","source":{"kind":"arxiv","id":"1503.05124","version":3},"attestation_state":"computed","paper":{"title":"A representation theorem for stratified complete lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoltan Esik","submitted_at":"2015-03-17T17:05:37Z","abstract_excerpt":"We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them, provide a framework for solving fixed point equations involving non-monotone operations such as negation or complement, and have been used to give semantics to logic programs with negation.\n  More precisely, we consider stratified complete lattices subject to two slightly different systems of axioms defining `models' and `strong models'. We prove that a strati"},"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":"1503.05124","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-17T17:05:37Z","cross_cats_sorted":[],"title_canon_sha256":"384c2623124a3dc0d77da4166f6dae729a8dbaac64cc17f1aa74f100cdf90c61","abstract_canon_sha256":"1d49569f21ad1638d0a5abe4d10d61ea74d9bfb527e393b67ec331600da3ee63"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:40.887121Z","signature_b64":"P1o5rVK5SBAoeivl8cr45b582e5R2wDIwL7oK2AC7guTQuoTDe1IJo0AACM3v1GUS6jri6EMjXtw7asRTTSkCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b2320390b01de175b91246a4a9e0c88e6ec1fe64dd52c611e73694f4b4fa958","last_reissued_at":"2026-05-18T01:19:40.886622Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:40.886622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A representation theorem for stratified complete lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Zoltan Esik","submitted_at":"2015-03-17T17:05:37Z","abstract_excerpt":"We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them, provide a framework for solving fixed point equations involving non-monotone operations such as negation or complement, and have been used to give semantics to logic programs with negation.\n  More precisely, we consider stratified complete lattices subject to two slightly different systems of axioms defining `models' and `strong models'. We prove that a strati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.05124","kind":"arxiv","version":3},"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":"1503.05124","created_at":"2026-05-18T01:19:40.886696+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.05124v3","created_at":"2026-05-18T01:19:40.886696+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.05124","created_at":"2026-05-18T01:19:40.886696+00:00"},{"alias_kind":"pith_short_12","alias_value":"BMRSAOILAHPB","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BMRSAOILAHPBOW4R","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BMRSAOIL","created_at":"2026-05-18T12:29:14.074870+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/BMRSAOILAHPBOW4RERVEVHQMRD","json":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD.json","graph_json":"https://pith.science/api/pith-number/BMRSAOILAHPBOW4RERVEVHQMRD/graph.json","events_json":"https://pith.science/api/pith-number/BMRSAOILAHPBOW4RERVEVHQMRD/events.json","paper":"https://pith.science/paper/BMRSAOIL"},"agent_actions":{"view_html":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD","download_json":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD.json","view_paper":"https://pith.science/paper/BMRSAOIL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.05124&json=true","fetch_graph":"https://pith.science/api/pith-number/BMRSAOILAHPBOW4RERVEVHQMRD/graph.json","fetch_events":"https://pith.science/api/pith-number/BMRSAOILAHPBOW4RERVEVHQMRD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD/action/storage_attestation","attest_author":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD/action/author_attestation","sign_citation":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD/action/citation_signature","submit_replication":"https://pith.science/pith/BMRSAOILAHPBOW4RERVEVHQMRD/action/replication_record"}},"created_at":"2026-05-18T01:19:40.886696+00:00","updated_at":"2026-05-18T01:19:40.886696+00:00"}