Robinson consistency theorem in soft model theory

 Access to full text

 Full (PDF)

 Full (DjVu)

1. Barwise, K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic», 7, 221-265. Zbl0324.02034
2. Feferman, S. (1974) - Two notes on abstract model theory. I, «Fund. Math.», 82, 153-165 and II, ibid. 89 (1975), 111-130. MR376337
3. Flum, J. (1975) - First order logic and its extensions, «Lecture Notes in Math.», 499, 248-310, Springer, Berlin. MR491139
4. Friedman, H. (1975) - One hundred and two problems in mathematical logic, «Journal of Symbolic Logic», 40, 113-129. MR401465
5. Makowsky, J.A. and Shelah, S. (1979) - The theorems of Beth and Craig in abstract model theory. I, to appear in «Trans. AMS.». Zbl0428.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) - $\mathrm{\Delta }$-logics and generalized quantifiers, «Ann. Math. Logic», 10, 155-192. Zbl0346.02007
8. Mundici, D. - Applications of many-sorted Robinson consistency theorem, in publication on «Zeit. für Math. Logik». Zbl0463.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».