Geodesic
Robinson consistency theorem in soft model theory
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 67 (1979) no. 6, pp. 383-386

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Si enunciano alcuni risultati provati dall'autore negli articoli citati nella bibliografia, alcuni dei quali in corso di stampa su Zeit für Math. Logik, Archiv für Math. Logik, Trans. AMS e sul Journal of Symbolic Logic. Tali risultati collegano le nozioni di interpolazione e compattezza nell'ambito della teoria astratta dei modelli, al teorema di consistenza di Robinson, oppure a nozioni puramente algebriche. In particolare, in ogni logica il teorema di consistenza di Robinson è equivalente al teorema di interpolazione di Craig insieme alla compattezza; quest'ultima, a sua volta, equivale alla proprietà «JEP» di immersione congiunta. Altri risultati riguardano il terzo e quarto problema di H. Friedman e le estensioni della logica col quantificatore «ci sono incontabilmente molti». 
@article{RLINA_1979_8_67_6_a0,
     author = {Mundici, Daniele},
     title = {Robinson consistency theorem in soft model theory},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {383--386},
     publisher = {mathdoc},
     volume = {Ser. 8, 67},
     number = {6},
     year = {1979},
     zbl = {0464.03032},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/}
}
TY  - JOUR
AU  - Mundici, Daniele
TI  - Robinson consistency theorem in soft model theory
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1979
SP  - 383
EP  - 386
VL  - 67
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/
LA  - en
ID  - RLINA_1979_8_67_6_a0
ER  - 
%0 Journal Article
%A Mundici, Daniele
%T Robinson consistency theorem in soft model theory
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1979
%P 383-386
%V 67
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/
%G en
%F RLINA_1979_8_67_6_a0
Mundici, Daniele. Robinson consistency theorem in soft model theory. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 67 (1979) no. 6, pp. 383-386. http://geodesic.mathdoc.fr/item/RLINA_1979_8_67_6_a0/