Constructive and Non-Constructive Infinite Formulas in Computable Structures P. E. Alaev OriginalPaper Pages: 219 - 231
Necessary Isomorphism Conditions for Rogers Semilattices of Finite Partially Ordered Sets Yu. L. Ershov OriginalPaper Pages: 232 - 236