𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantifiers: Logics, Models and Computation || On the Eliminability of the Quantifier “There Exist Uncountably Many”

✍ Scribed by Krynicki, Michał; Mostowski, Marcin; Szczerba, Lesław W.

Book ID
120271289
Publisher
Springer Netherlands
Year
1995
Weight
946 KB
Category
Article
ISBN
9401705240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the definability of the quantifier “t
On the definability of the quantifier “there exist uncountably many”
✍ Ž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

REGULAR RELATIONS AND THE QUANTIFIER “TH
REGULAR RELATIONS AND THE QUANTIFIER “THERE EXIST UNCOUNTABLY MANY”
✍ Zarko Mijajlović; Valentina Harizanov 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 630 KB

REGULAR RELATIONS AND THE QUANTIFIER "THERE EXIST UNCOUNTABLY MANY" by ZARKO MIJAJLOVI~ and VALENTINA HARIZANOV in Belgrade (Yugoslavia)