Languages extending L(Q)
Palabras clave:
Model theory, problems (es)Descargas
We present a survey of the model theory of the quantifiers Qn and Qm,n, where [Formula Matemática]means that there is a K-powered subset X of M such that M [Formula Matemática] whenever a1 ,... an ∈ X, and [Formula Matemática] means that there is a K powered subset X of M such that[Formula Matemática] whenever a1 ,... an ∈ X and b1,..., bn ∉ X. Somerecent results are announced and several open problems are given.
Descargas
Licencia
Derechos de autor 1985 Revista Colombiana de Matemáticas

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.