Robinson consistency theorem in soft model theory
Mundici, Daniele
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 66 (1979), p. 383-386 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

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».

Publié le : 1979-12-01
@article{RLINA_1979_8_67_6_383_0,
     author = {Daniele Mundici},
     title = {Robinson consistency theorem in soft model theory},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {66},
     year = {1979},
     pages = {383-386},
     zbl = {0464.03032},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1979_8_67_6_383_0}
}

Mundici, Daniele. Robinson consistency theorem in soft model theory. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 66 (1979) pp. 383-386. http://gdmltest.u-ga.fr/item/RLINA_1979_8_67_6_383_0/

[1] Barwise, K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic», 7, 221-265. | Zbl 0324.02034

[2] Feferman, S. (1974) - Two notes on abstract model theory. I, «Fund. Math.», 82, 153-165 and II, ibid. 89 (1975), 111-130. | MR 376337

[3] Flum, J. (1975) - First order logic and its extensions, «Lecture Notes in Math.», 499, 248-310, Springer, Berlin. | MR 491139

[4] Friedman, H. (1975) - One hundred and two problems in mathematical logic, «Journal of Symbolic Logic», 40, 113-129. | MR 401465

[5] Makowsky, J.A. and Shelah, S. (1979) - The theorems of Beth and Craig in abstract model theory. I, to appear in «Trans. AMS.». | Zbl 0428.03032

[6] Makoswky, J.A. and Shelah, S. - Positive results in abstract model theory, to appear.

[7] Makowsky, J.A., Shelah, S. and Stavi, S. (1976) - Δ-logics and generalized quantifiers, «Ann. Math. Logic», 10, 155-192. | Zbl 0346.02007

[8] Mundici, D. - Applications of many-sorted Robinson consistency theorem, in publication on «Zeit. für Math. Logik». | Zbl 0463.03023

[9] Mundici, D. - An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem, in publication on the «Journal of Symbolic Logic».

[10] Mundici, D. (1981) - Compactness + Craig interpolation = Robinson consistency in any logic, to appear.

[11] Mundici, D. (1981) - Compactness = JEP in any logic, to appear.

[12] Mundici, D. (1981) - Compactness, interpolation and H. Friedman's third problem, to appear.

[13] Mundici, D. - Interpolation, compactness and JEP in soft model theory, in publication on «Archiv, für Math. Logik».

[14] Mundici, D. - Robinson's consistency theorem in soft model theory, in publication on «Trans. AMS».