El retículo de las lógicas de primer orden con cuantificadores cardinales

Luis Jaime Corredor

Publicado

1986-01-01

El retículo de las lógicas de primer orden con cuantificadores cardinales

Palabras clave:

Logic, cardinal characterization Boolean / Lógica, cardinales, caracterización booleana (es)

Descargas

PDF

Autores/as

Luis Jaime Corredor Seminar fur Logik und Grundlagenforschung der Mathematik Beringstr

Resumen (es)

Associate to every class S of cardinals a quantifier Q^S so that Q^Sx𝜙(x) holds just in case the number of individuals satisfying 𝜙(x) is a cardinal belonging to S. This includes the well know cardinal quantifiers Q_∝. We give a simple combinatorial condition on the classes S and S' necessary and sufficient to have

Lωω (Q^S) ≤ Lωω (Q^S´).

A similar result is shown for logics generated by families of such quantifiers. Some applications follow; for example, it is shown that if nω denotes the set of multiples of the natural number n, then Lωω(Q^nω) ≤ Lωω (Q^mω) if and only if n divides m. Also, we construct infinite descending chains of logics.

Cómo citar

APA

Corredor, L. J. (1986). El retículo de las lógicas de primer orden con cuantificadores cardinales. Revista Colombiana de Matemáticas, 20(1-2), 1–25. https://revistas.unal.edu.co/index.php/recolma/article/view/32652

ACM

[1]

Corredor, L.J. 1986. El retículo de las lógicas de primer orden con cuantificadores cardinales. Revista Colombiana de Matemáticas. 20, 1-2 (ene. 1986), 1–25.

ACS

(1)

Corredor, L. J. El retículo de las lógicas de primer orden con cuantificadores cardinales. rev.colomb.mat 1986, 20, 1-25.

ABNT

CORREDOR, L. J. El retículo de las lógicas de primer orden con cuantificadores cardinales. Revista Colombiana de Matemáticas, [S. l.], v. 20, n. 1-2, p. 1–25, 1986. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/32652. Acesso em: 22 ene. 2025.

Chicago

Corredor, Luis Jaime. 1986. «El retículo de las lógicas de primer orden con cuantificadores cardinales». Revista Colombiana De Matemáticas 20 (1-2):1-25. https://revistas.unal.edu.co/index.php/recolma/article/view/32652.

Harvard

Corredor, L. J. (1986) «El retículo de las lógicas de primer orden con cuantificadores cardinales», Revista Colombiana de Matemáticas, 20(1-2), pp. 1–25. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32652 (Accedido: 22 enero 2025).

IEEE

[1]

L. J. Corredor, «El retículo de las lógicas de primer orden con cuantificadores cardinales», rev.colomb.mat, vol. 20, n.º 1-2, pp. 1–25, ene. 1986.

MLA

Corredor, L. J. «El retículo de las lógicas de primer orden con cuantificadores cardinales». Revista Colombiana de Matemáticas, vol. 20, n.º 1-2, enero de 1986, pp. 1-25, https://revistas.unal.edu.co/index.php/recolma/article/view/32652.

Turabian

Corredor, Luis Jaime. «El retículo de las lógicas de primer orden con cuantificadores cardinales». Revista Colombiana de Matemáticas 20, no. 1-2 (enero 1, 1986): 1–25. Accedido enero 22, 2025. https://revistas.unal.edu.co/index.php/recolma/article/view/32652.

Vancouver

1.

Corredor LJ. El retículo de las lógicas de primer orden con cuantificadores cardinales. rev.colomb.mat [Internet]. 1 de enero de 1986 [citado 22 de enero de 2025];20(1-2):1-25. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/32652