Languages extending L(Q)
Mots-clés :
Model theory, problems (es)Téléchargements
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.
Comment citer
APA
Malitz, J. (1985). Languages extending L(Q). Revista Colombiana de Matemáticas, 19(1-2), 163–171. https://revistas.unal.edu.co/index.php/recolma/article/view/32603
ACM
[1]
Malitz, J. 1985. Languages extending L(Q). Revista Colombiana de Matemáticas. 19, 1-2 (janv. 1985), 163–171.
ACS
(1)
Malitz, J. Languages extending L(Q). rev.colomb.mat 1985, 19, 163-171.
ABNT
MALITZ, J. Languages extending L(Q). Revista Colombiana de Matemáticas, [S. l.], v. 19, n. 1-2, p. 163–171, 1985. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32603. Acesso em: 22 janv. 2025.
Chicago
Malitz, Jerome. 1985. « Languages extending L(Q) ». Revista Colombiana De Matemáticas 19 (1-2):163-71. https://revistas.unal.edu.co/index.php/recolma/article/view/32603.
Harvard
Malitz, J. (1985) « Languages extending L(Q) », Revista Colombiana de Matemáticas, 19(1-2), p. 163–171. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32603 (Consulté le: 22 janvier 2025).
IEEE
[1]
J. Malitz, « Languages extending L(Q) », rev.colomb.mat, vol. 19, nᵒ 1-2, p. 163–171, janv. 1985.
MLA
Malitz, J. « Languages extending L(Q) ». Revista Colombiana de Matemáticas, vol. 19, nᵒ 1-2, janvier 1985, p. 163-71, https://revistas.unal.edu.co/index.php/recolma/article/view/32603.
Turabian
Malitz, Jerome. « Languages extending L(Q) ». Revista Colombiana de Matemáticas 19, no. 1-2 (janvier 1, 1985): 163–171. Consulté le janvier 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32603.
Vancouver
1.
Malitz J. Languages extending L(Q). rev.colomb.mat [Internet]. 1 janv. 1985 [cité 22 janv. 2025];19(1-2):163-71. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32603
Télécharger la référence
Consultations de la page du résumé de l'article
85
Téléchargements
Les données relatives au téléchargement ne sont pas encore disponibles.
Licence
© Revista Colombiana de Matemáticas 1985
Cette œuvre est sous licence Creative Commons Attribution 4.0 International.