2 search results - page 1 / 1 » A remark on equivalent Rosser sentences |
APAL
2008
13 years 5 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 ...
MLQ
2007
13 years 5 months ago
2007
Local sentences were introduced by Ressayre in [Res88] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for t...