𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elimination of Cardinality Quantifiers

✍ Scribed by H. P. Tuschik

Publisher
John Wiley and Sons
Year
1982
Tongue
English
Weight
441 KB
Volume
28
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Consequences of neocompact quantifier el
Consequences of neocompact quantifier elimination
✍ Stefano Baratella; Siu-Ah Ng πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 229 KB

## 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 cert

Quantifier-eliminable locally finite gra
Quantifier-eliminable locally finite graphs
✍ Shawn Hedman; Wai Yan Pong πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 79 KB

We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates.

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.