User contributions for 217.84.108.184
Jump to navigation
Jump to search
6 December 2014
- 14:1714:17, 6 December 2014 diff hist +18 Absoluteness →Shoenfield's absoluteness theorem: falsehood of a Sigma_3^1 sentence goes downward, not the falsehood of a Pi_3^1 sentence. Hence I replaced three times Pi by Sigma in the middle paragraph. current