2 search results - page 1 / 1 » Local sentences and Mahlo cardinals |
MLQ
2007
13 years 10 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...
CORR
2007
Springer
13 years 11 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...