Some theorems in generalized calculuses (Q795827): Difference between revisions

(\(\leq x)\) denotes the quantifier introduced by \textit{A. Baudisch} [Z. Math. Logik Grundlagen Math. 23, 447-462 (1977; Zbl 0441.03009)]: \({\mathcal M}\vDash(\leq x)[\phi(a_ 1,...,a_ n,b),\psi(a_ 1,...,a_ n,b]\Leftrightarrow | \{b\in {\mathcal M}| {\mathcal M}\vDash \phi(a_ 1,...,a_ n,b)\}| \leq | \{b\in {\mathcal M}| {\mathcal M}\vDash \psi(a_ 1,...,a_ n,b)\}|\) for any model of an arbitrary first order language L and any formulas \(\phi\), \(\psi\) of L (\(| X|\) denotes the cardinality of X). Many known generalized quantifiers are definable by (\(\leq x)\). In the present paper some general elimination theorem for (\(\leq x)\) is proved, and from this theorem is derived that the theory of algebraically closed fields of characteristic zero, the theory of real-closed fields and the theory of \(<\omega;+>\) in \(L(\leq x)\) are solvable.