{"id":"palomar/PALOMAR-2026-10-29-000014","url":"https://github.com/QuanyuTang/three-omitted-values-palomar/tree/c408da985b3b0498f6f2df702739673865a8b932","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-29-000014-v1.json","repo":"https://github.com/QuanyuTang/three-omitted-values-palomar","tags":["math.CV","msc:30D35","msc:30H15","msc:30F35"],"score":0,"title":"Three omitted values and non-Blaschke point divisors in half-planes","trust":"high","domain":"math.CV","source":"palomar","authors":["Quanyu Tang","Bokai Cui","Wei He","Tao Hu","Yanyang Li","Ke Wang","Zijun Yu"],"reviews":0,"subject":"math.CV","summary":"An unconditional Lean formalization of Theorem 1.2 of arXiv:2608.26062v2: a real meromorphic function has three infinite exceptional fibres on the real axis, while every other point divisor fails the Blaschke condition in each half-plane and the function is not of bounded type in either.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-29","reactions":{},"formalized":true,"formalizes":[{"title":"Three omitted values and non-Blaschke point divisors in half-planes","identifier":"https://arxiv.org/abs/2608.26062v2","relationship":"formalizes"}]}