bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 72 (1982), n. 3 -> pp. 109-114

Referenza completa

Goretti, Aroldo:
Alcune osservazioni sul linguaggio $L(Q_{1})$
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 72 (1982), fasc. n.3, p. 109-114, (Italian)
pdf (390 Kb), djvu (449 Kb). | MR 0726089 | Zbl 0517.03010

Sunto

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.
Referenze Bibliografiche
[1] H.J. Keisler (1970) - Logic with the quantifier “there exist uncountably many”. «Annals of mathematical logic», 1. | Zbl 0206.27302
[2] C.C. Chang e H.J. Keisler (1977) - «Model Theory», North Holland.
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 72 (1982), n. 3 -> pp. 109-114

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali