Kuznetsov, O. P.; Adel’son-Vel’skii, G. M. Discrete mathematics for engineers. (English) Zbl 0788.00004 Topics in Computer Mathematics. 2. Philadelphia, PA: Gordon and Breach Science Publishers. xiv, 410 p. (1985). Reviewer: H.Alt (Berlin) MSC: 00A06 00-01 68Q05 03B05 03D05 68R10 PDFBibTeX XMLCite \textit{O. P. Kuznetsov} and \textit{G. M. Adel'son-Vel'skii}, Discrete mathematics for engineers. Philadelphia, PA: Gordon and Breach Science Publishers (1985; Zbl 0788.00004)
Mashuryan, A. S. Induction property and recursive schemes. (Russian) Zbl 0672.03033 Matematika 3, 109-120 (1985). MSC: 03D75 03D70 08A60 PDFBibTeX XMLCite \textit{A. S. Mashuryan}, Matematika 3, 109--120 (1985; Zbl 0672.03033)
Longo, G.; Martini, S. Computability in higher types and the universal domain P\(\omega\). (Italian) Zbl 0665.03036 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 501-506 (1985). Reviewer: A.Pettorossi MSC: 03D65 03D60 PDFBibTeX XML
Mansfield, Richard; Weitkamp, Galen [Simpson, S.] Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. (English) Zbl 0655.03032 Oxford Logic Guides, 11. New York: Oxford University Press; Oxford: Clarendon Press. IX, 144 p. £15.00 (1985). Reviewer: Moh Shawkwei MSC: 03E15 03D55 03D60 03-02 03E60 PDFBibTeX XML
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDFBibTeX XML
Nerode, Anil; Huang, Wenqi An application of pure recursion theory to recursive analysis. (Chinese) Zbl 0638.03058 Acta Math. Sin. 28, 625-636 (1985). MSC: 03F60 03D30 03D35 PDFBibTeX XMLCite \textit{A. Nerode} and \textit{W. Huang}, Acta Math. Sin. 28, 625--636 (1985; Zbl 0638.03058)
Goncharov, S. S.; Sviridenko, D. I. \(\Sigma\)-programming. (Russian) Zbl 0628.03015 Vychisl. Sist. 107, 3-29 (1985). Reviewer: Li Xiang MSC: 03B70 68N01 03C70 03D60 68Q65 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{D. I. Sviridenko}, Vychisl. Sist. 107, 3--29 (1985; Zbl 0628.03015)
Weitkamp, Galen On the existence and recursion theoretic properties of \(\Sigma ^ 1_ n\)-generic sets of reals. (English) Zbl 0626.03041 Z. Math. Logik Grundlagen Math. 31, 97-108 (1985). Reviewer: A.Wojciechowska MSC: 03E15 03D60 PDFBibTeX XMLCite \textit{G. Weitkamp}, Z. Math. Logik Grundlagen Math. 31, 97--108 (1985; Zbl 0626.03041) Full Text: DOI
Wainer, S. S. The “slow-growing” \(\Pi ^ 1_ 2\) approach to hierarchies. (English) Zbl 0626.03037 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 487-502 (1985). Reviewer: Moh Shawkwei MSC: 03D55 03D65 03D15 PDFBibTeX XML
Chong, C. T. Some applications of extensions of ZF set theory. (English) Zbl 0625.03032 Southeast Asian Bull. Math. 9, 53-63 (1985). Reviewer: E.Mendelson MSC: 03E35 03E05 03E50 03E45 03E55 03D60 20K99 28A05 PDFBibTeX XMLCite \textit{C. T. Chong}, Southeast Asian Bull. Math. 9, 53--63 (1985; Zbl 0625.03032)
Arslanov, M. M. m-reducibility and fixed points. (Russian) Zbl 0624.03035 Complexity problems of mathematical logic, Collect. sci. Works, Kalinin 1985, 11-18 (1985). Reviewer: A.A.Mullin MSC: 03D30 03D25 03D45 PDFBibTeX XML
Griffor, E. R. Definability and forcing in E-recursion. (English) Zbl 0623.03046 Math. Scand. 57, 5-28 (1985). Reviewer: D.Normann MSC: 03D60 03D65 PDFBibTeX XMLCite \textit{E. R. Griffor}, Math. Scand. 57, 5--28 (1985; Zbl 0623.03046) Full Text: DOI EuDML
Biryukov, B. V. The heat of cold numbers and pathos of passionless logic. Formalization of thinking from antiquity until the age of cybernetics. (Zhar kholodnykh chisl i pafos besstrastnoj logiki. Formalizatsiya myshleniya ot antichnykh vremen do ehpokhi kibernetiki). 2nd ed., rev. and compl. (Russian) Zbl 0623.03004 Nauki i Progress. Moskva: Izdatel’stvo ”Znanie”. 192 p. R. 0.35 (1985). Reviewer: B.R.Boričić MSC: 03-03 03-01 68-03 03D20 PDFBibTeX XML
Kučera, Antonín Measure, \(\Pi ^ 0_ 1\)-classes and complete extensions of PA. (English) Zbl 0622.03031 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 245-259 (1985). MSC: 03D30 03F30 PDFBibTeX XML
Nikiforova, E. G. On a method for the construction of numerations. (Russian) Zbl 0621.03032 Vychisl. Sist. 107, 80-95 (1985). Reviewer: G.Mints MSC: 03D55 PDFBibTeX XMLCite \textit{E. G. Nikiforova}, Vychisl. Sist. 107, 80--95 (1985; Zbl 0621.03032)
Ambos-Spies, Klaus Cupping and noncapping in the r.e. weak truth table and Turing degrees. (English) Zbl 0619.03032 Arch. Math. Logik Grundlagenforsch. 25, 109-126 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{K. Ambos-Spies}, Arch. Math. Logik Grundlagenforsch. 25, 109--126 (1985; Zbl 0619.03032) Full Text: DOI EuDML
Jockusch, Carl G. jun.; Shore, Richard A. REA operators, r. e. degrees and minimal covers. (English) Zbl 0619.03031 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 3-11 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XML
Arslanov, M. M. Effectively immune, effectively hyperimmune sets and their degrees of undecidability. (Russian) Zbl 0619.03030 Veroyatn. Metody Kibern. 21, 11-36 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{M. M. Arslanov}, Veroyatn. Metody Kibern. 21, 11--36 (1985; Zbl 0619.03030) Full Text: EuDML
Kushner, B. A. Differentiability and uniform continuity of constructive functions. (English. Russian original) Zbl 0618.03031 Sov. Math., Dokl. 31, 433-435 (1985); translation from Dokl. Akad. Nauk SSSR 281, 1314-1316 (1985). MSC: 03F60 26A15 26A24 PDFBibTeX XMLCite \textit{B. A. Kushner}, Sov. Math., Dokl. 31, 433--435 (1985; Zbl 0618.03031); translation from Dokl. Akad. Nauk SSSR 281, 1314--1316 (1985)
Shinoda, Juichi Absolute type 2 objects. (English) Zbl 0618.03021 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 343-356 (1985). MSC: 03D60 PDFBibTeX XML
Shinoda, Juichi Countable \(J^ S_ a\)-admissible ordinals. (English) Zbl 0618.03020 Nagoya Math. J. 99, 1-10 (1985). MSC: 03D60 PDFBibTeX XMLCite \textit{J. Shinoda}, Nagoya Math. J. 99, 1--10 (1985; Zbl 0618.03020) Full Text: DOI
Pedersen, John The word problem in absorbing varieties. (English) Zbl 0617.03023 Houston J. Math. 11, 575-590 (1985). MSC: 03D40 08A50 PDFBibTeX XMLCite \textit{J. Pedersen}, Houston J. Math. 11, 575--590 (1985; Zbl 0617.03023)
Spreen, Heinz-Dieter Rekursionstheorie auf Teilmengen partieller Funktionen. (German) Zbl 0616.03026 Mathematisch-Naturwissenschaftliche Fakultät der Rheinisch- Westfälischen Technischen Hochschule Aachen. 194 S. (1985). Reviewer: M.M.Richter MSC: 03D75 03D65 PDFBibTeX XML
Mycielski, Jan What is a mathematical theory? (English) Zbl 0616.03017 Rev. Colomb. Mat. 19, 173-176 (1985). MSC: 03B99 03D99 PDFBibTeX XMLCite \textit{J. Mycielski}, Rev. Colomb. Mat. 19, 173--176 (1985; Zbl 0616.03017) Full Text: EuDML
Ershov, Yu. L. \(\Sigma\)-predicates of finite types over an admissible set. (English. Russian original) Zbl 0615.03036 Algebra Logic 24, 327-351 (1985); translation from Algebra Logika 24, No. 5, 499-536 (1985). MSC: 03D60 03D65 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Algebra Logic 24, 327--351 (1985; Zbl 0615.03036); translation from Algebra Logika 24, No. 5, 499--536 (1985) Full Text: DOI
Ershov, Yu. L. \(\Sigma\)-definability in admissible sets. (English. Russian original) Zbl 0615.03035 Sov. Math., Dokl. 32, 767-770 (1985); translation from Dokl. Akad. Nauk SSSR 285, 792-795 (1985). MSC: 03C70 03B70 03D60 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Sov. Math., Dokl. 32, 767--770 (1985; Zbl 0615.03035); translation from Dokl. Akad. Nauk SSSR 285, 792--795 (1985)
Mal’tsev, An. A. Structure of the semilattice of tt1-degrees. (English. Russian original) Zbl 0615.03032 Sib. Math. J. 26, 264-270 (1985); translation from Sib. Mat. Zh. 26, No. 2(150), 132-139 (1985). Reviewer: C.Calude MSC: 03D30 03D45 PDFBibTeX XMLCite \textit{An. A. Mal'tsev}, Sib. Math. J. 26, 264--270 (1985; Zbl 0615.03032); translation from Sib. Mat. Zh. 26, No. 2(150), 132--139 (1985) Full Text: DOI
McEvoy, Kevin; Cooper, S. Barry On minimal pairs of enumeration degrees. (English) Zbl 0615.03031 J. Symb. Log. 50, 983-1001 (1985). Reviewer: C.Calude MSC: 03D30 PDFBibTeX XMLCite \textit{K. McEvoy} and \textit{S. B. Cooper}, J. Symb. Log. 50, 983--1001 (1985; Zbl 0615.03031) Full Text: DOI
Dichev, A. V. D. Skordev’s hypothesis. (English) Zbl 0614.03047 Algebra Logic 24, 245-253 (1985). MSC: 03D75 03D45 PDFBibTeX XMLCite \textit{A. V. Dichev}, Algebra Logic 24, 245--253 (1985; Zbl 0614.03047) Full Text: DOI
Madlener, K.; Otto, F. Derivation-bounded groups. (English) Zbl 0614.03041 Rev. Colomb. Mat. 19, 131-161 (1985). Reviewer: O.V.Belegradek MSC: 03D40 20F10 03D20 PDFBibTeX XMLCite \textit{K. Madlener} and \textit{F. Otto}, Rev. Colomb. Mat. 19, 131--161 (1985; Zbl 0614.03041) Full Text: EuDML
Berarducci, Alessandro A generalization of the recursive Gödel functionals. (Italian) Zbl 0614.03017 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 467-476 (1985). MSC: 03B40 03D99 68Q65 PDFBibTeX XML
Bokut’, L. A. A remark on the Borisov-Boone group. (English) Zbl 0613.20021 Sib. Math. J. 26, 661-664 (1985). MSC: 20F10 20F05 03D40 PDFBibTeX XMLCite \textit{L. A. Bokut'}, Sib. Math. J. 26, 661--664 (1985; Zbl 0613.20021) Full Text: DOI
Rauzy, G. Mots infinis en arithmétique. (Infinite words in arithmetic). (French) Zbl 0613.10044 Automata on infinite words, Ec. Printemps Inf. Théor., Le Mont Dore 1984, Lect. Notes Comput. Sci. 192, 165-171 (1985). Reviewer: F.Schweiger MSC: 11B99 94B99 03D40 PDFBibTeX XML
Landau, Gad M.; Yung, Mordechai M.; Galil, Zvi Distributed algorithms in synchronous broadcasting networks. (English) Zbl 0612.68006 Automata, languages and programming, 12th Colloq., Nafplion/Greece 1985, Lect. Notes Comput. Sci. 194, 363-372 (1985). Reviewer: J.Just MSC: 68N99 68W99 68Q25 03D60 68P10 68U20 94A05 PDFBibTeX XML
Di Paola, Robert Creativity and effective inseparability in dominical categories. (English) Zbl 0612.03020 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 477-478 (1985). MSC: 03D75 03G30 18A15 PDFBibTeX XML
Muchnik, An. A. On the basic structures of the descriptive theory of algorithms. (English. Russian original) Zbl 0609.03017 Sov. Math., Dokl. 32, 671-674 (1985); translation from Dokl. Akad. Nauk SSSR 285, 280-283 (1985). Reviewer: S.P.Yukna MSC: 03D99 68W99 03D60 91A80 PDFBibTeX XMLCite \textit{An. A. Muchnik}, Sov. Math., Dokl. 32, 671--674 (1985; Zbl 0609.03017); translation from Dokl. Akad. Nauk SSSR 285, 280--283 (1985)
Ko, Ker-I Continuous optimization problems and a polynomial hierarchy of real functions. (English) Zbl 0609.03015 J. Complexity 1, 210-231 (1985). MSC: 03D15 03F60 03D60 68Q25 PDFBibTeX XMLCite \textit{K.-I Ko}, J. Complexity 1, 210--231 (1985; Zbl 0609.03015) Full Text: DOI
Habasiński, Z. Model theory of propositional logics of programs. Some open problems. (English) Zbl 0609.03008 Computation theory, Proc. 5th Symp., Zaborów/Pol. 1984, Lect. Notes Comput. Sci. 208, 98-110 (1985). Reviewer: A.Kreczmar MSC: 03B70 68Q60 68Q25 03D60 03C13 PDFBibTeX XML
Lerman, M. Upper bounds for the arithmetical degrees. (English) Zbl 0608.03014 Ann. Pure Appl. Logic 29, 225-254 (1985). MSC: 03D30 PDFBibTeX XMLCite \textit{M. Lerman}, Ann. Pure Appl. Logic 29, 225--254 (1985; Zbl 0608.03014) Full Text: DOI
Revin, O. M.; Tsivlin, Ya. V. Functions realizable by one-dimensional iterative systems. (English. Russian original) Zbl 0607.68062 Cybernetics 21, 315-319 (1985); translation from Kibernetika 1985, No. 3, 34-36, 40 (1985). MSC: 68Q45 03D60 03D20 PDFBibTeX XMLCite \textit{O. M. Revin} and \textit{Ya. V. Tsivlin}, Cybernetics 21, 315--319 (1985; Zbl 0607.68062); translation from Kibernetika 1985, No. 3, 34--36, 40 (1985) Full Text: DOI
Rosolini, Giuseppe Domains and dominical categories. (English) Zbl 0606.03011 Riv. Mat. Univ. Parma, IV. Ser. 11, 387-397 (1985). MSC: 03D75 18D35 18B25 PDFBibTeX XMLCite \textit{G. Rosolini}, Riv. Mat. Univ. Parma, IV. Ser. 11, 387--397 (1985; Zbl 0606.03011)
Odifreddi, Piergiorgio The structure of m-degrees. (English) Zbl 0605.03019 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 315-332 (1985). Reviewer: C.Calude MSC: 03D30 PDFBibTeX XML
Berstel, Jean Some recent results on squarefree words. (English) Zbl 0605.03015 Publ. Dép. Math., Nouv. Sér., Univ. Claude Bernard, Lyon 2/B, 21-36 (1985). Reviewer: F.Pertrescu MSC: 03D03 03D40 20M05 20F10 PDFBibTeX XMLCite \textit{J. Berstel}, Publ. Dép. Math., Nouv. Sér., Univ. Claude Bernard, Lyon 2/B, 21--36 (1985; Zbl 0605.03015)
Amir, Amihood; Choueka, Yaacov A syntactical definition of the \({\mathcal P}=?{\mathcal N}{\mathcal P}\) problem. (English) Zbl 0604.68052 Int. J. Comput. Math. 17, 217-228 (1985). MSC: 68Q25 03D15 03D60 PDFBibTeX XMLCite \textit{A. Amir} and \textit{Y. Choueka}, Int. J. Comput. Math. 17, 217--228 (1985; Zbl 0604.68052) Full Text: DOI
Clote, Peter Optimal bounds for ordinal comparison maps. (English) Zbl 0602.03011 Arch. Math. Logik Grundlagenforsch. 25, 99-107 (1985). MSC: 03D55 03D30 03E10 03E15 PDFBibTeX XMLCite \textit{P. Clote}, Arch. Math. Logik Grundlagenforsch. 25, 99--107 (1985; Zbl 0602.03011) Full Text: DOI EuDML
Degtev, A. N. Semilattices of disjunctive and linear degrees. (English. Russian original) Zbl 0602.03009 Math. Notes 38, 681-684 (1985); translation from Mat. Zametki 38, No. 2, 310-316 (1985). Reviewer: P.Clote MSC: 03D30 PDFBibTeX XMLCite \textit{A. N. Degtev}, Math. Notes 38, 681--684 (1985; Zbl 0602.03009); translation from Mat. Zametki 38, No. 2, 310--316 (1985) Full Text: DOI
Kuz’mina, T. M. On a generalized upper bound. (English. Russian original) Zbl 0599.03047 Sov. Math. 29, No. 9, 95-98 (1985); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1985, No. 9(280), 69-70 (1985). Reviewer: R.Murawski MSC: 03D30 PDFBibTeX XMLCite \textit{T. M. Kuz'mina}, Sov. Math. 29, No. 9, 95--98 (1985; Zbl 0599.03047); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1985, No. 9(280), 69--70 (1985)
Joseph, Deborah; Young, Paul Some remarks on witness functions for nonpolynomial and noncomplete sets in NP. (English) Zbl 0597.68042 Theor. Comput. Sci. 39, 225-237 (1985). MSC: 68Q25 03D60 03D15 PDFBibTeX XMLCite \textit{D. Joseph} and \textit{P. Young}, Theor. Comput. Sci. 39, 225--237 (1985; Zbl 0597.68042) Full Text: DOI Link
Lin, Yucai The decision problems for properties of transformation groups. (English) Zbl 0597.20028 J. Math. Res. Expo. 5, No. 4, 97-100 (1985). Reviewer: O.V.Belegradek MSC: 20F10 03D20 20F05 03D40 PDFBibTeX XMLCite \textit{Y. Lin}, J. Math. Res. Expo. 5, No. 4, 97--100 (1985; Zbl 0597.20028)
Grigorchuk, R. I. A connection between algorithmic problems and entropy characteristics of groups. (English. Russian original) Zbl 0596.20022 Sov. Math., Dokl. 32, 355-360 (1985); translation from Dokl. Akad. Nauk SSSR 284, 24-29 (1985). Reviewer: G.A.Noskov MSC: 20F10 03D40 68Q25 20F05 PDFBibTeX XMLCite \textit{R. I. Grigorchuk}, Sov. Math., Dokl. 32, 355--360 (1985; Zbl 0596.20022); translation from Dokl. Akad. Nauk SSSR 284, 24--29 (1985)
Nerode, A.; Remmel, J. B. Generic objects in recursion theory. (English) Zbl 0596.03050 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 271-314 (1985). Reviewer: C.Calude MSC: 03D75 PDFBibTeX XML
Chong, C. T. Recursion theory on strongly \(\Sigma _ 2\) inadmissible ordinals. (English) Zbl 0596.03049 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 49-64 (1985). Reviewer: C.Calude MSC: 03D75 03D60 PDFBibTeX XML
Ash, C. J.; Goncharov, S. S. Strong \(\Delta ^ 0_ 2\) categoricity. (English) Zbl 0596.03043 Algebra Logic 24, 471-476 (1985); and Algebra Logika 24, No. 6, 718-727 (1985). MSC: 03D45 03D25 03C57 03D55 PDFBibTeX XMLCite \textit{C. J. Ash} and \textit{S. S. Goncharov}, Algebra Logic 24, 471--476 (1985; Zbl 0596.03043) Full Text: DOI EuDML
Arslanov, M. M. Lattice properties of degrees below O’. (English. Russian original) Zbl 0596.03040 Sov. Math., Dokl. 32, 58-62 (1985); translation from Dokl. Akad. Nauk SSSR 283, 270-273 (1985). Reviewer: R.Downey MSC: 03D30 03D25 06B99 PDFBibTeX XMLCite \textit{M. M. Arslanov}, Sov. Math., Dokl. 32, 58--62 (1985; Zbl 0596.03040); translation from Dokl. Akad. Nauk SSSR 283, 270--273 (1985)
McEvoy, Kevin Jumps of quasi-minimal enumeration degrees. (English) Zbl 0595.03043 J. Symb. Log. 50, 839-848 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{K. McEvoy}, J. Symb. Log. 50, 839--848 (1985; Zbl 0595.03043) Full Text: DOI
Mahaney, Stephen R.; Young, Paul Reductions among polynomial isomorphism types. (English) Zbl 0595.03042 Theor. Comput. Sci. 39, 207-224 (1985). MSC: 03D30 03D15 03D25 68Q25 PDFBibTeX XMLCite \textit{S. R. Mahaney} and \textit{P. Young}, Theor. Comput. Sci. 39, 207--224 (1985; Zbl 0595.03042) Full Text: DOI
Shen, Baiying Some simpler equation systems and the word problem for the conical BCK- algebras. (Chinese. English summary) Zbl 0594.03053 J. Nanjing Univ., Math. Biq. 2, 227-234 (1985). MSC: 03G25 06F99 03D40 PDFBibTeX XMLCite \textit{B. Shen}, J. Nanjing Univ., Math. Biq. 2, 227--234 (1985; Zbl 0594.03053)
Louveau, Alain Recursivity and capacity theory. (English) Zbl 0594.03027 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 285-301 (1985). Reviewer: C.Calude MSC: 03D80 28A12 PDFBibTeX XML
Fejer, Peter A.; Shore, Richard A. Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees. (English) Zbl 0594.03025 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 121-140 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D30 03D25 PDFBibTeX XML
Jockusch, Carl G. jun. Genericity for recursively enumerable sets. (English) Zbl 0594.03024 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 203-232 (1985). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 03D30 PDFBibTeX XML
Buj, D. B.; Red’ko, V. N. Primitive program algebras. II. (English. Russian original) Zbl 0593.03025 Cybernetics 21, 33-40 (1985); translation from Kibernetika 1985, No. 1, 28-33 (1985). Reviewer: J.Zlatuška MSC: 03D75 03D60 03D20 PDFBibTeX XMLCite \textit{D. B. Buj} and \textit{V. N. Red'ko}, Cybernetics 21, 33--40 (1985; Zbl 0593.03025); translation from Kibernetika 1985, No. 1, 28--33 (1985) Full Text: DOI
Pan, Luquan On reduced Thue systems. (English) Zbl 0593.03022 Math. Syst. Theory 18, 145-151 (1985). Reviewer: S.P.Yukna MSC: 03D03 03D35 03D40 PDFBibTeX XMLCite \textit{L. Pan}, Math. Syst. Theory 18, 145--151 (1985; Zbl 0593.03022) Full Text: DOI
Börger, Egon Rödding, Dieter (ed.) Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Hrsg. von Dieter Rödding. (German) Zbl 0593.03001 Braunschweig - Wiesbaden: Friedr. Vieweg & Sohn. XVII, 469 S. DM 64.00 (1985). Reviewer: Phan Dinh Diêu MSC: 03-01 03-02 03Dxx 03D15 03B10 68W99 03D05 03F05 03D55 03D20 03D30 03D35 68Q45 PDFBibTeX XML
Botusharov, Ognyan I. On inductive inference with additional information. (English) Zbl 0592.03034 Mathematics and education in mathematics, Proc. 14th Spring Conf., Sunny Beach/Bulg. 1985, 330-335 (1985). MSC: 03D80 03D20 PDFBibTeX XML
Rosolini, Giuseppe Domains and dominical categories. (Italian) Zbl 0592.03033 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 627-630 (1985). MSC: 03D75 03G30 18A15 PDFBibTeX XML
Heller, Alex Dominical categories and recursion theory. (English) Zbl 0592.03032 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 339-344 (1985). MSC: 03D75 03G30 18B40 03D45 18A15 PDFBibTeX XML
Madlener, Klaus; Otto, Friedrich Pseudo-natural algorithms for the word problem for finitely presented monoids and groups. (English) Zbl 0591.20038 J. Symb. Comput. 1, No. 4, 383-418 (1985). Reviewer: V.A.Roman’kov MSC: 20F10 20M05 20F05 68Q25 03D40 03D15 PDFBibTeX XMLCite \textit{K. Madlener} and \textit{F. Otto}, J. Symb. Comput. 1, 383--418 (1985; Zbl 0591.20038) Full Text: DOI
Domanski, B.; Anshel, M. The complexity of Dehn’s algorithm for word problems in groups. (English) Zbl 0591.20037 J. Algorithms 6, 543-549 (1985). Reviewer: L.A.Bokut’ MSC: 20F10 03D15 03D40 PDFBibTeX XMLCite \textit{B. Domanski} and \textit{M. Anshel}, J. Algorithms 6, 543--549 (1985; Zbl 0591.20037) Full Text: DOI
Selivanov, V. L. Ershov hierarchy. (English. Russian original) Zbl 0591.03025 Sib. Math. J. 26, 105-117 (1985); translation from Sib. Mat. Zh. 26, No. 1(149), 134-149 (1985). MSC: 03D55 PDFBibTeX XMLCite \textit{V. L. Selivanov}, Sib. Math. J. 26, 105--117 (1985; Zbl 0591.03025); translation from Sib. Mat. Zh. 26, No. 1(149), 134--149 (1985) Full Text: DOI
Otto, Friedrich Deciding algebraic properties of monoids presented by finite Church- Rosser Thue systems. (English) Zbl 0591.03022 Rewriting techniques and applications, 1st Int. Conf., Dijon/France 1985, Lect. Notes Comput. Sci. 202, 95-106 (1985). MSC: 03D40 20M05 03D03 PDFBibTeX XML
Thompson, Simon Axiomatic recursion theory and the continuous functionals. (English) Zbl 0589.03031 J. Symb. Log. 50, 442-450 (1985). MSC: 03D65 03D75 PDFBibTeX XMLCite \textit{S. Thompson}, J. Symb. Log. 50, 442--450 (1985; Zbl 0589.03031) Full Text: DOI
Normann, Dag Aspects of the continuous functionals. (English) Zbl 0589.03029 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 171-176 (1985). MSC: 03D65 03D30 PDFBibTeX XML
McAloon, Kenneth Paris-Harrington incompleteness and progressions of theories. (English) Zbl 0589.03028 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 447-460 (1985). Reviewer: C.Calude MSC: 03D60 03F30 03C62 PDFBibTeX XML
Kreitz, Christoph; Weihrauch, Klaus Theory of representations. (English) Zbl 0588.03031 Theor. Comput. Sci. 38, 35-53 (1985). MSC: 03D65 03D60 PDFBibTeX XMLCite \textit{C. Kreitz} and \textit{K. Weihrauch}, Theor. Comput. Sci. 38, 35--53 (1985; Zbl 0588.03031) Full Text: DOI
Weihrauch, Klaus Type 2 recursion theory. (English) Zbl 0588.03030 Theor. Comput. Sci. 38, 17-33 (1985). MSC: 03D65 03D60 PDFBibTeX XMLCite \textit{K. Weihrauch}, Theor. Comput. Sci. 38, 17--33 (1985; Zbl 0588.03030) Full Text: DOI
Dietzfelbinger, Martin; Maass, Wolfgang Strong reducibilities in \(\alpha\)- and \(\beta\)-recursion theory. (English) Zbl 0588.03029 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 89-120 (1985). MSC: 03D60 03D30 PDFBibTeX XML
Kapur, Deepak; Narendran, Paliath A finite Thue system with decidable word problem and without equivalent finite canonical system. (English) Zbl 0588.03023 Theor. Comput. Sci. 35, 337-344 (1985). Reviewer: S.P.Yukna MSC: 03D03 03D40 20M05 PDFBibTeX XMLCite \textit{D. Kapur} and \textit{P. Narendran}, Theor. Comput. Sci. 35, 337--344 (1985; Zbl 0588.03023) Full Text: DOI
Narendran, Paliath; Otto, Friedrich Complexity results on the conjugacy problem for monoids. (English) Zbl 0588.03022 Theor. Comput. Sci. 35, 227-243 (1985). Reviewer: S.P.Yukna MSC: 03D03 03D15 03D30 03D40 20M05 PDFBibTeX XMLCite \textit{P. Narendran} and \textit{F. Otto}, Theor. Comput. Sci. 35, 227--243 (1985; Zbl 0588.03022) Full Text: DOI
Lerman, Manuel On the ordering of classes in high/low hierarchies. (English) Zbl 0587.03031 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 260-270 (1985). Reviewer: G.N.Kobzev MSC: 03D30 PDFBibTeX XML
Book, Ronald V. Thue systems as rewriting systems. (English) Zbl 0587.03026 Rewriting techniques and applications, 1st Int. Conf., Dijon/France 1985, Lect. Notes Comput. Sci. 202, 63-94 (1985). Reviewer: D.Lucanu MSC: 03D03 03D40 20M05 68Q65 PDFBibTeX XML
Mal’tsev, An. A. On the structure of families of immune, hyperimmune and hyperhyperimmune sets. (English. Russian original) Zbl 0586.03035 Math. USSR, Sb. 52, 301-313 (1985); translation from Mat. Sb., Nov. Ser. 124(166), No. 3, 307-319 (1984). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{An. A. Mal'tsev}, Math. USSR, Sb. 52, 301--313 (1985; Zbl 0586.03035); translation from Mat. Sb., Nov. Ser. 124(166), No. 3, 307--319 (1984) Full Text: DOI EuDML
Casalegno, Paolo On the T-degrees of partial functions. (English) Zbl 0585.03014 J. Symb. Log. 50, 580-588 (1985). Reviewer: J.S.Ullian MSC: 03D30 PDFBibTeX XMLCite \textit{P. Casalegno}, J. Symb. Log. 50, 580--588 (1985; Zbl 0585.03014) Full Text: DOI
Welch, Philip Comparing incomparable Kleene degrees. (English) Zbl 0584.03030 J. Symb. Log. 50, 55-58 (1985). MSC: 03D30 03E15 03E35 03E60 03E65 03D65 PDFBibTeX XMLCite \textit{P. Welch}, J. Symb. Log. 50, 55--58 (1985; Zbl 0584.03030) Full Text: DOI
Szepietowski, Andrzej On Paterson’s problem. (English) Zbl 0582.68022 Elektron. Inform.-verarb. Kybernetik 21, 313-314 (1985). Reviewer: P.van Emde Boas MSC: 68Q45 03D60 PDFBibTeX XMLCite \textit{A. Szepietowski}, Elektron. Informationsverarbeitung Kybernetik 21, 313--314 (1985; Zbl 0582.68022)
Dichev, A. V. On D. Skordev’s hypothesis. (Russian) Zbl 0582.03031 Algebra Logika 24, No. 4, 379-391 (1985). Reviewer: L.L.Ivanov MSC: 03D75 03D45 PDFBibTeX XMLCite \textit{A. V. Dichev}, Algebra Logika 24, No. 4, 379--391 (1985; Zbl 0582.03031) Full Text: EuDML
Odifreddi, Piergiorgio Global properties (automorphisms and definability) of m-degrees. (Italian. English summary) Zbl 0582.03026 Boll. Unione Mat. Ital., VI. Ser., A 4, 71-76 (1985). Reviewer: C.Calude MSC: 03D30 PDFBibTeX XMLCite \textit{P. Odifreddi}, Boll. Unione Mat. Ital., VI. Ser., A 4, 71--76 (1985; Zbl 0582.03026)
Homer, Steven Minimal polynomial degrees of nonrecursive sets. (English) Zbl 0582.03023 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 193-202 (1985). Reviewer: C.Calude MSC: 03D15 03D30 03D10 PDFBibTeX XML
Sacks, Gerald E. Some open questions in recursion theory. (English) Zbl 0582.03019 Recursion theory week, Proc. Conf., Oberwolfach/Ger. 1984, Lect. Notes Math. 1141, 333-342 (1985). Reviewer: Moh Shawkwei MSC: 03Dxx 03D15 03D25 03D45 PDFBibTeX XML
Kandri-Rody, Abdelilah; Kapur, Deepak; Narendran, Paliath An ideal-theoretical approach to word problems and unification problems over finitely presented commutative algebras. (English) Zbl 0581.68039 Rewriting techniques and applications, 1st Int. Conf., Dijon/France 1985, Lect. Notes Comput. Sci. 202, 345-364 (1985). MSC: 68W30 03D40 13F20 13E15 13L05 PDFBibTeX XML
Jantzen, M. A note on a special one-rule semi-Thue system. (English) Zbl 0581.68030 Inf. Process. Lett. 21, 135-140 (1985). MSC: 68-01 68W30 03D03 03D40 PDFBibTeX XMLCite \textit{M. Jantzen}, Inf. Process. Lett. 21, 135--140 (1985; Zbl 0581.68030) Full Text: DOI
McBeth, Rod The tree structure of exponential calculations. (English) Zbl 0581.03034 SIGACT News 17, No. 1, 65-77 (1985). MSC: 03D20 03D60 PDFBibTeX XML
Bokut’, L. A. Observation on the Borisov-Boone group. (Russian) Zbl 0579.20030 Sib. Mat. Zh. 26, No. 5(153), 43-46 (1985). Reviewer: O.V.Belegradek MSC: 20F10 20F05 03D40 PDFBibTeX XMLCite \textit{L. A. Bokut'}, Sib. Mat. Zh. 26, No. 5(153), 43--46 (1985; Zbl 0579.20030) Full Text: EuDML
Simpson, Stephen G. Reverse mathematics. (English) Zbl 0578.03005 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 461-471 (1985). MSC: 03B30 03D80 03E30 03F35 PDFBibTeX XML
Glass, A. M. W. The word and isomorphism problems in universal algebra. (English) Zbl 0577.08006 Universal algebra and lattice theory, Proc. Conf., Charleston/S.C. 1984, Lect. Notes Math. 1149, 123-128 (1985). Reviewer: Y.Komori MSC: 08A50 03D40 PDFBibTeX XML
Ambos-Spies, Klaus On the relative complexity of subproblems of intractable problems. (English) Zbl 0577.03020 Theoretical aspects of computer science, 2nd ann. Symp., Saarbrücken/Ger. 1985, Lect. Notes Comput. Sci. 182, 1-12 (1985). MSC: 03D15 03D30 03D20 68Q25 PDFBibTeX XML
Päppinghaus, Peter Ptykes in Gödels T und verallgemeinerte Rekursion über Mengen und Ordinalzahlen. (German) Zbl 0576.03035 Fachbereich Mathematik der Universität Hannover. 116 S. (1985). MSC: 03F15 03D60 03G30 PDFBibTeX XML
Staiger, Ludwig Representable P. Martin-Löf tests. (English) Zbl 0576.03033 Kybernetika 21, 235-243 (1985). Reviewer: C.Calude MSC: 03D80 PDFBibTeX XMLCite \textit{L. Staiger}, Kybernetika 21, 235--243 (1985; Zbl 0576.03033) Full Text: EuDML
Dettki, Hans Joachim Untersuchungen zur Darstellungsberechenbarkeit von Ordinalzahlfunktionen. (German) Zbl 0576.03032 Fachbereich Mathematik und Informatik der Fernuniversität Hagen. 129 S. (1985). MSC: 03D65 PDFBibTeX XML
Cook, Stephen A. A taxonomy of problems with fast parallel algorithms. (English) Zbl 0575.68045 Inf. Control 64, 2-22 (1985). MSC: 68W99 68Q25 03D60 PDFBibTeX XMLCite \textit{S. A. Cook}, Inf. Control 64, 2--22 (1985; Zbl 0575.68045) Full Text: DOI
Girard, Jean-Yves; Normann, Dag Set recursion and \(\Pi ^ 1_ 2\)-logic. (English) Zbl 0575.03034 Ann. Pure Appl. Logic 28, 255-286 (1985). MSC: 03D60 03F15 PDFBibTeX XMLCite \textit{J.-Y. Girard} and \textit{D. Normann}, Ann. Pure Appl. Logic 28, 255--286 (1985; Zbl 0575.03034) Full Text: DOI