A proof of Liouville's theorem via o-minimality
arXiv:1712.07593
Abstract
In this short note we give a proof of Liouville's theorem (every bounded entire complex function is constant) following Peterzil and Starchenko's approach to complex analysis via o-minimality.
2 pages