Math-14063 · mathematics · Logic

Math-14063

O-Minimality Workshop Table-of-Contents Fragment

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

The supplied record for permanent UnsolvedMath ID $30005281$ contains a table-of-contents fragment, not a recoverable mathematical problem. Its initial text is the truncated word "problem" followed by the page reference 3014; the remaining text lists workshop talks and page references. No mathematical definitions, hypotheses, domains, boundary conditions, quantifiers, or requested conclusion can be recovered from this fragment. Consequently, no precise mathematical statement can be supplied without additional source text identifying the intended problem. The listed talk titles must not be interpreted as assertions or conjectures.

The record marks the statement as unrecoverable. Its supplied verification note says that the official report confirms the table-of-contents character of the extraction; this is a supplied source-verification claim, not an independent verification here. The supplied status open is a queue classification: the accompanying assessment explicitly says that no definite claim can be assessed. It does not establish the existence or open status of a particular mathematical problem.

Short English statement

This record contains workshop contents rather than a mathematical question. A precise statement requires the missing problem text and its attribution. The supplied open label reflects queue handling, while the statement itself is marked unrecoverable.

Sources

  • Local UnsolvedMath registry, permanent ID $30005281$, source code catalogue entry, title O-Minimality Workshop Table-of-Contents Fragment; collection: Oberwolfach Reports Open Problems. No problem proposer is supplied. The proposed-year field is 2022.
  • Supplied report citation: Mini-Workshop: Topological and Differential Expansions of o-minimal Structures (2023), Oberwolfach Reports, pp. 3005--3050, DOI 10.4171/owr/2022/52. Supplied source URL and literature-source link, labeled "EMS Press, OWR 2022/52": https://doi.org/10.4171/owr/2022/52. This report-level citation does not identify a complete problem in the supplied fragment. The citation's 2023 date and the record's 2022 year fields are retained without reconciliation.
  • Supplied contents-fragment attribution: Françoise Point, Definable groups in tame theories of differential topological fields, p. 3017; Antongiulio Fornasiero, Generic derivations on topological fields, p. 3020; Alexander Berenstein, joint with Christian d'Elbée and Evgueni Vassiliev, Vector spaces with a dense-codense generic module, p. 3021; Alexi Block Gorman, joint with Jason Bell, Expansions by $r$-regular sets of reals: the real additive group versus the real field, p. 3023.
  • Supplied contents-fragment attribution, continued: Elliot Kaplan, joint with Nigel Pynn-Coates, Monotone $T$-convex $T$-differential fields, p. 3024; James Freitag, Forking degree and the Borovik-Cherlin conjecture, p. 3028; Omar León Sánchez, Some well behaved classes of differential fields, p. 3030; Zoé Chatzidakis, joint with T. Blossier, C. Hardouin, A. Martin-Pizarro, Groups of automorphisms of saturated models are simple, p. 3033.
  • Supplied contents-fragment attribution, continued: Jonathan Kirby, Around Zilber's quasiminimality conjecture, p. 3035; Francesco Paolo Gallinaro, Exponential-Algebraic Closedness, p. 3040; Itay Kaplan, A definable $(p,q)$-theorem for NIP theories, p. 3043; Mariana Vicaría, Domination in hesenlian valued fields of equicharacteristic zero, p. 3044 (spelling as supplied). These are talk attributions, not identified problem-proposer attributions. The fragment also includes a workshop contents heading with page reference 3011 and an unidentified truncated entry ending on page reference 3014.
  • Supplied literature assessment checked on 2026-08-22: status open; the extraction lists talks rather than a complete problem statement, so no definite claim can be assessed and it remains open under the queue rule. This assessment is supplied dated curation, not independently verified. The background expressly calls for independent verification of time-sensitive status and cited claims. No source was visited for this draft.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.