𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the elimination of Malitz quantifiers over Archimedian real closed fields

✍ Scribed by Peter Koepke

Publisher
Springer
Year
1989
Tongue
English
Weight
275 KB
Volume
28
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ 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

On the nonsingular submatrices of the in
On the nonsingular submatrices of the incidence matrix of a graph over the real field
✍ Wai-Kai Chen πŸ“‚ Article πŸ“… 1970 πŸ› Elsevier Science 🌐 English βš– 872 KB

The nonsingular submatrices of maximum order of the complete and the reduced incidence matrices over the real jield of a graph are shown to be in one-to-one correspondence with the odd generalized circuits and the odd generalized k-trees of the graph, respectively. It is also shown that the positiv