Zap. Nauchn. Sem. LOMI, 1972, Volume 32

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

1972, Volume 32

Contents

Studies in constructive mathematics and mathematical logic. Part V

	On the relation between classical and construetive analysis M. G. Gelfond		5
	The increase of the complexity of functions at an application of the multiple recursion E. Ya. Dantsin		12
	On a relation between sheaf-spaces and numerated sets with $C_2^*$-property Yu. L. Ershov		18
	Some properties of solutions of equations in a free semigroup N. K. Kossovski		21
	On recognizing invariant properties of algorithms N. K. Kossovski		29
	The recognition of the self-crossing of plane trajectory by Kolmogorov algorithm M. V. Kubinets		35
	Metamathematical interpretation of the fan theorem V. A. Lifshits		45
	A non-compact closed sphere in a constructive compact metric space V. A. Lifshits, V. P. Chernov		53
	Deduction search in calculi of general type S. Yu. Maslov		59
	Probabilistic canonical systems S. Yu. Maslov, E. D. Rusakov		66
	Arithmetical representations of recursively enumerable sets with a small number of quantifiers Yu. V. Matiyasevich		77
	Derivability of admissible rules G. E. Mints		85
	Cut-elimination theorem for relevant logics G. E. Mints		90
	A specialization of Gentzen-type deductions and its application V. P. Orevkov		98
	Some properties of graphs of functions in the Grzegorczyk hierarchy S. V. Pakhomov		105
	An extention of the inverse method to axiomatic theories with equality A. Y. Plushkevichene		108
	An equation calculus for primitive recursive rational-valued functions M. Kh. Fakhmi		116
	Families of the recursive predicates of the zero measure R. I. Freidson		121
	Topological variants of the continuity theorem and of some related theorems V. P. Chernov		129
	On constructive operators of finite types V. P. Chernov		140
	A classification of spaces of operators of finite types V. P. Chernov		148