Zap. Nauchn. Sem. LOMI, 1974, Volume 40

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

1974, Volume 40

|

General information

|

Contents

|

Studies in constructive mathematics and mathematical logic. Part VI

	From the authors		3
	A matrix notation for the nets of marks Ya. Ya. Golota		4
	A reduction of proposittional tautologihood to graph-coloring in three colors G. V. Davydov, P. Yu. Suvorov		10
	An upper estimate of the finite-state complexity for a class of generating schemes containing complements and intersections Z. R. Dang, G. S. Tseitin		14
	On solutions of systems consisting both of word equationa and of word length inequalities N. K. Kossovski		24
	What does the law of the exeluted middle follow from? V. Ya. Kreinovich		30
	A constructivization of the notions of $\varepsilon$-entropy and $\varepsilon$-capacity V. Ya. Kreinovich		38
	Quelques propriétés des fonctions numériques constructives sur les espaces de fonctions presque-periodiques M. Margenstern		45
	On cut-type rules for calculuses of general type S. Yu. Maslov, S. A. Norgela		63
	The existence of non-effectivizable estimates in the theory of exponential Diophantine equations Yu. V. Matiyasevich		77
	A proof scheme in discrete mathematics Yu. V. Matiyasevich		94
	Heytiag predicate calculus with $\varepsilon$-symbol G. E. Mints		101
	On $E$-theorems G. E. Mints		110
	New proof of the uniqueness theorem for the differentiable complex-variable functions V. P. Orevkov		119
	Some simple syntactical definition of all classes of Grzegorczyk hierarchy S. V. Pakhomov		127
	Table approximations to recursive predicates R. I. Freidson		131
	On some properties of mappings of sheafspaces V. P. Chernov		136
	On a hierarchy of Brouwer constructive functionals N. A. Shanin		142

© Steklov Math. Inst. of RAS, 2024