Calcoli generali con «tipi» e Logiche generalizzate

 Access to full text

 Full (PDF)

 Full (DjVu)

1. BELL, e SLOMSON, (1971) - Models and ultraproducts. NHPC. Zbl0179.31402
2. CHANG, e KLEISLER, (1973) - Model Theory. NHPC. 
3. JANKOWKI, A.W. (1982) - An alternative characterisation of Elementary Logic. «Bul. Acad. Polon. des Sci.», XXX (1-2), 198. 
4. MAGARI, R. (1966) - Calcoli generali e spazi $V_{\alpha }$. (I) «Le Matematiche», XXI(1). 
5. MANGANI, P. (1968) - Calcoli generali con connettivi, «Le Matematiche», XXIII (1). Zbl0195.30001
6. MARCJA, e TULIPANI, (1974) - Questioni di teoria dei modelli per linguaggi universali positivi (I). «Rend. Accademia Naz. Lincei», Serie VIII, 56 (6). Zbl0317.02055
7. MAKOWSKY, e SHELAH, (1979) - The Theorems of Beth and Craig in abstract model theory (I). «Trans. Amer. Math. Soc», 256. Zbl0428.03032
8. MUNDICI, D. (1981) — Applications of many-sorted Robinson consistency theorem. «Zeit. Math. Logik», 27 (1). Zbl0463.03023
9. MUNDICI, D. (1981) - Robinson's consistency theorem in soft model theory. «Trans. Amer. Math. Soc.», 263.