{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:HXHTTBA3OHD4PIGXQBH7PX2BVB","short_pith_number":"pith:HXHTTBA3","schema_version":"1.0","canonical_sha256":"3dcf39841b71c7c7a0d7804ff7df41a8664806cba0edf609a97de57d700380d7","source":{"kind":"arxiv","id":"1109.1792","version":4},"attestation_state":"computed","paper":{"title":"The subgroup identification problem for finitely presented groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GR","authors_text":"Maurice Chiodo","submitted_at":"2011-09-08T17:40:47Z","abstract_excerpt":"We introduce the subgroup identification problem, and show that there is a finitely presented group G for which it is unsolvable, and that it is uniformly solvable in the class of finitely presented locally Hopfian groups. This is done as an investigation into the difference between strong and weak effective coherence for finitely presented groups."},"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":"1109.1792","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2011-09-08T17:40:47Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"d858e8c4163fda20132655c83564a03b9bb044d9db46768ebc89b479899840ae","abstract_canon_sha256":"6a4823cbf30ce8b3ef769f682dfd81056f5dddb7e2bd4465e8c047a5e9b0a177"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:52.718958Z","signature_b64":"GVjV/maJaV64l4Z0t498Ej13tveq/dkC7aqsylSh4E+2yR+M2sKwM/TYE9/8SaxvrwFZIkx1a8Mcqms6XnjsCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dcf39841b71c7c7a0d7804ff7df41a8664806cba0edf609a97de57d700380d7","last_reissued_at":"2026-05-18T01:01:52.718375Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:52.718375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The subgroup identification problem for finitely presented groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GR","authors_text":"Maurice Chiodo","submitted_at":"2011-09-08T17:40:47Z","abstract_excerpt":"We introduce the subgroup identification problem, and show that there is a finitely presented group G for which it is unsolvable, and that it is uniformly solvable in the class of finitely presented locally Hopfian groups. This is done as an investigation into the difference between strong and weak effective coherence for finitely presented groups."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1792","kind":"arxiv","version":4},"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":"1109.1792","created_at":"2026-05-18T01:01:52.718492+00:00"},{"alias_kind":"arxiv_version","alias_value":"1109.1792v4","created_at":"2026-05-18T01:01:52.718492+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1792","created_at":"2026-05-18T01:01:52.718492+00:00"},{"alias_kind":"pith_short_12","alias_value":"HXHTTBA3OHD4","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_16","alias_value":"HXHTTBA3OHD4PIGX","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_8","alias_value":"HXHTTBA3","created_at":"2026-05-18T12:26:30.835961+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/HXHTTBA3OHD4PIGXQBH7PX2BVB","json":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB.json","graph_json":"https://pith.science/api/pith-number/HXHTTBA3OHD4PIGXQBH7PX2BVB/graph.json","events_json":"https://pith.science/api/pith-number/HXHTTBA3OHD4PIGXQBH7PX2BVB/events.json","paper":"https://pith.science/paper/HXHTTBA3"},"agent_actions":{"view_html":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB","download_json":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB.json","view_paper":"https://pith.science/paper/HXHTTBA3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1109.1792&json=true","fetch_graph":"https://pith.science/api/pith-number/HXHTTBA3OHD4PIGXQBH7PX2BVB/graph.json","fetch_events":"https://pith.science/api/pith-number/HXHTTBA3OHD4PIGXQBH7PX2BVB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB/action/storage_attestation","attest_author":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB/action/author_attestation","sign_citation":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB/action/citation_signature","submit_replication":"https://pith.science/pith/HXHTTBA3OHD4PIGXQBH7PX2BVB/action/replication_record"}},"created_at":"2026-05-18T01:01:52.718492+00:00","updated_at":"2026-05-18T01:01:52.718492+00:00"}