Joint papers of Stavi and Shelah

MShS:47
Makowsky+Shelah+Stavi, $\Delta$-logics and generalized quantifiers -- Annals Math Logic 10 (1976) 155-192
MShS:121
Magidor+Shelah+Stavi, On the standard part of nonstandard models of set theory -- J Symbolic Logic 48 (1983) 33-38
GPShS:134
Gabbai+Pnueli+Shelah+Stavi, On the temporal analysis of fairness -- Proc.~ seventh Annual SIG ACT --- SIG PLAN Symposium on Principles of Programming Languages, January 23- 30, 1980 (1980) 163--173
MShS:144
Magidor+Shelah+Stavi, Countably decomposable admissible sets -- Annals Pure and Applied Logic 26 (1984) 287-361


Back to theList of coauthors
Back to Shelah's Archive