{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PCI33572FPHAX2RG5ZBJ27FQDX","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":"a23150d6d621197d1fd9681139c7f34d0ae38b2bede63ee2d01c13df33318091","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-02-26T11:25:11Z","title_canon_sha256":"b5cdccbc3df8cd3c4ff0cf7000c0035ee4ddcb3fd99a5387a35d932c40428dab"},"schema_version":"1.0","source":{"id":"1802.09249","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09249","created_at":"2026-05-18T00:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09249v2","created_at":"2026-05-18T00:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09249","created_at":"2026-05-18T00:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"PCI33572FPHA","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"PCI33572FPHAX2RG","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"PCI33572","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:840e4c47273ec91af33035be08058b8a3e22666a52129c9ddd27734e0bd898cb","target":"graph","created_at":"2026-05-18T00:04:07Z","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 study computably enumerable equivalence relations (abbreviated as ceers) under computable reducibility, and we investigate the resulting degree structure Ceers, which is a poset with a smallest and a greatest element. We point out a partition of the ceers into three classes: the finite ceers, the light ceers, and the dark ceers. These classes yield a partition of the degree structure as well, and in the language of posets the corresponding classes of degrees are first order definable within Ceers. There is no least, no maximal, no greatest dark degree, but there are infinitely many minimal ","authors_text":"Andrea Sorbi, Uri Andrews","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-02-26T11:25:11Z","title":"Joins and meets in the structure of Ceers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09249","kind":"arxiv","version":2},"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:f32f8605f634caf4b8abd31813456294ff8c747984965080c6444934d9af6229","target":"record","created_at":"2026-05-18T00:04:07Z","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":"a23150d6d621197d1fd9681139c7f34d0ae38b2bede63ee2d01c13df33318091","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-02-26T11:25:11Z","title_canon_sha256":"b5cdccbc3df8cd3c4ff0cf7000c0035ee4ddcb3fd99a5387a35d932c40428dab"},"schema_version":"1.0","source":{"id":"1802.09249","kind":"arxiv","version":2}},"canonical_sha256":"7891bdf7fa2bce0bea26ee429d7cb01de184ae909c02795af470506c744ecfef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7891bdf7fa2bce0bea26ee429d7cb01de184ae909c02795af470506c744ecfef","first_computed_at":"2026-05-18T00:04:07.944468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:07.944468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uCsNkCW+/FOzBSMYMHEnYxL5coTAJKDFrOxQlBg/Ffc5yF2gTgQuEfwXXXZ8zmn3tw/ORHUqmUMS1cNYIiePAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:07.945112Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.09249","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f32f8605f634caf4b8abd31813456294ff8c747984965080c6444934d9af6229","sha256:840e4c47273ec91af33035be08058b8a3e22666a52129c9ddd27734e0bd898cb"],"state_sha256":"15cb0183cf30235708f1d96d97c235bf2ade4b26a28f8bb9cab67e18ac80a7d1"}