Constructive models of regularly infinite algorithmic dimension Yu. G. Ventsov OriginalPaper Pages: 79 - 84
Discrete families of recursive functions and index sets M. KummerS. WehnerXiao-Ding Yi OriginalPaper Pages: 85 - 94
Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal D. E. Pal'chunov OriginalPaper Pages: 102 - 119