Open Problems in Mathematical Logic

Abstract

These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Definability and Computation, June 22-26, 2026. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Xiangxi Hu, Yingying Jiang, Ruiwen Li, Tianhao Wang, Xu Wang, and Jie Zou.

On the Algebraic Structure of Lewis Carroll's Logic -- Behind the Looking Glass: A Mathematical Perspective
Sebastian Franz, Rainer Picard
arXiv23 Oct 2026PreprintarXiv licenceFull textGeneral mathematicsarXiv
On the role of Giovanni Giorgi in the history of operational methods to mathematical-physics problems
R. Garra, F. Mainardi
arXiv12 Sep 2026PreprintarXiv licenceFull textGeneral mathematicsarXiv
On Two Open Problems by Johnson and Kollár
Siyuan Fu, Zhiming Li, Huaiqing Zuo
arXiv29 Sep 2026PreprintCC BY 4.0Full textAlgebra & number theoryarXiv
Mathematical modelling of a multicluster open system: transfer-operator recovery from aggregate data under a least-action prior
A. P. Nevecheria
arXiv1 Sep 2026PreprintCC BY-NC-ND 4.0Full textDynamical systems Numerical analysis & scientific computingarXiv
Method of Spectral Mappings for Nonselfadjoint Boundary-Value Problems Associated with Resonance Scattering by Open Structures
Garnik V. Abgaryan, Yury V. Shestopalov
Mathematics22 Oct 2026Peer-reviewedCC BY 4.0Mathematical physicsCrossref

Cite

BibTeX RIS

BibTeX

@misc{barmpalias2026open,
  title = {{Open Problems in Mathematical Logic}},
  author = {George Barmpalias and Su Gao and Jialiang He and Takayuki Kihara and Andre Nies and Theodore Slaman and Chieu-Minh Tran and Daniel Turetsky and Philip Welch and Liang Yu and Hang Zhang},
  howpublished = {arXiv},
  year = {2026},
  month = aug,
  doi = {10.48550/arxiv.2608.26628},
  eprint = {2608.26628},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.26628},
  note = {CC BY 4.0},
}

RIS

TY  - UNPB
TI  - Open Problems in Mathematical Logic
AU  - George Barmpalias
AU  - Su Gao
AU  - Jialiang He
AU  - Takayuki Kihara
AU  - Andre Nies
AU  - Theodore Slaman
AU  - Chieu-Minh Tran
AU  - Daniel Turetsky
AU  - Philip Welch
AU  - Liang Yu
AU  - Hang Zhang
PY  - 2026
DA  - 2026/08/31
PB  - arXiv
DO  - 10.48550/arxiv.2608.26628
UR  - https://arxiv.org/abs/2608.26628
AB  - These open problems were presented in the Problem Sessions held during the Tianyuan Workshop on Definability and Computation, June 22-26, 2026. The problems are organized into sections named after their contributors, in the order of their presentations during the workshop. Notes were taken and compiled by Wei Dai, Xiangxi Hu, Yingying Jiang, Ruiwen Li, Tianhao Wang, Xu Wang, and Jie Zou.
ER  -

Abstract

Related

Cite