{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:PVKW5ACEPWB6HN37SPKTZINDKS","short_pith_number":"pith:PVKW5ACE","schema_version":"1.0","canonical_sha256":"7d556e80447d83e3b77f93d53ca1a35494dd9af6e7c4351257756b564172cf47","source":{"kind":"arxiv","id":"1812.01921","version":1},"attestation_state":"computed","paper":{"title":"Difference hierarchies and duality with an application to formal languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.LO"],"primary_cat":"math.GN","authors_text":"Andreas Krebs, C\\'elia Borlido, Howard Straubing, Mai Gehrke","submitted_at":"2018-12-05T11:22:26Z","abstract_excerpt":"The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular languages and automata. From a lattice theoretic point of view, the difference hierarchy over a bounded distributive lattice stratifies the Boolean algebra generated by it according to the minimum length of difference chains required to describe the Boolean elements. While each Boolean element is given by a finite difference chain, there is no canonical such "},"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":"1812.01921","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-12-05T11:22:26Z","cross_cats_sorted":["cs.FL","math.LO"],"title_canon_sha256":"e48eb77019981020b1744063ce6cee9058f5b8fd9abf724ce3c5e6d03a0607c8","abstract_canon_sha256":"59d50afcee1e556fc4d70ef2ed27ebfdf8037d0f78aeaf68103b28fc35351ae2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:00.249195Z","signature_b64":"QRUHyyNNPwL1lcMx8Lf8/abTuj6QjEtx7h/Eh4JeNv18iha9cuLLt9InF9gxQ1hNYtEknQ1wsxK5z1GkCEoeBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d556e80447d83e3b77f93d53ca1a35494dd9af6e7c4351257756b564172cf47","last_reissued_at":"2026-05-17T23:59:00.248747Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:00.248747Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Difference hierarchies and duality with an application to formal languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","math.LO"],"primary_cat":"math.GN","authors_text":"Andreas Krebs, C\\'elia Borlido, Howard Straubing, Mai Gehrke","submitted_at":"2018-12-05T11:22:26Z","abstract_excerpt":"The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular languages and automata. From a lattice theoretic point of view, the difference hierarchy over a bounded distributive lattice stratifies the Boolean algebra generated by it according to the minimum length of difference chains required to describe the Boolean elements. While each Boolean element is given by a finite difference chain, there is no canonical such "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01921","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":"1812.01921","created_at":"2026-05-17T23:59:00.248816+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.01921v1","created_at":"2026-05-17T23:59:00.248816+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01921","created_at":"2026-05-17T23:59:00.248816+00:00"},{"alias_kind":"pith_short_12","alias_value":"PVKW5ACEPWB6","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"PVKW5ACEPWB6HN37","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"PVKW5ACE","created_at":"2026-05-18T12:32:46.962924+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/PVKW5ACEPWB6HN37SPKTZINDKS","json":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS.json","graph_json":"https://pith.science/api/pith-number/PVKW5ACEPWB6HN37SPKTZINDKS/graph.json","events_json":"https://pith.science/api/pith-number/PVKW5ACEPWB6HN37SPKTZINDKS/events.json","paper":"https://pith.science/paper/PVKW5ACE"},"agent_actions":{"view_html":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS","download_json":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS.json","view_paper":"https://pith.science/paper/PVKW5ACE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.01921&json=true","fetch_graph":"https://pith.science/api/pith-number/PVKW5ACEPWB6HN37SPKTZINDKS/graph.json","fetch_events":"https://pith.science/api/pith-number/PVKW5ACEPWB6HN37SPKTZINDKS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS/action/storage_attestation","attest_author":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS/action/author_attestation","sign_citation":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS/action/citation_signature","submit_replication":"https://pith.science/pith/PVKW5ACEPWB6HN37SPKTZINDKS/action/replication_record"}},"created_at":"2026-05-17T23:59:00.248816+00:00","updated_at":"2026-05-17T23:59:00.248816+00:00"}