(\(\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.
This page was built for publication: Some theorems in generalized calculuses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795827)
