@article{articlef4e95e43, title = {Model completeness for the real field with the Weierstrass ℘ function}, author = {Bianconi, Ricardo}, year = {2018}, doi = {10.1017/s001309151700044x}, journal = {Proceedings of the Edinburgh Mathematical Society} }