Models with second order properties. III. Omitting types forL(Q) Saharon Shelah OriginalPaper Pages: 1 - 11
The theorems of beth and Craig in abstract model theory II. Compact logics J. A. MakowskyS. Shelah OriginalPaper Pages: 13 - 35
Topological model theory with an interior operator: Consistency properties and back — and forth arguments J. A. MakowskyM. Ziegler OriginalPaper Pages: 37 - 54
On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic T. v. d. Twer OriginalPaper Pages: 69 - 76
A unifying approach to theorems on preservation and interpolation for binary relations between structures Hugo Volger OriginalPaper Pages: 101 - 112
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 W. Pohlers OriginalPaper Pages: 113 - 129
Some undecidable theories with monadic predicates and without equality Hans Kleine Büning OriginalPaper Pages: 137 - 148
Predicate calculus and naive set theory in pure combinatory logic M. W. Bunder OriginalPaper Pages: 169 - 177