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

Luis Jaime Corredor

Pubblicato

1986-01-01

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

Parole chiave:

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

##submission.downloads##

PDF (Español)

Autori

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.

Come citare

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 (gen. 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: 2 feb. 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), pagg. 1–25. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32652 (Consultato: 2 febbraio 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, pagg. 1–25, gen. 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, gennaio 1986, pagg. 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 (gennaio 1, 1986): 1–25. Consultato febbraio 2, 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 gennaio 1986 [citato 2 febbraio 2025];20(1-2):1-25. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/32652