{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:63PYVRTUNLVTIXJSLB2MTJUKY4","short_pith_number":"pith:63PYVRTU","schema_version":"1.0","canonical_sha256":"f6df8ac6746aeb345d325874c9a68ac735c3d273af15951d1e6890c8d857bd8c","source":{"kind":"arxiv","id":"1811.01224","version":1},"attestation_state":"computed","paper":{"title":"Turing Degrees and Automorphism Groups of Substructure Lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andrey Morozov, Rumen Dimitrov, Valentina Harizanov","submitted_at":"2018-11-03T14:11:52Z","abstract_excerpt":"The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of investigation in computable model theory. In this paper, we focus on the lattice structure of computably enumerable substructures of a given canonical computable structure. In particular, for a Turing degree $\\mathbf{d}$, we investigate the groups of $\\mathbf{d}$ -computable automorphisms of the lattice of $\\mathbf{d}$-computably enumerable vector spaces, o"},"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":"1811.01224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-11-03T14:11:52Z","cross_cats_sorted":[],"title_canon_sha256":"e5f4b491b4d6d7e66d92bd33a4b34e977e5ef511aaf95be8ba052c90c1a58100","abstract_canon_sha256":"0c2c6054e14b12f048d783019bca7e889aed2178ba36528ef90b7a396dfd7a9f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:34.952160Z","signature_b64":"ylXS3uicdv9j/UvWSTdl/32kQP5th+Aw2n22uWfh2xg1lQ19whUfJ3Z/um99t+HVwSzigHL9OTu2Hkv1ICHtDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6df8ac6746aeb345d325874c9a68ac735c3d273af15951d1e6890c8d857bd8c","last_reissued_at":"2026-05-18T00:01:34.951353Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:34.951353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Turing Degrees and Automorphism Groups of Substructure Lattices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andrey Morozov, Rumen Dimitrov, Valentina Harizanov","submitted_at":"2018-11-03T14:11:52Z","abstract_excerpt":"The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of investigation in computable model theory. In this paper, we focus on the lattice structure of computably enumerable substructures of a given canonical computable structure. In particular, for a Turing degree $\\mathbf{d}$, we investigate the groups of $\\mathbf{d}$ -computable automorphisms of the lattice of $\\mathbf{d}$-computably enumerable vector spaces, o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.01224","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":"1811.01224","created_at":"2026-05-18T00:01:34.951495+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.01224v1","created_at":"2026-05-18T00:01:34.951495+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.01224","created_at":"2026-05-18T00:01:34.951495+00:00"},{"alias_kind":"pith_short_12","alias_value":"63PYVRTUNLVT","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_16","alias_value":"63PYVRTUNLVTIXJS","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_8","alias_value":"63PYVRTU","created_at":"2026-05-18T12:32:08.215937+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/63PYVRTUNLVTIXJSLB2MTJUKY4","json":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4.json","graph_json":"https://pith.science/api/pith-number/63PYVRTUNLVTIXJSLB2MTJUKY4/graph.json","events_json":"https://pith.science/api/pith-number/63PYVRTUNLVTIXJSLB2MTJUKY4/events.json","paper":"https://pith.science/paper/63PYVRTU"},"agent_actions":{"view_html":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4","download_json":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4.json","view_paper":"https://pith.science/paper/63PYVRTU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.01224&json=true","fetch_graph":"https://pith.science/api/pith-number/63PYVRTUNLVTIXJSLB2MTJUKY4/graph.json","fetch_events":"https://pith.science/api/pith-number/63PYVRTUNLVTIXJSLB2MTJUKY4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4/action/storage_attestation","attest_author":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4/action/author_attestation","sign_citation":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4/action/citation_signature","submit_replication":"https://pith.science/pith/63PYVRTUNLVTIXJSLB2MTJUKY4/action/replication_record"}},"created_at":"2026-05-18T00:01:34.951495+00:00","updated_at":"2026-05-18T00:01:34.951495+00:00"}