tag:blogger.com,1999:blog-4987609114415205593.post6456768975307017800..comments2024-03-28T13:40:26.497+00:00Comments on M-Phi: Representational ImpuritiesJeffrey Ketlandhttp://www.blogger.com/profile/01753975411670884721noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4987609114415205593.post-89897838246819288582012-08-12T01:09:54.123+01:002012-08-12T01:09:54.123+01:00Aldo, thanks!
Actually, I don't mind if the &q...Aldo, thanks!<br />Actually, I don't mind if the "purer" language $(L^{\prime},I^{\prime})$ is more more expressive. I just want to eliminate the equivalences in the more impure language. But, yes, maybe I should demand translations both ways.<br /><br />Cheers, Jeff<br /><br />PS. I tried to figure out how to add an RSS feed, and made a bit of progress, but it turned out more complicated than I thought. If I can manage to spend some time understanding some html stuff, I'll do it.Jeffrey Ketlandhttps://www.blogger.com/profile/01753975411670884721noreply@blogger.comtag:blogger.com,1999:blog-4987609114415205593.post-81978638453908800212012-08-12T00:37:42.590+01:002012-08-12T00:37:42.590+01:00Jeffrey, I am a bit puzzled by the fact that you h...Jeffrey, I am a bit puzzled by the fact that you have no further constraints on $(L', I')$ other than it must interpret $(L,I)$ (and <i>directly</i> interpret at that, i.e., over the whole domain). The new language might be vastly more expressive, whereas I thought you wanted to quotient out over expressively equivalent languages.Aldo Antonellihttp://aldo-antonelli.orgnoreply@blogger.com