Trudy Mat. Inst. Steklov., 1967, Volume 93

RUS ENG

JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

1967, Volume 93

Contents

Problems of the constructive direction in mathematics. Part 4

Work collection

	L. Е. J. Brouwer (obituary)	2

General theory of algorithms and calculuses
	The concept of strict representability in the general theory of calculi S. Yu. Maslov	3
	The representation of recursively enumerable sets by local calculi S. Yu. Maslov	43
	Simple examples of unsolvable canonical calculi Yu. V. Matiyasevich	50

Constructive mathematical logic
	Algorithms covering a given algorithm A. V. Idel'son	89
	Notes on the calculi of constructive logic with subordinate variables and with the axiom of complete induction A. V. Idel'son	106
	Constructive mathematical theories consistent with classical logic V. A. Lifshits	113
	A language of constructive mathematics involving systems of sets Phan Đìni Diêu	123

Constructive complex analysis
	On constructive mappings of finite polyhedra V. P. Orevkov	142
	On certain types of continuity of constructive operators V. P. Orevkov	164
	Arithmetical operations on certain sets of duplexes A. O. Slisenko	187
	The construction of maximal continuity regulators for constructive functions A. O. Slisenko	208
	On closed and open sets in constructive topological spaces Phan Đìni Diêu	250

	Corrigenda and addenda to the article “On predicate and operator variants of the formation of the theories of constructive mathematics” G. E. Mints	257
	Corrections and notes to the collection “Problems of the constructive direction in mathematics, part 3” in Trudy Mat. Inst. Steklov. 72 (1964)	259