Talk:Myhill isomorphism theorem

"effective" version of C-S-B theorem.
The text ". . . an effective version of the Cantor-Bernstein theorem" as it stood might be misinterpreted if 'effective' was given its usual, non-mathematical meaning whereby one might conclude that the other, run-of-the-mill Schroder-Bernstein Theorem was in some sense "ineffective" or "ineffectual". The best fit I could find for the sense of 'effective' that is (obviously, I think) meant here was 'computable' -- but if anyone knows of a more specific article please have at it. 50.164.202.78 (talk) 19:08, 29 September 2014 (UTC)