Suvorov, P. Yu. On the recognition of the tautological nature of propositional formulas. (English) Zbl 0465.68044 J. Sov. Math. 14, 1556-1562 (1980). MSC: 68T15 03B05 PDFBibTeX XMLCite \textit{P. Yu. Suvorov}, J. Sov. Math. 14, 1556--1562 (1980; Zbl 0465.68044) Full Text: DOI
Solonnikov, V. A. Solvability of the initial-boundary-value problem for the equations of motion of a viscous compressible fluid. (English) Zbl 0451.35092 J. Sov. Math. 14, 1120-1133 (1980). MSC: 35Q99 35B45 35Q30 PDFBibTeX XMLCite \textit{V. A. Solonnikov}, J. Sov. Math. 14, 1120--1133 (1980; Zbl 0451.35092) Full Text: DOI
Grigor’ev, D. Yu. Application of separability and independence notions for proving lower bounds of circuit complexity. (English) Zbl 0449.94030 J. Sov. Math. 14, 1450-1457 (1980). MSC: 94C10 68Q25 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 14, 1450--1457 (1980; Zbl 0449.94030) Full Text: DOI
Maslov, S. Yu. Absorption relation on regular sets. (English) Zbl 0449.68019 J. Sov. Math. 14, 1468-1475 (1980). MSC: 68Q45 03D05 92B05 PDFBibTeX XMLCite \textit{S. Yu. Maslov}, J. Sov. Math. 14, 1468--1475 (1980; Zbl 0449.68019) Full Text: DOI
Poznyak, Eh. G.; Sokolov, D. D. Isometric immersions of Riemannian spaces in Euclidean spaces. (English) Zbl 0449.53044 J. Sov. Math. 14, 1407-1428 (1980). MSC: 53C42 53B25 53B30 53C80 53C50 53-02 PDFBibTeX XMLCite \textit{Eh. G. Poznyak} and \textit{D. D. Sokolov}, J. Sov. Math. 14, 1407--1428 (1980; Zbl 0449.53044) Full Text: DOI
Kosovskij, N. K. On constructive distribution functions. (English) Zbl 0449.03066 J. Sov. Math. 14, 1464-1468 (1980). MSC: 03F65 60A05 PDFBibTeX XMLCite \textit{N. K. Kosovskij}, J. Sov. Math. 14, 1464--1468 (1980; Zbl 0449.03066) Full Text: DOI
Dantsin, E. Ya. On an approximative version of the notion of constructive analytic function. (English) Zbl 0449.03065 J. Sov. Math. 14, 1457-1463 (1980). MSC: 03F65 54E35 30G30 PDFBibTeX XMLCite \textit{E. Ya. Dantsin}, J. Sov. Math. 14, 1457--1463 (1980; Zbl 0449.03065) Full Text: DOI
Pakhomov, S. V. Continuity of operators in separable constructive metric spaces. (English) Zbl 0449.03064 J. Sov. Math. 14, 1554-1556 (1980). MSC: 03F65 54E35 PDFBibTeX XMLCite \textit{S. V. Pakhomov}, J. Sov. Math. 14, 1554--1556 (1980; Zbl 0449.03064) Full Text: DOI
Pakhomov, S. V. Hierarchies of operators in constructive metric spaces. (English) Zbl 0449.03063 J. Sov. Math. 14, 1547-1554 (1980). MSC: 03F65 54E35 PDFBibTeX XMLCite \textit{S. V. Pakhomov}, J. Sov. Math. 14, 1547--1554 (1980; Zbl 0449.03063) Full Text: DOI
Pakhomov, S. V. Approximability of operators in constructive metric spaces. (English) Zbl 0449.03062 J. Sov. Math. 14, 1539-1546 (1980). MSC: 03F65 54E35 PDFBibTeX XMLCite \textit{S. V. Pakhomov}, J. Sov. Math. 14, 1539--1546 (1980; Zbl 0449.03062) Full Text: DOI
Chernov, V. P. Example of a constructive separable space with an inseparable completion. (English) Zbl 0449.03061 J. Sov. Math. 14, 1563-1564 (1980). MSC: 03F65 54D10 PDFBibTeX XMLCite \textit{V. P. Chernov}, J. Sov. Math. 14, 1563--1564 (1980; Zbl 0449.03061) Full Text: DOI
Shanin, N. A. On the quantifier of limiting realizability. (English) Zbl 0449.03058 J. Sov. Math. 14, 1565-1572 (1980). MSC: 03F50 PDFBibTeX XMLCite \textit{N. A. Shanin}, J. Sov. Math. 14, 1565--1572 (1980; Zbl 0449.03058) Full Text: DOI
Mints, G. E. What can be done with PRA? (English) Zbl 0449.03055 J. Sov. Math. 14, 1487-1492 (1980). MSC: 03F35 03F05 03F60 11U99 PDFBibTeX XMLCite \textit{G. E. Mints}, J. Sov. Math. 14, 1487--1492 (1980; Zbl 0449.03055) Full Text: DOI
Matiyasevich, Yu. V. A new proof of the theorem on exponential diophantine representation of enumerable sets. (English) Zbl 0449.03043 J. Sov. Math. 14, 1475-1486 (1980). MSC: 03D80 03D25 11U99 11D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 14, 1475--1486 (1980; Zbl 0449.03043) Full Text: DOI
Bel’tyukov, A. P. An iterative description of the class \(\mathcal E^1\) of Grzegorczyk’s hierarchy. (English) Zbl 0449.03033 J. Sov. Math. 14, 1429-1436 (1980). MSC: 03D20 03D10 03D15 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Sov. Math. 14, 1429--1436 (1980; Zbl 0449.03033) Full Text: DOI
Grigor’ev, D. Yu. Kolmogoroff algorithms are stronger than Turing machines. (English) Zbl 0449.03030 J. Sov. Math. 14, 1445-1450 (1980). MSC: 03D15 03D10 68W99 PDFBibTeX XMLCite \textit{D. Yu. Grigor'ev}, J. Sov. Math. 14, 1445--1450 (1980; Zbl 0449.03030) Full Text: DOI
Norgela, S. A. On the approximation of reduction classes of RPC by decidable classes. (English) Zbl 0449.03013 J. Sov. Math. 14, 1493-1496 (1980). MSC: 03B25 03C10 03B20 PDFBibTeX XMLCite \textit{S. A. Norgela}, J. Sov. Math. 14, 1493--1496 (1980; Zbl 0449.03013) Full Text: DOI
Orevkov, V. P. Solvable classes of pseudoprenex formulas. (English) Zbl 0449.03012 J. Sov. Math. 14, 1497-1538 (1980). MSC: 03B25 03B55 PDFBibTeX XMLCite \textit{V. P. Orevkov}, J. Sov. Math. 14, 1497--1538 (1980; Zbl 0449.03012) Full Text: DOI
Bel’tyukov, A. P. Decidability of the universal theory of natural numbers with addition and divisibility. (English) Zbl 0449.03011 J. Sov. Math. 14, 1436-1444 (1980). MSC: 03B25 11U05 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov}, J. Sov. Math. 14, 1436--1444 (1980; Zbl 0449.03011) Full Text: DOI
Ivanov, B. A. Properties of eigenvalues of positive operators depending nonlinearly on a parameter. (English) Zbl 0448.49020 J. Sov. Math. 14, 1161-1165 (1980). MSC: 49R50 47A70 47A10 47B60 PDFBibTeX XMLCite \textit{B. A. Ivanov}, J. Sov. Math. 14, 1161--1165 (1980; Zbl 0448.49020) Full Text: DOI
Farforovskaya, Yu. B. An estimate of the norm |f(B)-f(A)| for self-adjoint operators A and B. (English) Zbl 0446.47011 J. Sov. Math. 14, 1133-1149 (1980). MSC: 47B15 47A60 47A30 PDFBibTeX XMLCite \textit{Yu. B. Farforovskaya}, J. Sov. Math. 14, 1133--1149 (1980; Zbl 0446.47011) Full Text: DOI
Matsaev, V. I.; Mogul’skij, E. Z. Completeness of weak perturbations of self-adjoint operators. (English) Zbl 0446.47004 J. Sov. Math. 14, 1091-1103 (1980). MSC: 47A55 47B25 47B06 PDFBibTeX XMLCite \textit{V. I. Matsaev} and \textit{E. Z. Mogul'skij}, J. Sov. Math. 14, 1091--1103 (1980; Zbl 0446.47004) Full Text: DOI
Brudnyj, Yu. A. An extension theorem for a family of functional spaces. (English) Zbl 0446.46027 J. Sov. Math. 14, 1155-1158 (1980). MSC: 46E35 46M35 46E30 PDFBibTeX XMLCite \textit{Yu. A. Brudnyj}, J. Sov. Math. 14, 1155--1158 (1980; Zbl 0446.46027) Full Text: DOI
Lozanovskij, G. Ya. A supplement to the paper ”On localizable functionals in vector lattices”. (English) Zbl 0446.46019 J. Sov. Math. 14, 1170-1173 (1980). MSC: 46E30 46A20 46B42 46A40 PDFBibTeX XMLCite \textit{G. Ya. Lozanovskij}, J. Sov. Math. 14, 1170--1173 (1980; Zbl 0446.46019) Full Text: DOI
Merzlyakov, Yu. I. Linear groups. (English) Zbl 0446.20032 J. Sov. Math. 14, 887-921 (1980). MSC: 20H20 20Gxx PDFBibTeX XMLCite \textit{Yu. I. Merzlyakov}, J. Sov. Math. 14, 887--921 (1980; Zbl 0446.20032) Full Text: DOI
Andrunakievich, V. A.; Arnautov, V. I.; Goyan, I. M.; Ryabukhin, Yu. M. Associative rings. (English) Zbl 0446.16002 J. Sov. Math. 14, 922-985 (1980). MSC: 16-02 PDFBibTeX XMLCite \textit{V. A. Andrunakievich} et al., J. Sov. Math. 14, 922--985 (1980; Zbl 0446.16002) Full Text: DOI
Fomenko, O. M. Applications of the theory of modular forms to number theory. (English) Zbl 0446.10021 J. Sov. Math. 14, 1307-1362 (1980). MSC: 11F03 11-02 11F11 11F12 11F33 11F67 11E45 11N37 PDFBibTeX XMLCite \textit{O. M. Fomenko}, J. Sov. Math. 14, 1307--1362 (1980; Zbl 0446.10021) Full Text: DOI
Vasil’ev, A. M. Differential algebra (contravariant analytic methods in differential geometry). (English) Zbl 0445.58001 J. Sov. Math. 14, 1177-1187 (1980). MSC: 58A05 58A20 58A99 58J99 12H05 12H20 PDFBibTeX XMLCite \textit{A. M. Vasil'ev}, J. Sov. Math. 14, 1177--1187 (1980; Zbl 0445.58001) Full Text: DOI
Nikol’skij, N. K. Lectures on the shift operator. III. (English) Zbl 0445.47001 J. Sov. Math. 14, 1103-1120 (1980). MSC: 47-02 47A15 47A10 47A70 47B20 47B15 47A45 47B35 46J15 PDFBibTeX XMLCite \textit{N. K. Nikol'skij}, J. Sov. Math. 14, 1103--1120 (1980; Zbl 0445.47001) Full Text: DOI
Shirokov, N. A. Some embedding theorems for spaces of harmonic functions. (English) Zbl 0445.31005 J. Sov. Math. 14, 1173-1176 (1980). MSC: 31B05 30D55 46E10 PDFBibTeX XMLCite \textit{N. A. Shirokov}, J. Sov. Math. 14, 1173--1176 (1980; Zbl 0445.31005) Full Text: DOI
Vinberg, Eh. B.; Shvartsman, O. V. Riemann surfaces. (English) Zbl 0445.30032 J. Sov. Math. 14, 985-1020 (1980). MSC: 30F10 30F35 32G15 30-02 32-02 PDFBibTeX XMLCite \textit{Eh. B. Vinberg} and \textit{O. V. Shvartsman}, J. Sov. Math. 14, 985--1020 (1980; Zbl 0445.30032) Full Text: DOI
Itenberg, V. S. Middle dimension homologies of a codimension 2 submanifold. II. (English) Zbl 0444.57006 J. Sov. Math. 14, 1165-1168 (1980). MSC: 57N65 57R40 57R20 58J20 57M12 55M35 PDFBibTeX XMLCite \textit{V. S. Itenberg}, J. Sov. Math. 14, 1165--1168 (1980; Zbl 0444.57006) Full Text: DOI
Bredikhin, B. M. Partition into terms with prime numbers. (English) Zbl 0444.10043 J. Sov. Math. 14, 869-887 (1980). MSC: 11P32 11-02 11D85 11P55 11P99 11N37 PDFBibTeX XMLCite \textit{B. M. Bredikhin}, J. Sov. Math. 14, 869--887 (1980; Zbl 0444.10043) Full Text: DOI
Sen’kin, E. P. Bending of convex surfaces. (English) Zbl 0443.53040 J. Sov. Math. 14, 1287-1305 (1980). MSC: 53C45 52A15 52A20 53-02 PDFBibTeX XMLCite \textit{E. P. Sen'kin}, J. Sov. Math. 14, 1287--1305 (1980; Zbl 0443.53040) Full Text: DOI
Ostianu, N. M.; Balazyuk, T. N. Manifolds, imbedded in a space with projective connection. (English) Zbl 0443.53030 J. Sov. Math. 14, 1217-1241 (1980). MSC: 53C05 53B10 53-02 PDFBibTeX XMLCite \textit{N. M. Ostianu} and \textit{T. N. Balazyuk}, J. Sov. Math. 14, 1217--1241 (1980; Zbl 0443.53030) Full Text: DOI
Norden, A. P. Theory of compositions. (English) Zbl 0443.53014 J. Sov. Math. 14, 1241-1259 (1980). MSC: 53B15 PDFBibTeX XMLCite \textit{A. P. Norden}, J. Sov. Math. 14, 1241--1259 (1980; Zbl 0443.53014) Full Text: DOI
Stolyarov, A. V. Differential geometry of strips. (English) Zbl 0443.53013 J. Sov. Math. 14, 1187-1204 (1980). MSC: 53B05 53B10 53-02 PDFBibTeX XMLCite \textit{A. V. Stolyarov}, J. Sov. Math. 14, 1187--1204 (1980; Zbl 0443.53013) Full Text: DOI
Egorov, I. P. Automorphisms in generalized spaces. (English) Zbl 0443.53012 J. Sov. Math. 14, 1260-1287 (1980). MSC: 53B05 53B10 53B20 53B40 53-02 PDFBibTeX XMLCite \textit{I. P. Egorov}, J. Sov. Math. 14, 1260--1287 (1980; Zbl 0443.53012) Full Text: DOI
Chakmazyan, A. V. A connection in normal bundles of normalized submanifolds \(V_m\) in \(P_p\). (English) Zbl 0443.53006 J. Sov. Math. 14, 1205-1216 (1980). MSC: 53A20 53B10 53-02 PDFBibTeX XMLCite \textit{A. V. Chakmazyan}, J. Sov. Math. 14, 1205--1216 (1980; Zbl 0443.53006) Full Text: DOI
Borovskikh, Yu. V. A probabilistic remark about the Abel-Goncharov interpolation problem. (English) Zbl 0442.41005 J. Sov. Math. 14, 1021-1027 (1980). MSC: 41A05 65D05 PDFBibTeX XMLCite \textit{Yu. V. Borovskikh}, J. Sov. Math. 14, 1021--1027 (1980; Zbl 0442.41005) Full Text: DOI
Vasyunin, V. I. Bases of rational functions and multiple interpolation. (English) Zbl 0442.41004 J. Sov. Math. 14, 1158-1160 (1980). MSC: 41A05 41A63 PDFBibTeX XMLCite \textit{V. I. Vasyunin}, J. Sov. Math. 14, 1158--1160 (1980; Zbl 0442.41004) Full Text: DOI
Vinogradov, S. A.; Khavin, V. P. Free interpolation in \(H^\infty\) and in some other classes of functions. II. (English) Zbl 0442.41003 J. Sov. Math. 14, 1027-1065 (1980). MSC: 41A05 41A65 PDFBibTeX XMLCite \textit{S. A. Vinogradov} and \textit{V. P. Khavin}, J. Sov. Math. 14, 1027--1065 (1980; Zbl 0442.41003) Full Text: DOI
Matsaev, V. I.; Mogul’skij, E. Z. A division theorem for analytic functions with a given majorant and some of its applications. (English) Zbl 0442.30050 J. Sov. Math. 14, 1078-1090 (1980). MSC: 30H05 PDFBibTeX XMLCite \textit{V. I. Matsaev} and \textit{E. Z. Mogul'skij}, J. Sov. Math. 14, 1078--1090 (1980; Zbl 0442.30050) Full Text: DOI
Kotochigov, A. M. Free interpolation in some Banach spaces of analytic functions. (English) Zbl 0442.30036 J. Sov. Math. 14, 1168-1170 (1980). MSC: 30E05 46E15 30H05 PDFBibTeX XMLCite \textit{A. M. Kotochigov}, J. Sov. Math. 14, 1168--1170 (1980; Zbl 0442.30036) Full Text: DOI
Dyn’kin, E. M.; Khrushchev, S. V. Interpolation by analytic functions smooth up to the boundary. (English) Zbl 0442.30035 J. Sov. Math. 14, 1066-1077 (1980). MSC: 30E05 PDFBibTeX XMLCite \textit{E. M. Dyn'kin} and \textit{S. V. Khrushchev}, J. Sov. Math. 14, 1066--1077 (1980; Zbl 0442.30035) Full Text: DOI
Khrushchev, S. V. Uniqueness sets for Gevrey classes. (English) Zbl 0442.30031 J. Sov. Math. 14, 1149-1154 (1980). MSC: 30D55 PDFBibTeX XMLCite \textit{S. V. Khrushchev}, J. Sov. Math. 14, 1149--1154 (1980; Zbl 0442.30031) Full Text: DOI
Evtushik, L. E.; Lumiste, Yu. G.; Ostianu, N. M.; Shirokov, A. P. Differential-geometric structures on manifolds. (English. Russian original) Zbl 0455.58002 J. Sov. Math. 14, 1573-1719 (1980); translation from Itogi Nauki Tekh., Ser. Probl. Geom. 9, 248 p. (1979). MSC: 58A20 58A15 53C15 58B20 55R10 PDFBibTeX XMLCite \textit{L. E. Evtushik} et al., J. Sov. Math. 14, 1573--1719 (1979; Zbl 0455.58002); translation from Itogi Nauki Tekh., Ser. Probl. Geom. 9, 248 p. (1979) Full Text: DOI
Onishchik, A. L. Pseudoconvexity in the theory of complex spaces. (English. Russian original) Zbl 0449.32020 J. Sov. Math. 14, 1363-1407 (1980); translation from Itogi Nauki Tekh., Ser. Algebra Topologiya Geom. 15, 93-171 (1977). MSC: 32T99 32F10 32E10 14F05 14C20 32J25 PDFBibTeX XMLCite \textit{A. L. Onishchik}, J. Sov. Math. 14, 1363--1407 (1977; Zbl 0449.32020); translation from Itogi Nauki Tekh., Ser. Algebra Topologiya Geom. 15, 93--171 (1977) Full Text: DOI