Kim B. Bruce Model Constructions in Stationary Logic. Part I. Forcing. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:3, pp:439-454 [Journal]
René David A Result of Relative Consistency About the Predicate WO(delta, kappa). [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:3, pp:483-492 [Journal]
Saharon Shelah Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:3, pp:505-509 [Journal]
James H. Schmerl Decidability and 0-Categoricity of Theories of Partially Ordered Sets. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1980, v:45, n:3, pp:585-611 [Journal]