Zap. Nauchn. Sem. LOMI, 1967, Volume 4

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

1967, Volume 4

Contents

Studies in constructive mathematics and mathematical logic. Part I

	Preface A. O. Slisenko		7
	A proof method for the classical predicate calculus G. V. Davydov		8
	On correction of unprovable formulae G. V. Davydov		18
	Lebesgue integral in constructive analysis O. Demuth		30
	Sufficient conditions for incompleteness of formalized parts of arithmetic N. K. Kossovski		44
	The normal form for deductions in the predicate calculus with equality and functional symbols V. A. Lifshits		58
	Some reduction classes and undecidable theories V. A. Lifshits		65
	Deductive validity and reduction classes V. A. Lifshits		69
	The decision problem for some constructive theories of equality V. A. Lifshits		78
	On constructive groups V. A. Lifshits		86
	Invertible sequential variant of intuitibnistic predicate calculus S. Yu. Maslov		96
	Choice of terms in quantifier rules of the intuitionistic pridicate calculus G. E. Mints		112
	Analog of the Herbrand's theorem for the intuitionistic predicate calculus G. E. Mints		123
	Varying of proof search tactics in sequenzen-calculi G. E. Mints		134
	Embedding operations related to the S. Kripke's "semantics" G. E. Mints		152
	On embedding operations G. E. Mints, V. P. Orevkov		160
	Unsolvability in the modal predicate calculus of the class of formulas containing only one monadic predicate variable V. P. Orevkov		168
	A sequential calculus of the constructive logic for the normal formulae without structural rules of inference R. A. Plyushkevitchus		174
	On sequential variants of applied predicate calculi M. G. Rogava		189
	On maximal regulators of continuity for constructive functions A. O. Slisenko		201
	Representation of recursive predicates by Rabin's machines R. I. Freidson		209