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

Luis Jaime Corredor

Publié-e

1986-01-01

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

Mots-clés :

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

Téléchargements

PDF (Español)

Auteurs-es

Luis Jaime Corredor Seminar fur Logik und Grundlagenforschung der Mathematik Beringstr

Résumé (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.

Comment citer

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 (janv. 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 janv. 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), p. 1–25. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32652 (Consulté le: 22 janvier 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, p. 1–25, janv. 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, janvier 1986, p. 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 (janvier 1, 1986): 1–25. Consulté le janvier 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 janv. 1986 [cité 22 janv. 2025];20(1-2):1-25. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/32652