Constructive models of complete solvable theories S. S. GoncharovA. T. Nurtazin OriginalPaper Pages: 67 - 77
The undecidability of fields of rational functions over fields of characteristic 2 Yu. G. Penzin OriginalPaper Pages: 116 - 119
Every recursively enumerable extension of a theory of linear order has a constructive model M. G. Peretyat'kin OriginalPaper Pages: 120 - 124