{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OE3TFHUMAFNEHFQPZ3AOUCV32P","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":"941fc231a0a5a622d76d10542ed0695dc3bed8f420616c7b666b74607584fa55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-01T19:21:13Z","title_canon_sha256":"82c85b5d07cca602776c46380801fb1dd99bc6c35d5d91073421b84f612f66e1"},"schema_version":"1.0","source":{"id":"1712.00469","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.00469","created_at":"2026-05-18T00:29:05Z"},{"alias_kind":"arxiv_version","alias_value":"1712.00469v1","created_at":"2026-05-18T00:29:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.00469","created_at":"2026-05-18T00:29:05Z"},{"alias_kind":"pith_short_12","alias_value":"OE3TFHUMAFNE","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OE3TFHUMAFNEHFQP","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OE3TFHUM","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:76119cddaadc144291fb56ead85eb1b3c4171e669c257df73e6815f434c70ad3","target":"graph","created_at":"2026-05-18T00:29:05Z","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":"Universality has been an important concept in computable structure theory. A class $\\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\\mathcal{C}$ with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal.\n  This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being universal. We show that finitely generated groups are as un","authors_text":"Matthew Harrison-Trainor, Meng-Che Ho","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-01T19:21:13Z","title":"Finitely Generated Groups Are Universal"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.00469","kind":"arxiv","version":1},"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:fd731156bc099331af2f1281f32a35f303f1adef96dc1a98192775990ef698b9","target":"record","created_at":"2026-05-18T00:29:05Z","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":"941fc231a0a5a622d76d10542ed0695dc3bed8f420616c7b666b74607584fa55","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-12-01T19:21:13Z","title_canon_sha256":"82c85b5d07cca602776c46380801fb1dd99bc6c35d5d91073421b84f612f66e1"},"schema_version":"1.0","source":{"id":"1712.00469","kind":"arxiv","version":1}},"canonical_sha256":"7137329e8c015a43960fcec0ea0abbd3f555fbe7e062046a6f9ff2b35af38c50","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7137329e8c015a43960fcec0ea0abbd3f555fbe7e062046a6f9ff2b35af38c50","first_computed_at":"2026-05-18T00:29:05.199312Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:05.199312Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9df7970V74eV41jUpCdRPsFCamnHgGuXQ3vGoO7XQ2pDTPt7/Vk2OeXqhSTMisFHQldkHuyF3BhOvdJOmZ4+AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:05.199974Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.00469","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd731156bc099331af2f1281f32a35f303f1adef96dc1a98192775990ef698b9","sha256:76119cddaadc144291fb56ead85eb1b3c4171e669c257df73e6815f434c70ad3"],"state_sha256":"49a2d61eea4dfd9d6c2bd19b613e861e106a54c2dc22c70e8dee26dfde1b1445"}