Vector spaces and binary quantifiers (Q795826): Difference between revisions

In the paper an example is given of a ternary quantifier which is not definable by binary quantifiers. In the first part of the paper it is shown that the dimension of vector spaces cannot be distinguished in a language with binary quantifiers. It is also proved that the same holds for the languages \(\Delta(L(Q_ 1))\), \(\Delta(L^{pos})\) and \(\Delta(L_{aa})\). In the second part it is observed that the logics \(\Delta(L(Q_ 0))\), \(\Delta(L(Q_ 0,Q_ 1))\) and \(L_{\omega_ 1\omega}(Q_ 1)\) do not have this property. At the end of the paper a ternary quantifier Q is defined such that the class of countable dimensional vector spaces is definable in L(Q). From the above follows that Q is not definable by any binary quantifier.