𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Consequences of neocompact quantifier elimination

✍ Scribed by Stefano Baratella; Siu-Ah Ng

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
229 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We provide some consequences of a Quantifier Elimination Property and related properties previously introduced (see [4]) in the setting of Banach space structures. We further consider some applications of quantifierfree definability, such as strict convexity via the definability of certain mapping and the continuity of definable functions.

📜 SIMILAR VOLUMES

Quantifier elimination for the theory of
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
✍ Yalın F. Çelikler 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB

## Abstract The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this pape

ELIMINATION OF QUANTIFIERS OVER VECTORS
ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
✍ Andrey A. Kuzichev 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB

## Abstract We consider two‐sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.