100
Voted
FUIN
2010
15 years 2 days ago
2010
The Church
95
Voted
APAL
2008
15 years 2 months ago
2008
An oversight in Guaspari and Solovay's "Rosser sentences" (1979, Ann. Math. Log., 16, 81) is pointed out and emended. It concerns the premisses of their proof that ...