Timeline for Arithmetic fixed point theorem
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2010 at 11:27 | comment | added | Martin Brandenburg | Interesting. In the proof of the Diagonalization lemma, it is used that if $H,H'$ and $B,B'$ are logical equivalent, then $H([B])$ and $H'([B'])$ are equivalent. Is this true? Basically this is the same concern Andreas Blass remarked above. | |
| Jul 13, 2010 at 14:46 | history | answered | David Corfield | CC BY-SA 2.5 |