Workshop-Summary Extraction Artifact

Definitions and mathematical statement

Unrecoverable mathematical statement. The supplied record contains no identifiable conjecture to formalize. Its statement begins with the isolated word "Conjecture." According to the supplied statement-verification note, this word ends a preceding reference to Schanuel's conjecture; the following text is workshop-summary prose, not a separate conjecture. The record has statement_status: unrecoverable and supplies no clean statement.

The summary attributes to Jonathan Kirby a presentation introducing classes of exponentially-algebraic functions and investigating when such functions occur as solutions of algebraic differential equations. It attributes to Peter Jossen a talk concerning conjectures and outlooks connecting transcendence properties of values of $G$-functions, $E$-functions, and functions denoted "З-functions" in the supplied text, together with Borel summation. These descriptions specify neither definitions of the function classes nor a mathematical assertion, hypotheses, domains, boundary conditions, or quantifiers. The notation "З-functions" is retained without interpretation.

Consequently, no precise mathematical statement or associated definitions can be recovered from the supplied evidence. Neither Schanuel's conjecture nor a conjecture inferred from either speaker's topics is substituted for the missing statement. The supplied open label is registry metadata and does not establish the existence or mathematical status of a distinct conjecture here.

Short English statement

This record is a workshop-summary extraction artifact. It mentions talks by Jonathan Kirby and Peter Jossen but contains no recoverable mathematical claim. A precise statement requires additional source context and human mathematical review; the supplied open label is not an independently verified mathematical assessment.

Sources

• Local UnsolvedMath registry, permanent ID $30006577$, title "Workshop-Summary Extraction Artifact," source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The supplied record preserves the original passage for provenance, provides no clean statement, and marks its statement as unrecoverable.
• Supplied report citation: Model Theory and Arithmetic (2026), Oberwolfach Reports, DOI 10.4171/owr/2026/3, pp. 157--216. Supplied source URL and literature-source link, labeled "Oberwolfach Report 3/2026": https://doi.org/10.4171/owr/2026/3. This report was not independently consulted for this draft.
• Supplied literature assessment, checked 2026-08-22: the extracted word "conjecture" and subsequent workshop prose provide no identifiable mathematical claim to classify as solved or disproved. This is supplied dated curation, not an independently verified literature assessment. The background explicitly calls for independent verification of time-sensitive status and cited claims.
• Attribution qualifications: Jonathan Kirby and Peter Jossen are named as workshop speakers; no proposer of a separate problem is supplied. The record lists proposed year 2026. Its remaining summary describes exchanges among researchers in model theory and number theory, resulting research ideas, and hopes for further meetings; these remarks supply no additional mathematical assertion.