Chiaki Kyan 喜屋武ちあき
More you might like
FOM: reverse math/recursion theory: effective algebra
In this posting I discuss the relationship between reverse mathematics
and effective algebra. Executive summary: These subjects have very
different goals and results, but methodologically there is substantial
(though not complete) overlap.
https://cs.nyu.edu/pipermail/fom/1998-August/001954.html
Effective/Constructive/Recursive/Computable/Reverse
Algebra
observando