Sciweavers

JSYML
2000
78views more  JSYML 2000»
14 years 11 days ago
On Quantification with A Finite Universe
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...
Saharon Shelah