{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:K7WJWESDLUFUTAECHYEW7OOBXH","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":"c0c21066acc8d056b744ae11b9fdecf9317fde03f145376f251fc3aafcd906da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-04-21T04:46:35Z","title_canon_sha256":"6e96d45832cf473053ec6df5537c583cde9f32f248857334c7bd374feb42f666"},"schema_version":"1.0","source":{"id":"2204.09878","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.09878","created_at":"2026-06-11T01:09:06Z"},{"alias_kind":"arxiv_version","alias_value":"2204.09878v6","created_at":"2026-06-11T01:09:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09878","created_at":"2026-06-11T01:09:06Z"},{"alias_kind":"pith_short_12","alias_value":"K7WJWESDLUFU","created_at":"2026-06-11T01:09:06Z"},{"alias_kind":"pith_short_16","alias_value":"K7WJWESDLUFUTAEC","created_at":"2026-06-11T01:09:06Z"},{"alias_kind":"pith_short_8","alias_value":"K7WJWESD","created_at":"2026-06-11T01:09:06Z"}],"graph_snapshots":[{"event_id":"sha256:5f7c5b5d8f84ced96e0ed4f96d8ede7390a7edec45181b2bee61f7dea5458559","target":"graph","created_at":"2026-06-11T01:09:06Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2204.09878/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study totally disconnected, locally compact (t.d.l.c.) groups from an algorithmic perspective. We give various approaches to defining computable presentations of t.d.l.c.\\ groups, and show their equivalence. In the process, we obtain an algorithmic Stone-type duality between t.d.l.c.~groups and certain countable ordered groupoids given by the compact open cosets. We exploit the flexibility given by these different approaches to show that several natural groups, such as $\\mathrm{Aut}(T_d)$ and $\\mathrm{SL}_n(\\mathbb Q_p)$, have computable presentations. We show that many construction leading","authors_text":"Alexander Melnikov, Andre Nies","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-04-21T04:46:35Z","title":"Computably totally disconnected locally compact groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09878","kind":"arxiv","version":6},"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:dfbed8ae0ed64bc60df70445a1fea15f1819f187a74604bfea6c20e2baeee6ea","target":"record","created_at":"2026-06-11T01:09:06Z","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":"c0c21066acc8d056b744ae11b9fdecf9317fde03f145376f251fc3aafcd906da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-04-21T04:46:35Z","title_canon_sha256":"6e96d45832cf473053ec6df5537c583cde9f32f248857334c7bd374feb42f666"},"schema_version":"1.0","source":{"id":"2204.09878","kind":"arxiv","version":6}},"canonical_sha256":"57ec9b12435d0b4980823e096fb9c1b9de31006573dccabed7198355dadf78a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"57ec9b12435d0b4980823e096fb9c1b9de31006573dccabed7198355dadf78a5","first_computed_at":"2026-06-11T01:09:06.457136Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-11T01:09:06.457136Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v0L9e4/WR4T4YeZFVO97/UfEORICWBbpoT6ccxY4D23Xill0rYo5TLUMg1pQQc9RLoPwIVok61OOdHqKA6HOAQ==","signature_status":"signed_v1","signed_at":"2026-06-11T01:09:06.458212Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.09878","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfbed8ae0ed64bc60df70445a1fea15f1819f187a74604bfea6c20e2baeee6ea","sha256:5f7c5b5d8f84ced96e0ed4f96d8ede7390a7edec45181b2bee61f7dea5458559"],"state_sha256":"ad817b7ee0fa335e280863460826cbcf952310e53131023b887da86016272286"}