The paper is a collection of unsolved problems in mathematical logic, gathered from a research workshop held in China in June 2026. These kinds of problem collections are a long-standing tradition in mathematics, where experts gather to share the questions they find most interesting and difficult, hoping that others in the community might make progress on them. The problems here come from a subfield concerned with definability and computation, which broadly asks what kinds of mathematical objects can be precisely described or calculated using formal rules.
The specific problems were contributed by various researchers and organized by who presented them, rather than by topic. This reflects the collaborative and somewhat informal nature of problem sessions at workshops, where specialists take turns sharing puzzles that have stumped them or that they think are ripe for investigation. The note-takers compiled and wrote up the problems so they could be shared with the broader research community beyond those who attended in person.
Because the abstract does not describe the actual mathematical content of the problems, it is not possible to summarize what the problems are about in detail. However, mathematical logic research in areas like definability and computation typically grapples with questions about what is provable in formal systems, what can be computed by algorithms, and how different levels of mathematical complexity relate to one another. Collections like this serve as useful roadmaps for researchers looking for meaningful open questions to work on.