RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

1976, Volume 60

| General information | Contents | Forward links |


Studies in constructive mathematics and mathematical logic. Part VII


An iterative description of the class $\varepsilon^1$ of Grzegorczyk's hierarchy
A. P. Beltiukov
3
Decidability of the universal theory of natural numbers with addition and divisibility
A. P. Beltiukov
15
Kolmogoroff algorithms are stronger than turing machines
D. Yu. Grigor'ev
29
Application of separability and independence notions for proving lower bounds of circuit complexity
D. Yu. Grigor'ev
38
On an approximative version of the notion of constructive analytic function
E. Ya. Dantsin
49
On constructive distribution functions
N. K. Kossovski
59
Absorption relation on regular sets
S. Yu. Maslov
65
A new proof of the theorem on exponential diophantine representation of enumerable sets
Yu. V. Matiyasevich
75
What can be done with PRA?
G. E. Mints
93
On the approximation of reduction classes of RPC by decidable classes
S. A. Norgela
103
Solvable classes of pseudoprenex formulas
V. P. Orevkov
109
Approximability of operators in constructive metric spaces
S. V. Pakhomov
171
Hierarchies of operators in constructive metric spaces
S. V. Pakhomov
183
Continuity of operators in separable constructive metric spaces
S. V. Pakhomov
194
On the recognition of the tautological nature of propositional formulas
P. Yu. Suvorov
197
Example of a constructive separable space with an inseparable completion
V. P. Chernov
207
On the quantifier of limiting realizability
N. A. Shanin
209


© Steklov Math. Inst. of RAS, 2024