tag:blogger.com,1999:blog-11295132.post2016935179779856749..comments2015-09-02T20:28:38.829-07:00Comments on A Neighborhood of Infinity: Generalising GĂ¶del's Theorem with Multiple Worlds. Part III.Dan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-11295132.post-43052100438755886472011-02-26T07:07:41.138-08:002011-02-26T07:07:41.138-08:00Andrej,
But maybe there's a good question for...Andrej,<br /><br />But maybe there's a good question for mathoverflow there.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-57812976380001009912011-02-26T07:07:03.740-08:002011-02-26T07:07:03.740-08:00Andrej,
The fixed point theorem seems analogous t...Andrej,<br /><br />The fixed point theorem seems analogous to topological fixed point theorems. And it follows from the Beth definability theorem which seems analogous to the implicit function theorem. But the various sources I have referred to make no mention of the analogies.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-91903851006925668472011-02-26T00:06:09.240-08:002011-02-26T00:06:09.240-08:00Is there a topological reason for the fixed points...Is there a topological reason for the fixed points to exist?Andrej Bauerhttp://www.blogger.com/profile/17920316604280193336noreply@blogger.com