{
  "family_id": "250",
  "title": "Boone–Higman embeddings with higher finiteness",
  "discipline": "Group theory",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "papers": [
    {
      "title": "Finite algebraic envelopes and the Boone–Higman conjecture",
      "path": "preprints/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture-September-23-2026/paper.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture-September-23-2026/paper.pdf",
      "readme_path": "preprints/Finite-algebraic-envelopes-and-the-Boone-Higman-conjecture-September-23-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "Simple F∞ overgroups of groups with decidable word problem",
      "path": "preprints/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem-September-23-2026/paper.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem-September-23-2026/paper.pdf",
      "readme_path": "preprints/Simple-F-infinity-overgroups-of-groups-with-decidable-word-problem-September-23-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    },
    {
      "title": "A universal group of type F∞",
      "path": "preprints/A-universal-group-of-type-F-infinity-September-23-2026/paper.pdf",
      "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-universal-group-of-type-F-infinity-September-23-2026/paper.pdf",
      "readme_path": "preprints/A-universal-group-of-type-F-infinity-September-23-2026/README.md",
      "tex_paths": [],
      "pdf_exists": true
    }
  ],
  "lean_scope_path": "lean/docs/250.md",
  "lean_scope_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/lean/docs/250.md",
  "verification_status": "scope_document_available_not_independently_verified",
  "review_status": "inventory_complete_deep_review_pending"
}