{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RJZIRKNU7I6A2PVDPWWUGQDRPM","short_pith_number":"pith:RJZIRKNU","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"},"canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","source":{"kind":"arxiv","id":"2605.14390","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14390","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14390v1","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14390","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"RJZIRKNU7I6A","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"RJZIRKNU7I6A2PVD","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"RJZIRKNU","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RJZIRKNU7I6A2PVDPWWUGQDRPM","target":"record","payload":{"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"},"canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","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"},"source_kind":"arxiv","source_id":"2605.14390","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rSBwkYwHXivVnZ3ngFSAxjv/+VY/jKdCAzQOLwagxczd74xJt2TRVRTpvLybrJc5iwCEUmJCdNCdb9x7vmzoDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:48:45.940397Z"},"content_sha256":"3ff2d17b979b4c05f18db55c6c2b3517ba529d97148448a05314d3b1b32142de","schema_version":"1.0","event_id":"sha256:3ff2d17b979b4c05f18db55c6c2b3517ba529d97148448a05314d3b1b32142de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RJZIRKNU7I6A2PVDPWWUGQDRPM","target":"graph","payload":{"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"},"verdict_id":"fc0a573b-add9-4208-a81a-012a26bfd9c7"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XK0YcXCZylhmqaL3rVuGZfkSdcsIXYFwMdKWsPnghuJSDXvztT9zPHMKFj9Oq7N6OWGxYhno1ORW/3nBsaSuAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T22:48:45.941119Z"},"content_sha256":"d758ed022abfb077fd9f2d77743b397c531d10af4b266387cc7e5c5fccfc3f7b","schema_version":"1.0","event_id":"sha256:d758ed022abfb077fd9f2d77743b397c531d10af4b266387cc7e5c5fccfc3f7b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/bundle.json","state_url":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-29T22:48:45Z","links":{"resolver":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM","bundle":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/bundle.json","state":"https://pith.science/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RJZIRKNU7I6A2PVDPWWUGQDRPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RJZIRKNU7I6A2PVDPWWUGQDRPM","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":"a70c698b6e1c98c347d9e5541cd0e30f1b2100f48a9e9f6bf743742b5e5eb45d","cross_cats_sorted":["math.GR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T05:12:44Z","title_canon_sha256":"07cb5164488e7e4b8771266fe1c152905901be1d73fc7fbfa7d8c899137993b1"},"schema_version":"1.0","source":{"id":"2605.14390","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14390","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14390v1","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14390","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"RJZIRKNU7I6A","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"RJZIRKNU7I6A2PVD","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"RJZIRKNU","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:d758ed022abfb077fd9f2d77743b397c531d10af4b266387cc7e5c5fccfc3f7b","target":"graph","created_at":"2026-05-17T23:39:07Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","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."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure."}],"snapshot_sha256":"9a798c219dbb9a3bb4aed4809ac9465a8ef106f892dc9c21f01a6629c55cad5c"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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$.","authors_text":"Saharon Shelah, Yatir Halevi","cross_cats":["math.GR"],"headline":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T05:12:44Z","title":"Model-theoretic Tameness in finite extensions of groups"},"references":{"count":19,"internal_anchors":0,"resolved_work":19,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"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","year":1985},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"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","year":1981},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"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","year":2012},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"First-order aspects of artin groups","work_id":"9d5c023d-cd41-425f-a2fc-a2165816fa96","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Ordered groups and topology , volume 176 of Graduate Studies in Mathematics","work_id":"af4c9426-be7c-416c-a0fd-36eddb60105b","year":2016}],"snapshot_sha256":"b4e17b47982c25d9eff7e383fc867a1460bc318f2b75616f35bebc2aa3b435bd"},"source":{"id":"2605.14390","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T01:57:55.543389Z","id":"fc0a573b-add9-4208-a81a-012a26bfd9c7","model_set":{"reader":"grok-4.3"},"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","pith_extraction_headline":"There exists an ω-stable group whose finite-index extensions and subgroups interpret any countable first-order structure.","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.","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."}},"verdict_id":"fc0a573b-add9-4208-a81a-012a26bfd9c7"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3ff2d17b979b4c05f18db55c6c2b3517ba529d97148448a05314d3b1b32142de","target":"record","created_at":"2026-05-17T23:39:07Z","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":"a70c698b6e1c98c347d9e5541cd0e30f1b2100f48a9e9f6bf743742b5e5eb45d","cross_cats_sorted":["math.GR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T05:12:44Z","title_canon_sha256":"07cb5164488e7e4b8771266fe1c152905901be1d73fc7fbfa7d8c899137993b1"},"schema_version":"1.0","source":{"id":"2605.14390","kind":"arxiv","version":1}},"canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a7288a9b4fa3c0d3ea37dad4340717b1954ecc79f2e4f2527e3833be0e92444","first_computed_at":"2026-05-17T23:39:07.624386Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:07.624386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RpDwjX5xGTBNzKuvGMoiNjOekMnQFs7YjArFtxEiTvj/L0UnZ/P0iwBt9cTnC66c5WpLo1ltfqvX7LDDysYgCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:07.625106Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14390","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ff2d17b979b4c05f18db55c6c2b3517ba529d97148448a05314d3b1b32142de","sha256:d758ed022abfb077fd9f2d77743b397c531d10af4b266387cc7e5c5fccfc3f7b"],"state_sha256":"3e25023bcf4c3c7cc108362db6063b6975f67474203ca6c54921fdcd6607ede1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2iEEYAOaRHjqIGL9zluUVnInnR7glxAHVRo2AFKLBFZ71Tp9XquCKibt97LUZIEVbKIsxGswq9bIqJ8PLM5rAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T22:48:45.945045Z","bundle_sha256":"fa478d971fc225487948a9b5cc01b9c34995518ea9266c6253b32547f935280e"}}