Minimal elementary extensions of models of set theory and arithmetic Ali Enayat OriginalPaper Pages: 181 - 192
The undecidability of the second order predicate unification problem Gilles Amiot OriginalPaper Pages: 193 - 199