Melnikov, Alexander G.; Selivanov, Victor L.; Yamaleev, Mars M. Turing reducibility in the fine hierarchy. (English) Zbl 07207183 Ann. Pure Appl. Logic 171, No. 7, Article ID 102766, 16 p. (2020). MSC: 03D28 03D55 03D30 03D28 PDF BibTeX XML Cite \textit{A. G. Melnikov} et al., Ann. Pure Appl. Logic 171, No. 7, Article ID 102766, 16 p. (2020; Zbl 07207183) Full Text: DOI
Goh, Jun Le Embeddings between well-orderings: computability-theoretic reductions. (English) Zbl 07189161 Ann. Pure Appl. Logic 171, No. 6, Article ID 102789, 17 p. (2020). MSC: 03B30 03D30 03D80 03F35 03D55 PDF BibTeX XML Cite \textit{J. Le Goh}, Ann. Pure Appl. Logic 171, No. 6, Article ID 102789, 17 p. (2020; Zbl 07189161) Full Text: DOI
Selivanov, V. L.; Yamaleev, M. M. Turing degrees in refinements of the arithmetical hierarchy. (English. Russian original) Zbl 07001970 Algebra Logic 57, No. 3, 222-236 (2018); translation from Algebra Logika 57, No. 3, 338-361 (2018). MSC: 03D28 03D25 03D55 PDF BibTeX XML Cite \textit{V. L. Selivanov} and \textit{M. M. Yamaleev}, Algebra Logic 57, No. 3, 222--236 (2018; Zbl 07001970); translation from Algebra Logika 57, No. 3, 338--361 (2018) Full Text: DOI
Selivanov, Victor L.; Yamaleev, Mars M. Extending Cooper’s theorem to \(\Delta_3^0\) Turing degrees. (English) Zbl 1435.03071 Computability 7, No. 2-3, 289-300 (2018). MSC: 03D28 03D25 03D55 PDF BibTeX XML Cite \textit{V. L. Selivanov} and \textit{M. M. Yamaleev}, Computability 7, No. 2--3, 289--300 (2018; Zbl 1435.03071) Full Text: DOI
Cooper, S. Barry; Gay, James; Harris, Charles M.; Lee, Kyung Il; Morphett, Anthony Linearisations and the Ershov hierarchy. (English) Zbl 1435.03075 Computability 7, No. 2-3, 143-169 (2018). MSC: 03D45 03D55 PDF BibTeX XML Cite \textit{S. B. Cooper} et al., Computability 7, No. 2--3, 143--169 (2018; Zbl 1435.03075) Full Text: DOI
Nigiyan, S. A. On \(\lambda\)-definability of arithmetical functions with indeterminate values of arguments. (English) Zbl 1347.68123 Proc. Yerevan State Univ., Phys. Math. Sci. 2016, No. 2(240), 39-47 (2016). MSC: 68Q01 68Q05 PDF BibTeX XML Cite \textit{S. A. Nigiyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 2016, No. 2(240), 39--47 (2016; Zbl 1347.68123)
Simpson, Stephen G. Implicit definability in arithmetic. (English) Zbl 1401.03082 Notre Dame J. Formal Logic 57, No. 3, 329-339 (2016). MSC: 03D55 03D30 03D28 03C40 03D80 PDF BibTeX XML Cite \textit{S. G. Simpson}, Notre Dame J. Formal Logic 57, No. 3, 329--339 (2016; Zbl 1401.03082) Full Text: DOI Euclid
Xu, Zhaowei; Sui, Yuefei; Zhang, Wenhui Completeness of Hoare logic with inputs over the standard model. (English) Zbl 1333.68182 Theor. Comput. Sci. 612, 23-28 (2016). MSC: 68Q60 03B70 03F30 PDF BibTeX XML Cite \textit{Z. Xu} et al., Theor. Comput. Sci. 612, 23--28 (2016; Zbl 1333.68182) Full Text: DOI
Nigiyan, S. A. On non-classical theory of computability. (English) Zbl 1325.03043 Proc. Yerevan State Univ., Phys. Math. Sci. 2015, No. 1(236), 52-60 (2015). MSC: 03D20 PDF BibTeX XML Cite \textit{S. A. Nigiyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 2015, No. 1(236), 52--60 (2015; Zbl 1325.03043) Full Text: MNR
Badillo, Liliana; Harris, Charles M. Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees. (English) Zbl 1351.03030 Ann. Pure Appl. Logic 165, No. 9, 1355-1379 (2014). MSC: 03D30 03D15 03D25 03D55 PDF BibTeX XML Cite \textit{L. Badillo} and \textit{C. M. Harris}, Ann. Pure Appl. Logic 165, No. 9, 1355--1379 (2014; Zbl 1351.03030) Full Text: DOI
Leivant, Daniel M. Alternating Turing machines for inductive languages. (English) Zbl 1322.03030 Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013). Reviewer: Stela K. Nikolova (Sofia) MSC: 03D10 03D60 03D70 PDF BibTeX XML Cite \textit{D. M. Leivant}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 31, 12 p. (2013; Zbl 1322.03030) Full Text: DOI
Hemmerling, Armin Function operators spanning the arithmetical and the polynomial hierarchy. (English) Zbl 1213.68294 RAIRO, Theor. Inform. Appl. 44, No. 3, 379-418 (2010). MSC: 68Q15 03D15 03D55 PDF BibTeX XML Cite \textit{A. Hemmerling}, RAIRO, Theor. Inform. Appl. 44, No. 3, 379--418 (2010; Zbl 1213.68294) Full Text: DOI EuDML
Bruni, Riccardo A note on theories for quasi-inductive definitions. (English) Zbl 1191.03030 Rev. Symb. Log. 2, No. 4, 684-699 (2009). MSC: 03D70 PDF BibTeX XML Cite \textit{R. Bruni}, Rev. Symb. Log. 2, No. 4, 684--699 (2009; Zbl 1191.03030) Full Text: DOI
Hájek, Petr Arithmetical complexity of fuzzy predicate logics – a survey. II. (English) Zbl 1182.03050 Ann. Pure Appl. Logic 161, No. 2, 212-219 (2009). MSC: 03B52 03D55 PDF BibTeX XML Cite \textit{P. Hájek}, Ann. Pure Appl. Logic 161, No. 2, 212--219 (2009; Zbl 1182.03050) Full Text: DOI
Knight, Julia F. The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. (English) Zbl 1180.03038 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 171-197 (2008). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03D55 PDF BibTeX XML Cite \textit{J. F. Knight}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 171--197 (2008; Zbl 1180.03038)
Stephan, Frank; Teutsch, Jason Immunity and hyperimmunity for sets of minimal indices. (English) Zbl 1142.03024 Notre Dame J. Formal Logic 49, No. 2, 107-125 (2008). Reviewer: Leon Harkleroad (Wilton) MSC: 03D28 03D30 03D45 03D55 PDF BibTeX XML Cite \textit{F. Stephan} and \textit{J. Teutsch}, Notre Dame J. Formal Logic 49, No. 2, 107--125 (2008; Zbl 1142.03024) Full Text: DOI
Rovan, Branislav; Steskal, L’uboš Infinite computations and a hierarchy in \(\Delta _{3}\). (English) Zbl 1150.03316 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 660-669 (2007). MSC: 03D10 03D55 03D05 PDF BibTeX XML Cite \textit{B. Rovan} and \textit{L. Steskal}, Lect. Notes Comput. Sci. 4497, 660--669 (2007; Zbl 1150.03316) Full Text: DOI
Hamkins, Joel D.; Linetsky, David; Miller, Russell The complexity of quickly ORM-decidable sets. (English) Zbl 1150.03321 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 488-496 (2007). MSC: 03D60 03D10 03D55 PDF BibTeX XML Cite \textit{J. D. Hamkins} et al., Lect. Notes Comput. Sci. 4497, 488--496 (2007; Zbl 1150.03321) Full Text: DOI
Badaev, S. A.; Goncharov, S. S.; Sorbi, A. Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. (Russian, English) Zbl 1164.03340 Algebra Logika 45, No. 6, 637-654 (2006); translation in Algebra Logic 45, No. 6, 361-370 (2006). MSC: 03D25 03D45 03D55 PDF BibTeX XML Cite \textit{S. A. Badaev} et al., Algebra Logika 45, No. 6, 637--654 (2006; Zbl 1164.03340); translation in Algebra Logic 45, No. 6, 361--370 (2006) Full Text: DOI
Hemmerling, Armin The Hausdorff-Ershov hierarchy in Euclidean spaces. (English) Zbl 1095.03031 Arch. Math. Logic 45, No. 3, 323-350 (2006). Reviewer: Ning Zhong (Cincinnati) MSC: 03D65 03D55 03E15 PDF BibTeX XML Cite \textit{A. Hemmerling}, Arch. Math. Logic 45, No. 3, 323--350 (2006; Zbl 1095.03031) Full Text: DOI
Hemmerling, Armin Characterizations of the class \(\Delta^{\text{ta}}_{2}\) over Euclidean spaces. (English) Zbl 1058.03045 Math. Log. Q. 50, No. 4-5, 507-519 (2004). MSC: 03D65 03D55 03E15 03F60 26E40 68Q01 PDF BibTeX XML Cite \textit{A. Hemmerling}, Math. Log. Q. 50, No. 4--5, 507--519 (2004; Zbl 1058.03045) Full Text: DOI
Lee, Troy Arithmetical definability over finite structures. (English) Zbl 1022.03015 Math. Log. Q. 49, No. 4, 385-392 (2003). MSC: 03C13 03F30 68Q19 PDF BibTeX XML Cite \textit{T. Lee}, Math. Log. Q. 49, No. 4, 385--392 (2003; Zbl 1022.03015) Full Text: DOI
Czenzer, Douglas; Remmel, Jeffrey B. Index sets for \(\omega\)-languages. (English) Zbl 1031.03064 Math. Log. Q. 49, No. 1, 22-33 (2003). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 03D80 03D25 03D55 68Q45 PDF BibTeX XML Cite \textit{D. Czenzer} and \textit{J. B. Remmel}, Math. Log. Q. 49, No. 1, 22--33 (2003; Zbl 1031.03064) Full Text: DOI
Abreces, Carlos; Hoogland, Eva; de Jongh, Dick Interpolation, definability and fixed points in interpretability logics. (English) Zbl 1001.03054 Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 35-58 (2001). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 PDF BibTeX XML Cite \textit{C. Abreces} et al., in: Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML'98), Uppsala, Sweden, October 16--18, 1998. Stanford, CA: CSLI Publications. 35--58 (2001; Zbl 1001.03054)
Korec, I. A list of arithmetical structures complete with respect to the first-order definability. (English) Zbl 0971.03035 Theor. Comput. Sci. 257, No. 1-2, 115-151 (2001). MSC: 03C07 11U05 03B10 11B65 03B25 PDF BibTeX XML Cite \textit{I. Korec}, Theor. Comput. Sci. 257, No. 1--2, 115--151 (2001; Zbl 0971.03035) Full Text: DOI
Zheng, Xizhong; Weihrauch, Klaus The arithmetical hierarchy of real numbers. (English) Zbl 0968.03075 Math. Log. Q. 47, No. 1, 51-65 (2001). Reviewer: Armin Hemmerling (Greifswald) MSC: 03F60 03D55 26E40 PDF BibTeX XML Cite \textit{X. Zheng} and \textit{K. Weihrauch}, Math. Log. Q. 47, No. 1, 51--65 (2001; Zbl 0968.03075) Full Text: DOI
Zheng, Xizhong; Weihrauch, Klaus The arithmetical hierarchy of real numbers. (English) Zbl 0955.03066 Kutyłowski, Mirosław (ed.) et al., Mathematical foundations of computer science 1999. 24th international symposium, MFCS ’99, Szklarska Porȩba, Poland, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1672, 23-33 (1999). Reviewer: A.Hemmerling (Greifswald) MSC: 03F60 03D55 26E40 PDF BibTeX XML Cite \textit{X. Zheng} and \textit{K. Weihrauch}, Lect. Notes Comput. Sci. 1672, 23--33 (1999; Zbl 0955.03066)
Odifreddi, P. G. Classical recursion theory. Vol. II. (English) Zbl 0931.03057 Studies in Logic and the Foundations of Mathematics. 143. Amsterdam: Elsevier. xvi, 949 p. (1999). Reviewer: C.Calude (Auckland) MSC: 03Dxx 03-02 03-01 03-00 03D15 03D20 03D25 03D28 03D30 03D55 68Q15 PDF BibTeX XML Cite \textit{P. G. Odifreddi}, Classical recursion theory. Vol. II. Amsterdam: Elsevier (1999; Zbl 0931.03057)
Hummel, Tamara; Jockusch, Carl G. jun. Generalized cohesiveness. (English) Zbl 0935.03050 J. Symb. Log. 64, No. 2, 489-516 (1999). Reviewer: R.Murawski (Poznań) MSC: 03D28 03D10 PDF BibTeX XML Cite \textit{T. Hummel} and \textit{C. G. Jockusch jun.}, J. Symb. Log. 64, No. 2, 489--516 (1999; Zbl 0935.03050) Full Text: DOI arXiv
Bournez, Olivier Achilles and the tortoise climbing up the hyper-arithmetical hierarchy. (English) Zbl 0912.68032 Theor. Comput. Sci. 210, No. 1, 21-71 (1999). MSC: 68Q05 03D55 PDF BibTeX XML Cite \textit{O. Bournez}, Theor. Comput. Sci. 210, No. 1, 21--71 (1999; Zbl 0912.68032) Full Text: DOI
Slaman, Theodore A. Mathematical definability. (English) Zbl 0932.03054 Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13–20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 233-251 (1998). Reviewer: Joseph S.Ullian (St.Louis) MSC: 03D55 03D80 03E45 03F35 03F30 PDF BibTeX XML Cite \textit{T. A. Slaman}, in: Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13--20, 1995. Oxford: Clarendon Press. 233--251 (1998; Zbl 0932.03054)
Terwijn, Sebastiaan A.; Torenvliet, Leen Arithmetical measure. (English) Zbl 0898.03017 Math. Log. Q. 44, No. 2, 277-286 (1998). MSC: 03D55 68Q30 03D30 28A99 PDF BibTeX XML Cite \textit{S. A. Terwijn} and \textit{L. Torenvliet}, Math. Log. Q. 44, No. 2, 277--286 (1998; Zbl 0898.03017) Full Text: DOI
Goldstern, Martin The complexity of uniform distribution. (English) Zbl 0820.03031 Math. Slovaca 44, No. 5, 491-500 (1994). MSC: 03D80 11B50 11K45 03D20 03E15 03D55 PDF BibTeX XML Cite \textit{M. Goldstern}, Math. Slovaca 44, No. 5, 491--500 (1994; Zbl 0820.03031) Full Text: EuDML
Arslanov, M. M. The completeness of arithmetic sets under operations of set theory. (English. Russian original) Zbl 0833.03016 Russ. Math. 37, No. 9, 1-5 (1993); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1993, No. 9, 3-7 (1993). MSC: 03D55 03F30 PDF BibTeX XML Cite \textit{M. M. Arslanov}, Russ. Math. 37, No. 9, 1--5 (1993; Zbl 0833.03016); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1993, No. 9, 3--7 (1993)
Seibert, S. Quantifier hierarchies over word relations. (English) Zbl 0783.03025 Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 329-338 (1992). Reviewer: N.Curteanu (Iaşi) MSC: 03D55 68Q15 03D05 03D40 03D60 68Q45 PDF BibTeX XML Cite \textit{S. Seibert}, Lect. Notes Comput. Sci. 626, 329--338 (1992; Zbl 0783.03025)
Cucker, Felipe The arithmetical hierarchy over the reals. (English) Zbl 0765.03020 J. Log. Comput. 2, No. 3, 375-395 (1992). Reviewer: S.P.Yukna (Dortmund) MSC: 03D55 03E15 03D35 PDF BibTeX XML Cite \textit{F. Cucker}, J. Log. Comput. 2, No. 3, 375--395 (1992; Zbl 0765.03020) Full Text: DOI
Allen, Bill Arithmetizing uniform \(NC\). (English) Zbl 0741.03019 Ann. Pure Appl. Logic 53, No. 1, 1-50 (1991). Reviewer: A.Leitsch (Wien) MSC: 03D15 03F30 68Q15 PDF BibTeX XML Cite \textit{B. Allen}, Ann. Pure Appl. Logic 53, No. 1, 1--50 (1991; Zbl 0741.03019) Full Text: DOI
Zaurbekov, S. S. The number of finitely axiomatizable completions. (English. Russian original) Zbl 0781.03020 Sib. Math. J. 32, No. 1, 141-145 (1991); translation from Sib. Mat. Zh. 32, No. 1(185), 174-178 (1991). MSC: 03C57 03D55 PDF BibTeX XML Cite \textit{S. S. Zaurbekov}, Sib. Math. J. 32, No. 1, 141--145 (1991; Zbl 0781.03020); translation from Sib. Mat. Zh. 32, No. 1(185), 174--178 (1991) Full Text: DOI
Tanaka, Kazuyuki Weak axioms of determinacy and subsystems of analysis. I: \(\Delta ^ 0_ 2\) games. (English) Zbl 0729.03032 Z. Math. Logik Grundlagen Math. 36, No. 6, 481-491 (1990). Reviewer: P.Štěpánek (Praha) MSC: 03F35 03E60 03D55 91A05 PDF BibTeX XML Cite \textit{K. Tanaka}, Z. Math. Logik Grundlagen Math. 36, No. 6, 481--491 (1990; Zbl 0729.03032) Full Text: DOI
Marchenkov, S. S. On representation of lexicographic predicates of an arithmetical hierarchy. (Russian) Zbl 0714.03039 Diskretn. Mat. 2, No. 1, 87-93 (1990). Reviewer: A.Kreczmar MSC: 03D55 03D40 PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Diskretn. Mat. 2, No. 1, 87--93 (1990; Zbl 0714.03039)
Chomicki, Jan; Subrahmanian, V. S. Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete. (English) Zbl 0695.68064 Inf. Process. Lett. 34, No. 6, 289-291 (1990). MSC: 68T99 03D35 03D55 PDF BibTeX XML Cite \textit{J. Chomicki} and \textit{V. S. Subrahmanian}, Inf. Process. Lett. 34, No. 6, 289--291 (1990; Zbl 0695.68064) Full Text: DOI
Odintsov, S. P.; Selivanov, V. L. Arithmetic hierarchy and ideals of enumerated Boolean algebras. (English. Russian original) Zbl 0711.03016 Sib. Math. J. 30, No. 6, 952-960 (1989); translation from Sib. Mat. Zh. 30, No. 6(178), 140-149 (1989). Reviewer: R.Murawski MSC: 03D55 03D45 PDF BibTeX XML Cite \textit{S. P. Odintsov} and \textit{V. L. Selivanov}, Sib. Math. J. 30, No. 6, 952--960 (1989; Zbl 0711.03016); translation from Sib. Mat. Zh. 30, No. 6(178), 140--149 (1989) Full Text: DOI
Ivanov, Ljubomir L. Abstract hierarchies and degrees. (English) Zbl 0688.03030 J. Symb. Log. 54, No. 1, 16-25 (1989). Reviewer: L.Harkleroad MSC: 03D75 03D55 03D30 PDF BibTeX XML Cite \textit{L. L. Ivanov}, J. Symb. Log. 54, No. 1, 16--25 (1989; Zbl 0688.03030) Full Text: DOI
Richard, Denis Equivalence of some questions in mathematical logic with some conjectures in number theory. (English) Zbl 0685.03040 Number theory and applications, Proc. NATO ASI, Banff/Can. 1988, NATO ASI Ser., Ser. C 265, 529-545 (1989). Reviewer: R.Murawski MSC: 03F30 PDF BibTeX XML
Grigorieff, Serge; Richard, Denis Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). (French) Zbl 0685.03039 Enseign. Math., II. Sér. 35, No. 1-2, 125-189 (1989). Reviewer: R.Murawski MSC: 03F30 PDF BibTeX XML Cite \textit{S. Grigorieff} and \textit{D. Richard}, Enseign. Math. (2) 35, No. 1--2, 125--189 (1989; Zbl 0685.03039)
Selivanov, V. L. Fine hierarchies of arithmetical sets and definable index sets. (Russian) Zbl 0746.03038 Tr. Inst. Mat. 12, 165-185 (1989). Reviewer: S.Ishmukhametov (Ulyanovsk) MSC: 03D55 03D25 PDF BibTeX XML
McCarty, Charles Constructive validity is nonarithmetic. (English) Zbl 0724.03034 J. Symb. Log. 53, No. 4, 1036-1041 (1988). MSC: 03F35 03C35 03C62 03F55 03C57 PDF BibTeX XML Cite \textit{C. McCarty}, J. Symb. Log. 53, No. 4, 1036--1041 (1988; Zbl 0724.03034) Full Text: DOI
Burgin, M. S. The arithmetical hierarchy and inductive Turing machines. (English. Russian original) Zbl 0683.03022 Sov. Math., Dokl. 37, No. 2, 390-393 (1988); translation from Dokl. Akad. Nauk SSSR 299, No. 3, 530-533 (1988). MSC: 03D10 03D55 PDF BibTeX XML Cite \textit{M. S. Burgin}, Sov. Math., Dokl. 37, No. 2, 390--393 (1988; Zbl 0683.03022); translation from Dokl. Akad. Nauk SSSR 299, No. 3, 530--533 (1988)
Khisamiev, N. G. Arithmetic hierarchy of Abelian groups. (English. Russian original) Zbl 0679.20047 Sib. Math. J. 29, No. 6, 987-999 (1988); translation from Sib. Mat. Zh. 29, No. 6(172), 144-159 (1988). MSC: 20K25 20A15 03D55 20K20 PDF BibTeX XML Cite \textit{N. G. Khisamiev}, Sib. Math. J. 29, No. 6, 987--999 (1988; Zbl 0679.20047); translation from Sib. Mat. Zh. 29, No. 6(172), 144--159 (1988) Full Text: DOI
Khisamiev, N. G. Arithmetical hierarchy of Abelian groups. (Russian) Zbl 0675.20043 Sib. Mat. Zh. 29, No. 6(172), 144-159 (1988). Reviewer: St.Balcerzyk MSC: 20K25 20A15 03D55 20K20 PDF BibTeX XML Cite \textit{N. G. Khisamiev}, Sib. Mat. Zh. 29, No. 6(172), 144--159 (1988; Zbl 0675.20043) Full Text: EuDML
Roy, Dev K.; Watnick, Richard Finite condensations of recursive linear orders. (English) Zbl 0673.03034 Stud. Log. 47, No. 4, 311-317 (1988). Reviewer: Li Xiang MSC: 03D55 06A05 PDF BibTeX XML Cite \textit{D. K. Roy} and \textit{R. Watnick}, Stud. Log. 47, No. 4, 311--317 (1988; Zbl 0673.03034) Full Text: DOI
Richard, Denis Définissabilité de l’arithmétique par coprimarité et restrictions de l’addition ou de la multiplication. (Arithmetical definability from coprimeness and restrictions of addition or multiplication). (French) Zbl 0678.03024 C. R. Acad. Sci., Paris, Sér. I 305, 665-668 (1987). MSC: 03F30 PDF BibTeX XML Cite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 305, 665--668 (1987; Zbl 0678.03024)
Staiger, Ludwig Hierarchies of recursive \(\omega\)-languages. (English) Zbl 0627.03024 Elektron. Informationsverarbeitung Kybernetik 22, 219-241 (1986). MSC: 03D25 03D55 68Q05 03D10 PDF BibTeX XML Cite \textit{L. Staiger}, Elektron. Informationsverarbeitung Kybernetik 22, 219--241 (1986; Zbl 0627.03024)
Richard, Denis Les relations arithmétiques sur les entiers primaires sont définissables au premier ordre par successeur et coprimarité. (All arithmetical relations and functions over the set of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate). (French) Zbl 0579.03043 C. R. Acad. Sci., Paris, Sér. I 299, 795-798 (1984). Reviewer: F.Montagna MSC: 03F30 03C62 03F25 03B25 PDF BibTeX XML Cite \textit{D. Richard}, C. R. Acad. Sci., Paris, Sér. I 299, 795--798 (1984; Zbl 0579.03043)
Ruohonen, Keijo On machine characterization of nonrecursive hierarchies. (English) Zbl 0562.03023 Ann. Univ. Turku., Ser. A I 186, 87-101 (1984). Reviewer: C.Calude MSC: 03D55 PDF BibTeX XML Cite \textit{K. Ruohonen}, Ann. Univ. Turku, Ser. A I 186, 87--101 (1984; Zbl 0562.03023)
Dobritsa, V. P. Complexity of the index set of a constructive model. (English) Zbl 0545.03016 Algebra Logic 22, 269-276 (1983). MSC: 03C57 03D55 PDF BibTeX XML Cite \textit{V. P. Dobritsa}, Algebra Logic 22, 269--276 (1983; Zbl 0545.03016) Full Text: DOI
Dobritsa, V. P. Complexity of the index set of a constructive model. (Russian) Zbl 0537.03022 Algebra Logika 22, No. 4, 372-381 (1983). Reviewer: R.Kossak MSC: 03C57 03D55 PDF BibTeX XML Cite \textit{V. P. Dobritsa}, Algebra Logika 22, No. 4, 372--381 (1983; Zbl 0537.03022) Full Text: EuDML
Ragaz, Matthias Emil Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. (German) Zbl 0516.03011 Abteilung Mathematik der Eidgenössischen Technischen Hochschule Zürich. 98 S. (1981). MSC: 03B50 03D55 03C07 PDF BibTeX XML
Buszkowski, Wojciech Logical complexity of some classes of tree languages generated by multiple-tree-automata. (English) Zbl 0432.03024 Z. Math. Logik Grundlagen Math. 26, 41-49 (1980). MSC: 03D05 03B25 03D55 68Q45 PDF BibTeX XML Cite \textit{W. Buszkowski}, Z. Math. Logik Grundlagen Math. 26, 41--49 (1980; Zbl 0432.03024) Full Text: DOI
Demuth, O.; Kryl, R.; Kucera, A. On application of the theory of functions partially recursive relative to number sets in constructive mathematics. (Russian) Zbl 0394.03054 Acta Univ. Carol., Math. Phys. 19, No. 1, 15-60 (1978). MSC: 03F60 03D30 03D60 03D55 PDF BibTeX XML Cite \textit{O. Demuth} et al., Acta Univ. Carol., Math. Phys. 19, No. 1, 15--60 (1978; Zbl 0394.03054) Full Text: EuDML