Yasuhito Tanaka. Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience). Applied Mathematics and Computation, 201(1-2):378-383, 2008. [doi]
@article{Tanaka08a,
title = {Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)},
author = {Yasuhito Tanaka},
year = {2008},
doi = {10.1016/j.amc.2007.12.032},
url = {http://dx.doi.org/10.1016/j.amc.2007.12.032},
researchr = {https://researchr.org/publication/Tanaka08a},
cites = {0},
citedby = {0},
journal = {Applied Mathematics and Computation},
volume = {201},
number = {1-2},
pages = {378-383},
}