On the equivalence of two quantifier elimination tests

Yin, Yimu

On the equivalence of two quantifier elimination tests

Authors

Description

We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent.

Keywords

Logic, 03C55

URI

http://salesiana.dossiersoluciones.com/handle/123456789/123911

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0702376
http://arxiv.org/abs/math/0702376

Collections

arXiv

Full item page

On the equivalence of two quantifier elimination tests

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

Consulte el texto completo en el siguiente enlace:

Collections