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

Luis Jaime Corredor

Published

1986-01-01

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

Keywords:

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

Downloads

PDF (Español)

Authors

Luis Jaime Corredor Seminar fur Logik und Grundlagenforschung der Mathematik Beringstr

Abstract (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.

How to Cite

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 (Jan. 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 jan. 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. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32652 (Accessed: 22 January 2025).

IEEE

[1]

L. J. Corredor, “El retículo de las lógicas de primer orden con cuantificadores cardinales”, rev.colomb.mat, vol. 20, no. 1-2, pp. 1–25, Jan. 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, no. 1-2, Jan. 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 (January 1, 1986): 1–25. Accessed January 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]. 1986 Jan. 1 [cited 2025 Jan. 22];20(1-2):1-25. Available from: https://revistas.unal.edu.co/index.php/recolma/article/view/32652