therefore
Sign up
Open navigation

Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

2 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openLitt's Problems · Number theory

Lam--Litt conjecture: Omega Integrality Implies Algebraicity

  1. implies 2): if the coefficients of ff satisfy the ω\omega-integrality condition for some superlinear ω\omega, then there exists NN such that for all nn, the nn-th coefficient of ff is in Z[1/N]\mathbb{Z}[1/N].
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openLitt's Problems · Number theory

Lam--Litt conjecture: Integrality Implies Algebraicity

  1. implies 1): if the coefficients of ff are in Z[1/N]\mathbb{Z}[1/N] for some NN, then ff is algebraic over Q[z]\mathbb{Q}[z]. Also the version of conjecture of Litt's problem 1 on his website.
Source checked Jul 26, 20261 pinned Lean statementInspect problem