%0 Journal Article %A Burris, Stanley %A Lawrence, John %T Two Undecidability Results using Modified Boolean Powers %J Canadian journal of mathematics %D 1982 %P 500-505 %V 34 %N 2 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1982-033-6/ %R 10.4153/CJM-1982-033-6 %F 10_4153_CJM_1982_033_6