Alcune osservazioni sul linguaggio
- Volume: 72, Issue: 3, page 109-114
- ISSN: 1120-6330
Access Full Article
top
Abstract
topHow to cite
topGoretti, Aroldo. "Alcune osservazioni sul linguaggio $L(Q_{1})$." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 72.3 (1982): 109-114. <http://eudml.org/doc/286990>.
@article{Goretti1982,
author = {Goretti, Aroldo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {existence theorem; standard models},
language = {ita},
month = {3},
number = {3},
pages = {109-114},
publisher = {Accademia Nazionale dei Lincei},
title = {Alcune osservazioni sul linguaggio $L(Q_\{1\})$},
url = {http://eudml.org/doc/286990},
volume = {72},
year = {1982},
}
TY - JOUR
AU - Goretti, Aroldo
TI - Alcune osservazioni sul linguaggio $L(Q_{1})$
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1982/3//
PB - Accademia Nazionale dei Lincei
VL - 72
IS - 3
SP - 109
EP - 114
LA - ita
KW - existence theorem; standard models
UR - http://eudml.org/doc/286990
ER -
References
top- Keisler, H.J. (1970) - Logic with the quantifier “there exist uncountably many”. «Annals of mathematical logic», 1. Zbl0206.27302
- Chang, C.C. e Keisler, H.J. (1977) - «Model Theory», North Holland.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.