{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:RJZIRKNU7I6A2PVDPWWUGQDRPM","short_pith_number":"pith:RJZIRKNU","schema_version":"1.0","canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","source":{"kind":"arxiv","id":"2605.14390","version":1},"attestation_state":"computed","paper":{"title":"Model-theoretic Tameness in finite extensions of groups","license":"http://creativecommons.org/licenses/by/4.0/","headline":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure.","cross_cats":["math.GR"],"primary_cat":"math.LO","authors_text":"Saharon Shelah, Yatir Halevi","submitted_at":"2026-05-14T05:12:44Z","abstract_excerpt":"It is shown that finite-index extensions and finite-index subgroups of $\\omega$-stable groups can be model-theoretically wild. More precisely, there exists an $\\omega$-stable group $G$ such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of $G$ and in some finite-index subgroup of $G$."},"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":true,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.14390","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T05:12:44Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"07cb5164488e7e4b8771266fe1c152905901be1d73fc7fbfa7d8c899137993b1","abstract_canon_sha256":"a70c698b6e1c98c347d9e5541cd0e30f1b2100f48a9e9f6bf743742b5e5eb45d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:07.625106Z","signature_b64":"RpDwjX5xGTBNzKuvGMoiNjOekMnQFs7YjArFtxEiTvj/L0UnZ/P0iwBt9cTnC66c5WpLo1ltfqvX7LDDysYgCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","last_reissued_at":"2026-05-17T23:39:07.624386Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:07.624386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model-theoretic Tameness in finite extensions of groups","license":"http://creativecommons.org/licenses/by/4.0/","headline":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure.","cross_cats":["math.GR"],"primary_cat":"math.LO","authors_text":"Saharon Shelah, Yatir Halevi","submitted_at":"2026-05-14T05:12:44Z","abstract_excerpt":"It is shown that finite-index extensions and finite-index subgroups of $\\omega$-stable groups can be model-theoretically wild. More precisely, there exists an $\\omega$-stable group $G$ such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of $G$ and in some finite-index subgroup of $G$."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"there exists an ω-stable group G such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of G and in some finite-index subgroup of G.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The existence of a specific ω-stable group G whose finite-index extensions and subgroups allow interpretation of arbitrary countable structures, which depends on the details of the construction provided in the paper.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"There exists an ω-stable group G such that every countable structure in a finite language is interpretable in some finite-index extension and some finite-index subgroup of G.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"9a798c219dbb9a3bb4aed4809ac9465a8ef106f892dc9c21f01a6629c55cad5c"},"source":{"id":"2605.14390","kind":"arxiv","version":1},"verdict":{"id":"fc0a573b-add9-4208-a81a-012a26bfd9c7","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T01:57:55.543389Z","strongest_claim":"there exists an ω-stable group G such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of G and in some finite-index subgroup of G.","one_line_summary":"There exists an ω-stable group G such that every countable structure in a finite language is interpretable in some finite-index extension and some finite-index subgroup of G.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The existence of a specific ω-stable group G whose finite-index extensions and subgroups allow interpretation of arbitrary countable structures, which depends on the details of the construction provided in the paper.","pith_extraction_headline":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure."},"references":{"count":19,"sample":[{"doi":"","year":1985,"title":"John T. Baldwin. Some notes on stable groups. In The model theory of groups ( N otre D ame, IN , 1985--1987) , volume 11 of Notre Dame Math. Lectures , pages 100--116. Univ. Notre Dame Press, Notre Da","work_id":"052206cb-2b19-4388-921c-b512bf80b5e6","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1981,"title":"A. Baudisch. Subgroups of semifree groups. Acta Math. Acad. Sci. Hungar. , 38(1-4):19--28, 1981","work_id":"63094b9a-d91c-4cc1-a365-ef081698b2e1","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2012,"title":"I. M. Chiswell. Ordering graph products of groups. Internat. J. Algebra Comput. , 22(4):1250037, 14, 2012","work_id":"27b56264-8bc3-425f-a9de-52a64a9aeb6d","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"First-order aspects of artin groups","work_id":"9d5c023d-cd41-425f-a2fc-a2165816fa96","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2016,"title":"Ordered groups and topology , volume 176 of Graduate Studies in Mathematics","work_id":"af4c9426-be7c-416c-a0fd-36eddb60105b","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":19,"snapshot_sha256":"b4e17b47982c25d9eff7e383fc867a1460bc318f2b75616f35bebc2aa3b435bd","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":"2605.14390","created_at":"2026-05-17T23:39:07.624506+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14390v1","created_at":"2026-05-17T23:39:07.624506+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14390","created_at":"2026-05-17T23:39:07.624506+00:00"},{"alias_kind":"pith_short_12","alias_value":"RJZIRKNU7I6A","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"RJZIRKNU7I6A2PVD","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"RJZIRKNU","created_at":"2026-05-18T12:33:37.589309+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/RJZIRKNU7I6A2PVDPWWUGQDRPM","json":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM.json","graph_json":"https://pith.science/api/pith-number/RJZIRKNU7I6A2PVDPWWUGQDRPM/graph.json","events_json":"https://pith.science/api/pith-number/RJZIRKNU7I6A2PVDPWWUGQDRPM/events.json","paper":"https://pith.science/paper/RJZIRKNU"},"agent_actions":{"view_html":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM","download_json":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM.json","view_paper":"https://pith.science/paper/RJZIRKNU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14390&json=true","fetch_graph":"https://pith.science/api/pith-number/RJZIRKNU7I6A2PVDPWWUGQDRPM/graph.json","fetch_events":"https://pith.science/api/pith-number/RJZIRKNU7I6A2PVDPWWUGQDRPM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/action/storage_attestation","attest_author":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/action/author_attestation","sign_citation":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/action/citation_signature","submit_replication":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/action/replication_record"}},"created_at":"2026-05-17T23:39:07.624506+00:00","updated_at":"2026-05-17T23:39:07.624506+00:00"}