Alcune osservazioni sul linguaggio $L(Q_{1})$

Goretti, Aroldo

Alcune osservazioni sul linguaggio

L(Q_{1})

Goretti, Aroldo

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982), p. 109-114 / Harvested from Biblioteca Digitale Italiana di Matematica

Access to full text
Full (PDF)
Full (DjVu)

Résumé

An existence theorem for 1-atomic standard models of $L_{\omega\omega}(Q_{1})$ (more weak than usual “atomic models”) and applications of $L_{\omega\omega}(Q_{1})$ to $L_{\omega\omega}$ are the results of this note.

Publié le : 1982-03-01

MR 0726089 | Zbl 0517.03010

@article{RLINA_1982_8_72_3_109_0,
     author = {Aroldo Goretti},
     title = {Alcune osservazioni sul linguaggio $L(Q\_{1})$},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {72},
     year = {1982},
     pages = {109-114},
     zbl = {0517.03010},
     mrnumber = {0726089},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1982_8_72_3_109_0}
}

Goretti, Aroldo. Alcune osservazioni sul linguaggio $L(Q_{1})$. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982) pp. 109-114. http://gdmltest.u-ga.fr/item/RLINA_1982_8_72_3_109_0/

Bibliographie

[1] Keisler, H.J. (1970) - Logic with the quantifier “there exist uncountably many”. «Annals of mathematical logic», 1. | Zbl 0206.27302

[2] Chang, C.C. e Keisler, H.J. (1977) - «Model Theory», North Holland.