Jachymski, Jacek On Cantor theorem for weakly sequentially complete spaces. (English) Zbl 0772.46008 Zesz. Nauk., Politech. Łódz. 466, Mat. 19, 89-96 (1986). MSC: 46B10 PDFBibTeX XMLCite \textit{J. Jachymski}, Zesz. Nauk. Politech. Łódz., Mat. 466(19), 89--96 (1986; Zbl 0772.46008)
Perekhrest, V. I. Solution of the second boundary value problem for non-self-adjoint second-order equation. (Russian) Zbl 0726.35090 Differential equations and their applications, Collect. Sci. Works, Dnepropetrovsk, 60-63 (1986). Reviewer: V.Kamen (Praha) MSC: 35P10 35L20 PDFBibTeX XML
Zhou, Jiayun; Han, Deguang A note on a generalized moment problem. (Chinese) Zbl 0713.42030 J. Qufu Norm. Univ., Nat. Sci. 12, No. 1, 25-26 (1986). Reviewer: Lee Tai-Chung MSC: 42C30 26A46 42A10 PDFBibTeX XMLCite \textit{J. Zhou} and \textit{D. Han}, J. Qufu Norm. Univ., Nat. Sci. 12, No. 1, 25--26 (1986; Zbl 0713.42030)
Dodonov, V. V.; Man’ko, V. I. Phase space eigenfunctions of multidimensional quadratic Hamiltonians. (English) Zbl 0697.35103 Group theoretical methods in physics, Proc. 3rd Semin., Yurmala/USSR 1985, Vol. 1, 581-593 (1986). Reviewer: R.Vaillancourt MSC: 35P10 35J10 35Q99 PDFBibTeX XML
Hörmander, Lars Differential operators of principal type and scattering theory. (English) Zbl 0689.35099 Differential geometry and differential equations, Proc. Symp., Changchun/China 1982, 113-184 (1986). Reviewer: P.Godin MSC: 35S05 35-02 35P25 35A27 PDFBibTeX XML
Ivanov, A. A. Elementary extensions of recursively saturated models of Presburger arithmetic. (Russian) Zbl 0679.03011 Some problems of differential equations and discrete mathematics, Interuniv. Collect. Sci. Works, 52-62 (1986). Reviewer: R.Kossak MSC: 03C62 03C10 03H15 03F30 PDFBibTeX XML
Markus, A. S. Introduction to the spectral theory of polynomial operator pencils. (Vvedenie v spektral’nuyu teoriyu polinomial’nykh operatornykh puchkov). (Russian) Zbl 0678.47006 Kishinev (USSR): Shtiintsa. 260 p. R. 2.40 (1986). Reviewer: A.A.Pankov, V.S.Zayachkovski MSC: 47A56 47A70 47-02 47A68 47A55 47A10 47B15 PDFBibTeX XML
Germano, Bruna On a construction of an orthonormal polynomial system starting from four or more consecutive polynomials. (Italian. English summary) Zbl 0672.42018 Rend. Mat. Appl., VII. Ser. 6, No. 3, 383-394 (1986). MSC: 42C05 42C30 PDFBibTeX XMLCite \textit{B. Germano}, Rend. Mat. Appl., VII. Ser. 6, No. 3, 383--394 (1986; Zbl 0672.42018)
Oleinik, O. A. Asymptotic expansions and boundary layers in homogenization problems for differential operators. (English) Zbl 0669.73007 BAIL IV, Proc. 4th Int. Conf. Boundary and interior layers, Novosibirsk/USSR 1986, Conf. Ser. 10, 145-156 (1986). MSC: 74E05 35P10 34L99 35G15 35J15 PDFBibTeX XML
Bell, J. L.; Machover, M. A course in mathematical logic. 1st reprint. (English) Zbl 0669.03001 Amsterdam etc.: North-Holland (Elsevier Science Publishing Co.). XX, 600 p.; $ 58.50; Dfl. 120.00 (1986). MSC: 03-01 03-02 03B10 03C07 03D20 03D25 03E30 03E35 03C35 03F30 PDFBibTeX XML
Robinson, Abraham [Keisler, H. J.] Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler). (English) Zbl 0665.03017 Studies in Logic and the Foundations of Mathematics. Amsterdam etc.: North-Holland (Elsevier Science Publishers). XII, 284 p. (1986). MSC: 03Cxx 03-01 03-02 PDFBibTeX XML
Vzovskij, D. A. On pointwise completeness of systems of linear differential-functional equations. (Russian) Zbl 0664.34069 Differ. Uravn. 22, No. 5, 888-889 (1986). Reviewer: J.Vosmanský MSC: 34K05 34A30 PDFBibTeX XMLCite \textit{D. A. Vzovskij}, Differ. Uravn. 22, No. 5, 888--889 (1986; Zbl 0664.34069)
Saffe, Jürgen On categorical theories. (English) Zbl 0662.03020 Logic colloq. ’84, Proc. Colloq., Manchester/U.K. 1984, Stud. Logic Found. Math. 120, 197-206 (1986). MSC: 03C35 03C45 PDFBibTeX XML
Eroshov, S. A. Algorithms to form a representative vector criterion for a binary preference relation. (Russian) Zbl 0658.90004 Software and models of operations research, Work Collect., Moskva 1986, 118-126 (1986). Reviewer: M.Kaganovich MSC: 91B08 06A06 68Q25 PDFBibTeX XML
Kappeler, T. Banach spaces with the condition of Mazur. (English) Zbl 0658.46010 Math. Z. 191, 623-631 (1986). MSC: 46B20 46G12 46M05 46A50 PDFBibTeX XMLCite \textit{T. Kappeler}, Math. Z. 191, 623--631 (1986; Zbl 0658.46010) Full Text: DOI EuDML
Petkov, Pet”o The life and work of Kurt Gödel (on the occasion of the 80th anniversary of his birth). (Bulgarian) Zbl 0658.01020 Mathematics and education in mathematics, Proc. 15th Spring Conf., Sunny Beach/Bulg. 1986, 101-136 (1986). Reviewer: B.R.Boričić MSC: 01A70 03-03 PDFBibTeX XML
Joó, I. On the summability of eigenfunction expansions. III. (English) Zbl 0657.35093 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. 28(1986), 253-262 (1985). Reviewer: J.H.Tian MSC: 35P10 35C10 PDFBibTeX XMLCite \textit{I. Joó}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. 28, 253--262 (1986; Zbl 0657.35093)
Hillmann, Theodore R. Besicovitch-Orlicz spaces of almost periodic functions. (English) Zbl 0656.46020 Real and stochastic analysis, Wiley Ser. Probab. Math. Stat., Probab. Math. Stat., 119-167 (1986). Reviewer: V.Zakharov MSC: 46E30 46E35 PDFBibTeX XML
Ramarao, K. V. S. A simple variant of node connectivity is NP-complete. (English) Zbl 0655.68040 Int. J. Comput. Math. 20, No. 3-4, 245-251 (1986). MSC: 68Q25 94C15 68R10 68N99 PDFBibTeX XMLCite \textit{K. V. S. Ramarao}, Int. J. Comput. Math. 20, No. 3--4, 245--251 (1986; Zbl 0655.68040) Full Text: DOI
Butrick, Richard A complete system generation algorithm for list structures. (English) Zbl 0655.68032 Int. J. Comput. Math. 19, No. 2, 125-133 (1986). MSC: 68Q65 03E99 68P05 PDFBibTeX XMLCite \textit{R. Butrick}, Int. J. Comput. Math. 19, No. 2, 125--133 (1986; Zbl 0655.68032) Full Text: DOI
Minasyan, R. S. On the mixed boundary value problem of heat conduction for a cylinder of finite length. (Russian) Zbl 0654.35024 Dokl., Akad. Nauk Arm. SSR 82, 210-213 (1986). Reviewer: S. G. Trofimchuk MSC: 35J05 80A20 35P10 35C10 PDFBibTeX XMLCite \textit{R. S. Minasyan}, Dokl., Akad. Nauk Arm. SSR 82, 210--213 (1986; Zbl 0654.35024)
Arutyunyan, A. G.; Sinanyan, N. O. On the representation of measurable functions by series with respect to complete orthonormal systems with prescribed coefficients. (English. Russian original) Zbl 0653.42032 Sov. J. Contemp. Math. Anal., Arm. Acad. Sci. 21, No. 5, 21-31 (1986); translation from Izv. Akad. Nauk Arm. SSR, Mat. 21, No. 5, 442-452 (1986). MSC: 42C15 42C30 PDFBibTeX XMLCite \textit{A. G. Arutyunyan} and \textit{N. O. Sinanyan}, Sov. J. Contemp. Math. Anal., Arm. Acad. Sci. 21, No. 5, 21--31 (1986; Zbl 0653.42032); translation from Izv. Akad. Nauk Arm. SSR, Mat. 21, No. 5, 442--452 (1986)
Joó, I. On the convergence of eigenfunction expansion in the norm of Sobolev spaces. (English) Zbl 0653.35067 Acta Math. Hung. 47, 191-199 (1986). Reviewer: W.D.Evans MSC: 35P10 35J10 46E35 PDFBibTeX XMLCite \textit{I. Joó}, Acta Math. Hung. 47, 191--199 (1986; Zbl 0653.35067) Full Text: DOI
Bottega, W. J. Dynamics and stability of support excited beam-columns with end mass. (English) Zbl 0651.73016 Dyn. Stab. Syst. 1, No. 3, 201-215 (1986). MSC: 74H55 74K10 35B35 35P10 PDFBibTeX XMLCite \textit{W. J. Bottega}, Dyn. Stab. Syst. 1, No. 3, 201--215 (1986; Zbl 0651.73016) Full Text: DOI
Köthe, Gottfried Duality of tensor products of convergence-free spaces. (English) Zbl 0651.46069 Collect. Math. 37, 125-133 (1986). Reviewer: Klaus Dieter Bierstedt (Paderborn) MSC: 46M05 46A45 46A20 46A13 46A11 46A30 46A32 46A08 PDFBibTeX XMLCite \textit{G. Köthe}, Collect. Math. 37, 125--133 (1986; Zbl 0651.46069) Full Text: EuDML
Kasymova, Zh. S. Completeness and decidability of calculi with special quantifiers. (Russian) Zbl 0649.03026 Vychisl. Sist. 117, 36-62 (1986). Reviewer: S.R.Kogalovskij MSC: 03C80 03C35 03B25 PDFBibTeX XMLCite \textit{Zh. S. Kasymova}, Vychisl. Sist. 117, 36--62 (1986; Zbl 0649.03026)
Goncharov, S. S. Theory of lists and its models. (Russian) Zbl 0649.03014 Vychisl. Sist. 114, 84-95 (1986). Reviewer: S.S.Goncharov MSC: 03B70 68P05 03B25 03C35 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Vychisl. Sist. 114, 84--95 (1986; Zbl 0649.03014)
Dragomir, Sever Silvestru Real Q-Banach spaces. (English) Zbl 0648.46021 Semin. Oper. Liniari Anal. Armonică, Univ. Timişoara 2, 8 p. (1986). MSC: 46B99 46B25 46C99 46A25 PDFBibTeX XML
Dragálin, A. G. The completeness of proof-searching procedures. The constructive proof. (English) Zbl 0648.03039 Dep. Math., Karl Marx Univ. Econ., Budapest 1986-4, 96-101 (1986). Reviewer: O.Štěpánková MSC: 03F50 03F55 PDFBibTeX XML
Voronkov, A. A. Computable functions and the Markov principle. (Russian) Zbl 0647.03047 Vychisl. Sist. 116, 120-128 (1986). Reviewer: G. E. Mints (Leningrad) MSC: 03F30 PDFBibTeX XMLCite \textit{A. A. Voronkov}, Vychisl. Sist. 116, 120--128 (1986; Zbl 0647.03047)
Goncharov, S. S. Theory of lists and its models. (Russian) Zbl 0646.68035 Vychisl. Sist. 114, 84-95 (1986). Reviewer: A.Kreczmar MSC: 68Q65 68Q60 03B10 03C35 03B70 PDFBibTeX XMLCite \textit{S. S. Goncharov}, Vychisl. Sist. 114, 84--95 (1986; Zbl 0646.68035)
Hwang, J. S. On a problem of Halmos about invertible operators. (English) Zbl 0646.47028 Math. Res. Cent. Rep., Symp. Taipei/Taiwan 1986, 196-200 (1986). MSC: 47L30 46C99 47L10 47L05 PDFBibTeX XML
Valdivia, M. Three-space problems and projective tensor products of locally convex spaces. (English) Zbl 0645.46003 Proc. R. Ir. Acad., Sect. A 86, 127-141 (1986). Reviewer: J.B.Cooper MSC: 46A08 46M40 46M05 46A30 PDFBibTeX XMLCite \textit{M. Valdivia}, Proc. R. Ir. Acad., Sect. A 86, 127--141 (1986; Zbl 0645.46003)
Křivánek, Mirko; Morávek, Jaroslav NP-hard problems in hierarchical-tree clustering. (English) Zbl 0644.68055 Acta Inf. 23, 311-323 (1986). Reviewer: G.Mauri MSC: 68Q25 68R10 65K10 PDFBibTeX XMLCite \textit{M. Křivánek} and \textit{J. Morávek}, Acta Inf. 23, 311--323 (1986; Zbl 0644.68055) Full Text: DOI
Phan Quoc Khanh An induction theorem and general open mapping theorems. (English) Zbl 0644.46002 J. Math. Anal. Appl. 118, 519-534 (1986). Reviewer: J.W.Baker MSC: 46A30 54C10 46G05 PDFBibTeX XMLCite \textit{Phan Quoc Khanh}, J. Math. Anal. Appl. 118, 519--534 (1986; Zbl 0644.46002) Full Text: DOI
Hsiang, Jieh; Rusinowitch, Michael A new method for establishing refutational completeness in theorem proving. (English) Zbl 0643.68142 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 141-152 (1986). MSC: 68T15 03B35 68Q55 PDFBibTeX XML
Comon, Hubert Sufficient completeness, term rewriting systems and “anti-unification”. (English) Zbl 0643.68031 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 128-140 (1986). MSC: 68Q65 68Q60 PDFBibTeX XML
Thaller, Bernd Relativistic scattering theory for long-range potentials of nonelectrostatic type. (English) Zbl 0643.35078 Lett. Math. Phys. 12, 15-19 (1986). MSC: 35P25 35Q99 81Q05 PDFBibTeX XMLCite \textit{B. Thaller}, Lett. Math. Phys. 12, 15--19 (1986; Zbl 0643.35078) Full Text: DOI
Aquilano, C.; Barbuti, R.; Bocchetti, P.; Martelli, M. Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions. (English) Zbl 0642.68158 J. Autom. Reasoning 2, 155-170 (1986). MSC: 68T15 PDFBibTeX XMLCite \textit{C. Aquilano} et al., J. Autom. Reasoning 2, 155--170 (1986; Zbl 0642.68158) Full Text: DOI
Eisinger, Norbert What you always wanted to know about clause graph resolution. (English) Zbl 0642.68155 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 316-336 (1986). MSC: 68T15 68W99 05C10 PDFBibTeX XML
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao Proof by induction using test sets. (English) Zbl 0642.68034 Automated deduction, Proc. 8th Int. Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 99-117 (1986). MSC: 68Q65 68T15 08B05 PDFBibTeX XML
Raphael, Louise A. Pointwise and \(L^ p({\mathbb{R}}^ n)\) convergence of elliptic eigenfunction expansions. (English) Zbl 0642.35065 Applied differential equations, Int. Workshop, Beijing/China 1985, 138-151 (1986). MSC: 35P10 35B20 35J05 35B40 PDFBibTeX XML
Mukherjea, A.; Pothoven, K. Real and functional analysis. 2nd ed. Part B: Functional analysis. (English) Zbl 0641.46002 Mathematical Concepts and Methods in Science and Engineering, 28. New York-London: Plenum Press. VIII, 277 p. (1986). MSC: 46-01 47B25 46C05 47-01 47B15 46A03 46B03 46B10 46B15 47A10 47A15 46A30 PDFBibTeX XML
Kazaryan, K. S.; Sargsyan, A. S. On a complete orthonormal system of continuous functions. (Russian) Zbl 0641.42022 Dokl., Akad. Nauk Arm. SSR 83, 198-201 (1986). MSC: 42C05 42C30 PDFBibTeX XMLCite \textit{K. S. Kazaryan} and \textit{A. S. Sargsyan}, Dokl., Akad. Nauk Arm. SSR 83, 198--201 (1986; Zbl 0641.42022)
Kheladze, Sh. V. On divergence of multiple Fourier series on a given set of zero measure. (Russian) Zbl 0641.42016 Tr. Tbilis. Mat. Inst. Razmadze 82, 142-146 (1986). MSC: 42B05 42C30 PDFBibTeX XMLCite \textit{Sh. V. Kheladze}, Proc. A. Razmadze Math. Inst. 82, 142--146 (1986; Zbl 0641.42016)
Guo, Benyu; Chen, Suiyang On nonlinear reaction-diffusion difference equation. (English) Zbl 0641.35036 Northeast. Math. J. 2, 431-448 (1986). Reviewer: H.Kitada MSC: 35K60 35B40 35B50 35K57 PDFBibTeX XMLCite \textit{B. Guo} and \textit{S. Chen}, Northeast. Math. J. 2, 431--448 (1986; Zbl 0641.35036)
Corbett, J. V. Holomorphic representations of SL(2,\({\mathbb{R}})\) and quantum scattering theory. (English) Zbl 0641.22007 Operator theory and partial differential equations, Miniconf. Ryde/Aust. 1986, Proc. Cent. Math. Anal. Aust. Natl. Univ. 14, 128-141 (1986). Reviewer: W.Schempp MSC: 22E70 81T60 35L05 81Q05 PDFBibTeX XML
Cherlin, G.; Lachlan, A. H. Stable finitely homogeneous structures. (English) Zbl 0641.03022 Trans. Am. Math. Soc. 296, 815-850 (1986). MSC: 03C10 20B99 PDFBibTeX XMLCite \textit{G. Cherlin} and \textit{A. H. Lachlan}, Trans. Am. Math. Soc. 296, 815--850 (1986; Zbl 0641.03022) Full Text: DOI
Zarnadze, D. N. Homomorphisms of locally convex spaces and their conjugate mappings. (Russian) Zbl 0639.46006 Tr., Inst. Vychisl. Mat. Im. N. I. Muskhelishvili 26, No. 1, 65-75 (1986). Reviewer: A.Haimovici MSC: 46A20 46A30 47A05 46A03 PDFBibTeX XMLCite \textit{D. N. Zarnadze}, Inst. Vychisl. Mat. Im. N. I. Muskhelishvili, Tr. 26, No. 1, 65--75 (1986; Zbl 0639.46006)
Babarsky, Richard; Wood, Houston G. On the eigenvalue problem for a certain non-self-adjoint operator. (English) Zbl 0639.35058 Stud. Appl. Math. 75, 249-264 (1986). Reviewer: C.Horgan MSC: 35P10 76U05 35G05 76N15 35Q99 PDFBibTeX XMLCite \textit{R. Babarsky} and \textit{H. G. Wood}, Stud. Appl. Math. 75, 249--264 (1986; Zbl 0639.35058) Full Text: DOI
Rutkas, A. G. Characteristic function and model of a linear pencil of operators. (Russian) Zbl 0638.47013 Teor. Funkts., Funkts. Anal. Prilozh. 45, 98-111 (1986). Reviewer: M.Putinar MSC: 47A56 47B50 47A45 47A68 PDFBibTeX XMLCite \textit{A. G. Rutkas}, Teor. Funkts. Funkts. Anal. Prilozh. 45, 98--111 (1986; Zbl 0638.47013)
Sedletskij, A. M. The Müntz-Szász problem. (English. Russian original) Zbl 0638.42013 Math. Notes 39, 53-59 (1986); translation from Mat. Zametki 39, No. 1, 97-107 (1986). Reviewer: N.Bozhinov MSC: 42A65 42C30 PDFBibTeX XMLCite \textit{A. M. Sedletskij}, Math. Notes 39, 53--59 (1986; Zbl 0638.42013); translation from Mat. Zametki 39, No. 1, 97--107 (1986) Full Text: DOI
Starchenko, S. S. The number of the models of complete Horn theories of finite depth. (English. Russian original) Zbl 0638.03031 Algebra Logic 25, 219-228 (1986); translation from Algebra Logika 25, No. 3, 347-360 (1986). Reviewer: S.R.Kogalovskij MSC: 03C60 03C35 03C45 PDFBibTeX XMLCite \textit{S. S. Starchenko}, Algebra Logic 25, 219--228 (1986; Zbl 0638.03031); translation from Algebra Logika 25, No. 3, 347--360 (1986) Full Text: DOI EuDML
Nurtazin, A. T. Elimination of quantifiers and decidability problems of elementary theories. (Russian) Zbl 0638.03028 Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1986, No. 1(128), 51-54 (1986). Reviewer: S.R.Kogalovskij MSC: 03C10 03B25 PDFBibTeX XMLCite \textit{A. T. Nurtazin}, Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1986, No. 1(128), 51--54 (1986; Zbl 0638.03028)
Grabiner, Sandy The Tietze extension theorem and the open mapping theorem. (English) Zbl 0637.46004 Am. Math. Mon. 93, 190-191 (1986). Reviewer: J.S.Connor MSC: 46A30 54C20 54D15 PDFBibTeX XMLCite \textit{S. Grabiner}, Am. Math. Mon. 93, 190--191 (1986; Zbl 0637.46004) Full Text: DOI
Minzoni, A. A. On the completeness of the functions \(e^{-np(x)}\,\cos \,nx\), \(e^{- np(x)}\,\sin \,nx\) for n\(\geq 0\) and p(x) a 2\(\pi\) periodic function. (English) Zbl 0637.42016 Stud. Appl. Math. 75, 265-269 (1986). Reviewer: D.Somasundaram MSC: 42C30 PDFBibTeX XMLCite \textit{A. A. Minzoni}, Stud. Appl. Math. 75, 265--269 (1986; Zbl 0637.42016) Full Text: DOI
Krichever, I. M. Spectral theory of finite-zone nonstationary Schrödinger operators. A nonstationary Peierls model. (English. Russian original) Zbl 0637.35060 Funct. Anal. Appl. 20, 203-214 (1986); translation from Funkts. Anal. Prilozh. 20, No. 3, 42-54 (1986). Reviewer: M.A.Perelmuter MSC: 35P10 35C10 35J10 35K10 PDFBibTeX XMLCite \textit{I. M. Krichever}, Funct. Anal. Appl. 20, 203--214 (1986; Zbl 0637.35060); translation from Funkts. Anal. Prilozh. 20, No. 3, 42--54 (1986) Full Text: DOI
Khalmukhamedov, A. R. Expansions in eigenfunctions of a singular elliptic operator. (English. Russian original) Zbl 0637.35059 Differ. Equations 22, 1448-1457 (1986); translation from Differ. Uravn. 22, No. 12, 2107-2117 (1986). Reviewer: Ya.Rojtberg MSC: 35P10 35J40 PDFBibTeX XMLCite \textit{A. R. Khalmukhamedov}, Differ. Equations 22, 1448--1457 (1986; Zbl 0637.35059); translation from Differ. Uravn. 22, No. 12, 2107--2117 (1986)
van Dalen, D. Glueing of analysis models in an intuitionistic setting. (English) Zbl 0637.03059 Stud. Log. 45, 181-186 (1986). Reviewer: M.Beeson MSC: 03F50 03F55 PDFBibTeX XMLCite \textit{D. van Dalen}, Stud. Log. 45, 181--186 (1986; Zbl 0637.03059) Full Text: DOI
Winskel, Glynn A complete proof system for SCCS with modal assertions. (English) Zbl 0636.68017 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 401-419 (1986). MSC: 68Q60 03B70 68N25 68T15 03B45 PDFBibTeX XMLCite \textit{G. Winskel}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 401--419 (1986; Zbl 0636.68017)
Kudajbergenov, K. Zh. On questions of Keisler and Morley. (English. Russian original) Zbl 0636.03027 Sov. Math., Dokl. 34, 482-483 (1987); translation from Dokl. Akad. Nauk SSSR 291, 292-293 (1986). Reviewer: J.M.Plotkin MSC: 03C35 03C50 PDFBibTeX XMLCite \textit{K. Zh. Kudajbergenov}, Sov. Math., Dokl. 34, 482--483 (1986; Zbl 0636.03027); translation from Dokl. Akad. Nauk SSSR 291, 292--293 (1986)
Byrd, Michael Boundary logics. (English) Zbl 0636.03009 Rep. Math. Logic 20, 39-62 (1986). MSC: 03B45 PDFBibTeX XMLCite \textit{M. Byrd}, Rep. Math. Logic 20, 39--62 (1986; Zbl 0636.03009)
Dywan, Zdzisław A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: “The connective of necessity of modal logic \(S_ 5\) is metalogical”. (English) Zbl 0636.03006 Notre Dame J. Formal Logic 27, 551-555 (1986). MSC: 03B45 03B05 PDFBibTeX XMLCite \textit{Z. Dywan}, Notre Dame J. Formal Logic 27, 551--555 (1986; Zbl 0636.03006) Full Text: DOI
Gavish, Bezalel; Segev, Arie Set query optimization in distributed database systems. (English) Zbl 0635.68121 ACM Trans. Database Syst. 11, 265-293 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{B. Gavish} and \textit{A. Segev}, ACM Trans. Database Syst. 11, 265--293 (1986; Zbl 0635.68121) Full Text: DOI
Dömosi, Pál On complete systems of automata. (English) Zbl 0635.68048 Dep. Math., Karl Marx Univ. Econ., Budapest 1986-4, 87-95 (1986). Reviewer: K.-D.Kiermeier MSC: 68Q70 20M35 PDFBibTeX XML
Lyubarskij, Yu. I. On the completeness and minimality of Rayleigh systems. (English. Russian original) Zbl 0635.42029 Russ. Math. Surv. 41, No. 4, 179-180 (1986); translation from Usp. Mat. Nauk 41, No. 4(250), 213-214 (1986). Reviewer: T.Šalát MSC: 42C30 PDFBibTeX XMLCite \textit{Yu. I. Lyubarskij}, Russ. Math. Surv. 41, No. 4, 179--180 (1986; Zbl 0635.42029); translation from Usp. Mat. Nauk 41, No. 4(250), 213--214 (1986) Full Text: DOI
Yukami, Tsuyoshi On Kreisel’s conjecture. (Japanese) Zbl 0635.03055 Sûgaku 38, 30-38 (1986). Reviewer: M.Yasuhara MSC: 03F30 03F07 PDFBibTeX XMLCite \textit{T. Yukami}, Sūgaku 38, 30--38 (1986; Zbl 0635.03055)
Rautenberg, Wolfgang Applications of weak Kripke semantics to intermediate consequences. (English) Zbl 0635.03020 Stud. Log. 45, 119-134 (1986). Reviewer: T.Hosoi MSC: 03B55 PDFBibTeX XMLCite \textit{W. Rautenberg}, Stud. Log. 45, 119--134 (1986; Zbl 0635.03020) Full Text: DOI
Cresswell, M. J. Some unsolved problems in modal logic. (English) Zbl 0635.03011 Rep. Math. Logic 20, 101 (1986). Reviewer: M.J.Cresswell MSC: 03B45 PDFBibTeX XMLCite \textit{M. J. Cresswell}, Rep. Math. Logic 20, 101 (1986; Zbl 0635.03011)
Akopyan, G. S.; Karakhanyan, M. I. On some spectral properties of normal operators in Banach space. (Russian) Zbl 0634.47020 Uch. Zap. Erevan. Gos. Univ., Estestv. Nauki 1986, No. 3(163), 3-10 (1986). Reviewer: T.Ando MSC: 47B15 42A65 PDFBibTeX XMLCite \textit{G. S. Akopyan} and \textit{M. I. Karakhanyan}, Uch. Zap. Erevan. Gos. Univ., Estestv. Nauki 1986, No. 3(163), 3--10 (1986; Zbl 0634.47020)
Cialdea, Alberto Completeness theorems for higher order elliptic equations in two variables in domains with corners. (Italian. English summary) Zbl 0634.35020 Rend. Circ. Mat. Palermo, II. Ser. 35, 32-49 (1986). Reviewer: A.Bove MSC: 35J30 35A35 PDFBibTeX XMLCite \textit{A. Cialdea}, Rend. Circ. Mat. Palermo (2) 35, 32--49 (1986; Zbl 0634.35020) Full Text: DOI
Michaux, C. About quantifier elimination in differential rings. (English) Zbl 0634.03028 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 86, 152-167 (1986). MSC: 03C60 12H05 03C10 12H20 12L12 13N05 PDFBibTeX XMLCite \textit{C. Michaux}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 86, 152--167 (1986; Zbl 0634.03028)
Kolyada, K. V. On completeness of monotone regular mappings. (Russian) Zbl 0633.68050 Metody Diskretn. Anal. 43, 47-63 (1986). Reviewer: V.V.Gorlov MSC: 68Q45 08A40 PDFBibTeX XMLCite \textit{K. V. Kolyada}, Metody Diskretn. Anal. 43, 47--63 (1986; Zbl 0633.68050)
Van Praag, Paul Remarques sur l’élimination linéaire dans les corps gauches et le déterminant de Dieudonné. (French) Zbl 0633.03027 Bull. Soc. Math. Belg., Sér. A 38, 389-395 (1986). Reviewer: J.D.Dixon MSC: 03C60 16Kxx 03C10 PDFBibTeX XMLCite \textit{P. Van Praag}, Bull. Soc. Math. Belg., Sér. A 38, 389--395 (1986; Zbl 0633.03027)
Fuchino, Sakaé On the categoricity theorem in \(L_{\omega _ 1\omega}\). (English) Zbl 0633.03021 Tsukuba J. Math. 10, 117-120 (1986). MSC: 03C35 03C70 PDFBibTeX XMLCite \textit{S. Fuchino}, Tsukuba J. Math. 10, 117--120 (1986; Zbl 0633.03021) Full Text: DOI
Cherlin, Gregory Aspects of \(\aleph _ 0\)-categoricity. (English) Zbl 0633.03020 Logic, methodology and philosophy of science VII, Proc. 7th Int. Congr., Salzburg 1983, Stud. Logic Found. Math. 114, 99-114 (1986). Reviewer: J.Flum MSC: 03C35 03C15 03C10 03C45 PDFBibTeX XML
Rose, Alan A relationship between ordinary functional completeness and a generalisation of the concept. (English) Zbl 0633.03010 Z. Math. Logik Grundlagen Math. 32, 323-330 (1986). Reviewer: A.Hoogewijs MSC: 03B50 94C10 PDFBibTeX XMLCite \textit{A. Rose}, Z. Math. Logik Grundlagen Math. 32, 323--330 (1986; Zbl 0633.03010) Full Text: DOI
Mircheva, Marion Sarcis A characteristic model for some tabular many-valued logics. (English) Zbl 0633.03009 Bull. Sect. Logic, Pol. Acad. Sci. 15, 159-163 (1986). Reviewer: I.D’Ottaviano MSC: 03B50 PDFBibTeX XMLCite \textit{M. S. Mircheva}, Bull. Sect. Logic, Pol. Acad. Sci. 15, 159--163 (1986; Zbl 0633.03009)
Hu, Shigeng Some results of multivalued linear operators. (Chinese. English summary) Zbl 0632.46004 J., Huazhong (Cent. China) Univ. Sci. Technol. 14, 429-433 (1986). MSC: 46A30 PDFBibTeX XML
Wang, Yanting C(\({\mathcal I})\) spaces and closed graph theorem. (Chinese) Zbl 0632.46003 Acta Math. Sin. 29, 193-194 (1986). Reviewer: Ding Guanggui MSC: 46A30 46A08 PDFBibTeX XMLCite \textit{Y. Wang}, Acta Math. Sin. 29, 193--194 (1986; Zbl 0632.46003)
Nasibov, F. G. Description of the cancellar of a class of integral functions of finite semi-power and some applications. (English. Russian original) Zbl 0632.30033 Sov. Math. 30, No. 2, 36-42 (1986); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1986, No. 2(285), 29-33 (1986). Reviewer: J.Lyubarskij MSC: 30D20 42A65 30E10 PDFBibTeX XMLCite \textit{F. G. Nasibov}, Sov. Math. 30, No. 2, 36--42 (1986; Zbl 0632.30033); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1986, No. 2(285), 29--33 (1986)
Kapustin, N. Yu. Questions of convergence of spectral expansions in eigen- and adjoint functions of a parabolic operator. (Russian) Zbl 0631.35070 Differ. Uravn. 22, No. 9, 1616-1618 (1986). Reviewer: G.Popov MSC: 35P10 35J15 PDFBibTeX XMLCite \textit{N. Yu. Kapustin}, Differ. Uravn. 22, No. 9, 1616--1618 (1986; Zbl 0631.35070)
Weispfenning, Volker Quantifier eliminable ordered Abelian groups. (English) Zbl 0631.06010 Algebras and order, Proc. 1st Int. Symp., Luminy-Marseilles/France 1984, Res. Expo. Math. 14, 113-126 (1986). Reviewer: G.Fuhrken MSC: 06F20 03C10 20A15 20F60 PDFBibTeX XML
van den Dries, Lou The field of reals with a predicate for the powers of two. (English) Zbl 0631.03020 Manuscr. Math. 54, 187-195 (1986). Reviewer: Ş.A.Basarab MSC: 03C60 12L12 12J15 03C10 03C65 PDFBibTeX XMLCite \textit{L. van den Dries}, Manuscr. Math. 54, 187--195 (1986; Zbl 0631.03020) Full Text: DOI EuDML
Millar, Terrence Recursive categoricity and persistence. (English) Zbl 0631.03018 J. Symb. Log. 51, 430-434 (1986). Reviewer: R.Downey MSC: 03C57 03C35 PDFBibTeX XMLCite \textit{T. Millar}, J. Symb. Log. 51, 430--434 (1986; Zbl 0631.03018) Full Text: DOI
Wagner, Klaus W. More complicated questions about maxima and minima, and some closures of NP. (English) Zbl 0629.68049 Automata, languages and programming, Proc. 13th Int. Colloq., Rennes/France 1986, Lect. Notes Comput. Sci. 226, 434-443 (1986). Reviewer: D.Maier MSC: 68Q25 PDFBibTeX XML
Morávek, J. Linear proofs in the non-negative cone. (English) Zbl 0629.68044 Theory of algorithms, Colloq. Pécs/Hung. 1984, Colloq. Math. Soc. János Bolyai 44, 339-352 (1986). Reviewer: D.Maier MSC: 68Q25 15A39 68R10 PDFBibTeX XML
Mohan, Chilukuri K.; Srivas, Mandayam K. Function definitions in term rewriting and applicative programming. (English) Zbl 0629.68033 Inf. Control 71, 186-217 (1986). MSC: 68Q65 68N01 PDFBibTeX XMLCite \textit{C. K. Mohan} and \textit{M. K. Srivas}, Inf. Control 71, 186--217 (1986; Zbl 0629.68033) Full Text: DOI
Holá, Ľubica; Maličký, Peter Continuous linear selectors of linear relations. (English) Zbl 0629.46005 Acta Math. Univ. Comenianae 48-49, 153-157 (1986). MSC: 46A30 PDFBibTeX XMLCite \textit{Ľ. Holá} and \textit{P. Maličký}, Acta Math. Univ. Comenianae 48--49, 153--157 (1986; Zbl 0629.46005)
Kuznetsov, S. A. On fully complete and \(B_ r\)-complete locally convex spaces in terms of the natural topology. (Russian) Zbl 0629.46004 Teor. Funkts., Funkts. Anal. Prilozh. 46, 39-48 (1986). Reviewer: J.H.Webb MSC: 46A30 46A13 46A11 46A08 PDFBibTeX XMLCite \textit{S. A. Kuznetsov}, Teor. Funkts. Funkts. Anal. Prilozh. 46, 39--48 (1986; Zbl 0629.46004)
Makin, R. S. On the spectrum of multigroup diffusion approximation of the neutron transport equation. (Russian) Zbl 0629.35096 Differ. Uravn. 22, No. 9, 1623-1626 (1986). Reviewer: V.Chulaevsky MSC: 35P10 35K10 PDFBibTeX XMLCite \textit{R. S. Makin}, Differ. Uravn. 22, No. 9, 1623--1626 (1986; Zbl 0629.35096)
Shoniya, Z. V. On summability by Riesz means of spectral expansions in eigenfunctions of the Schrödinger operator. (English. Russian original) Zbl 0629.35095 Sov. Math., Dokl. 33, 732-735 (1986); translation from Dokl. Akad. Nauk SSSR 288, 563-566 (1986). Reviewer: M.A.Perelmuter MSC: 35P10 35J10 PDFBibTeX XMLCite \textit{Z. V. Shoniya}, Sov. Math., Dokl. 33, 732--735 (1986; Zbl 0629.35095); translation from Dokl. Akad. Nauk SSSR 288, 563--566 (1986)
Makhmedzhanov, N. M.; Tikhomirov, V. V. On convergence of expansions in eigenfunctions and associated functions of the Schrödinger operator at a point of discontinuity of the potential. (English. Russian original) Zbl 0629.35094 Sov. Math., Dokl. 33, 716-720 (1986); translation from Dokl. Akad. Nauk SSSR 288, 547-551 (1986). Reviewer: M.A.Perelmuter MSC: 35P10 35J10 46E35 PDFBibTeX XMLCite \textit{N. M. Makhmedzhanov} and \textit{V. V. Tikhomirov}, Sov. Math., Dokl. 33, 716--720 (1986; Zbl 0629.35094); translation from Dokl. Akad. Nauk SSSR 288, 547--551 (1986)
Vzovskij, D. A. Some applications of functional-differential inequalities. (English. Russian original) Zbl 0629.34011 Ukr. Math. J. 38, 658-661 (1986); translation from Ukr. Mat. Zh. 38, No. 6, 778-781 (1986). Reviewer: D.Tiba MSC: 34A40 PDFBibTeX XMLCite \textit{D. A. Vzovskij}, Ukr. Math. J. 38, 658--661 (1986; Zbl 0629.34011); translation from Ukr. Mat. Zh. 38, No. 6, 778--781 (1986) Full Text: DOI
Weese, Martin The theory of Boolean algebras with \(Q_ 0\) and quantification over ideals. (English) Zbl 0629.03008 Z. Math. Logik Grundlagen Math. 32, 189-191 (1986). Reviewer: S.R.Kogalovskij MSC: 03C10 03B25 06E99 03C15 PDFBibTeX XMLCite \textit{M. Weese}, Z. Math. Logik Grundlagen Math. 32, 189--191 (1986; Zbl 0629.03008) Full Text: DOI
Gasymov, M. G. Spectral analysis of a class of nonselfadjoint partial differential operators with periodic coefficients. (English. Russian original) Zbl 0628.35072 Sov. Math., Dokl. 33, 695-697 (1986); translation from Dokl. Akad. Nauk SSSR 288, 528-530 (1986). Reviewer: P.Burda MSC: 35P05 35P10 35J05 PDFBibTeX XMLCite \textit{M. G. Gasymov}, Sov. Math., Dokl. 33, 695--697 (1986; Zbl 0628.35072); translation from Dokl. Akad. Nauk SSSR 288, 528--530 (1986)
Schulz, Klaus Beiträge zur Modelltheorie der Fastkörper. (Contributions to the model theory of near fields). (German) Zbl 0628.03021 Mathematische Fakultät der Eberhard-Karls-Universität Tübingen. 73 S. (1986). Reviewer: Th.Grundhöfer MSC: 03C60 12K05 12L12 03C10 03C35 03C65 03C45 03C30 03D35 12L05 PDFBibTeX XML
Strehle, Peter Bemerkungen zur funktionalen Vollständigkeit einer m-wertigen Aussagenlogik mit der Lukasiewicz’schen Implikation und Operatoren \(s_ k\). (German) Zbl 0628.03010 Unters. Logik Methodol. 3, 69-70 (1986). MSC: 03B50 PDFBibTeX XMLCite \textit{P. Strehle}, Unters. Logik Methodol. 3, 69--70 (1986; Zbl 0628.03010)
Apt, K. R.; Plotkin, G. D. Countable nondeterminism and random assignment. (English) Zbl 0627.68015 J. Assoc. Comput. Mach. 33, 724-767 (1986). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{G. D. Plotkin}, J. Assoc. Comput. Mach. 33, 724--767 (1986; Zbl 0627.68015) Full Text: DOI Link
Donth, E.; Lange, O. Orthogonal harmonic polynomials on U(2). (English) Zbl 0627.42011 Int. J. Theor. Phys. 25, 1235-1255 (1986). Reviewer: L.Gatteschi MSC: 42C05 34A45 PDFBibTeX XMLCite \textit{E. Donth} and \textit{O. Lange}, Int. J. Theor. Phys. 25, 1235--1255 (1986; Zbl 0627.42011) Full Text: DOI