A constructive proof of a theorem by Ferreira-Zantema
Logic
2020-08-18 v1
Abstract
This note was written in Jan. 23, 2015 to answer a problem raised by G. Moser, who asked a constructive proof of a theorem by Ferreira-Zantema.
Cite
@article{arxiv.2008.07123,
title = {A constructive proof of a theorem by Ferreira-Zantema},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:2008.07123},
year = {2020}
}