论文信息 - Vector spaces and binary quantifiers - 字舞流文

Vector spaces and binary quantifiers

On montre que des quantifieurs binaires ne peuvent pas compter la dimension d'un espace vectoriel

Alistair H. Lachlan | Jouko A. Väänänen | Michal Krynicki

[1] Jouko A. Väänänen. A Quantifier for Isomorphisms , 1980, Math. Log. Q..

[2] S. Shelah,et al. δ-Logics and generalized quantifiers , 1976 .