On the definability of the quantifier “t
✍
Žarko Mijajlović
📂
Article
📅
1985
🏛
Springer Netherlands
🌐
English
⚖ 401 KB
In paper [5] i~ was shown that a great par~ of model theory of logic with the generalized quantifier Qx = "there exist uneountably many x" is reducible to the model theory of firs~ order 16gie with an extra binary r~la~ion symbol. In this paper we consider when the quantifier Qm can be "syntacticall