Dargaj, Jakub; Simonsen, Jakob Grue A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff. (English) Zbl 07767464 J. Econ. Theory 213, Article ID 105713, 24 p. (2023). MSC: 91Bxx PDF BibTeX XML Cite \textit{J. Dargaj} and \textit{J. G. Simonsen}, J. Econ. Theory 213, Article ID 105713, 24 p. (2023; Zbl 07767464) Full Text: DOI arXiv
Mikaelian, Vahagn H. The Higman operations and embeddings of recursive groups. (English) Zbl 07761121 J. Group Theory 26, No. 6, 1067-1093 (2023). MSC: 20F05 PDF BibTeX XML Cite \textit{V. H. Mikaelian}, J. Group Theory 26, No. 6, 1067--1093 (2023; Zbl 07761121) Full Text: DOI arXiv
Rybakov, Mikhail Nikolaevich Binary predicate, transitive closure, two-three variables: shall we play dominoes? (Russian. English summary) Zbl 07740648 Log. Issled. 29, No. 1, 114-146 (2023). MSC: 03-XX PDF BibTeX XML Cite \textit{M. N. Rybakov}, Log. Issled. 29, No. 1, 114--146 (2023; Zbl 07740648) Full Text: DOI
Brattka, Vasco The discontinuity problem. (English) Zbl 07735950 J. Symb. Log. 88, No. 3, 1191-1212 (2023). MSC: 03D30 03D78 03E15 03E25 03E60 91A05 PDF BibTeX XML Cite \textit{V. Brattka}, J. Symb. Log. 88, No. 3, 1191--1212 (2023; Zbl 07735950) Full Text: DOI arXiv
Faizrahmanov, M. Kh. Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets. (English. Russian original) Zbl 07729651 Sib. Math. J. 64, No. 4, 927-935 (2023); translation from Sib. Mat. Zh. 64, No. 4, 830-840 (2023). MSC: 03Dxx 03-XX PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Sib. Math. J. 64, No. 4, 927--935 (2023; Zbl 07729651); translation from Sib. Mat. Zh. 64, No. 4, 830--840 (2023) Full Text: DOI
Kasymov, N. Kh.; Morozov, A. S. Lower semilattices of separable congruences of numbered algebras. (English. Russian original) Zbl 07729645 Sib. Math. J. 64, No. 4, 864-876 (2023); translation from Sib. Mat. Zh. 64, No. 4, 753-769 (2023). MSC: 03Dxx 03Cxx 08Axx PDF BibTeX XML Cite \textit{N. Kh. Kasymov} and \textit{A. S. Morozov}, Sib. Math. J. 64, No. 4, 864--876 (2023; Zbl 07729645); translation from Sib. Mat. Zh. 64, No. 4, 753--769 (2023) Full Text: DOI
Faizrahmanov, M. Kh. Enumeration reducibility and positive reducibility of the numberings of families of arithmetic sets. (English. Russian original) Zbl 07658749 Sib. Math. J. 64, No. 1, 174-180 (2023); translation from Sib. Mat. Zh. 64, No. 1, 204-212 (2023). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D30 03D45 PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Sib. Math. J. 64, No. 1, 174--180 (2023; Zbl 07658749); translation from Sib. Mat. Zh. 64, No. 1, 204--212 (2023) Full Text: DOI
Spreen, Dieter Bi-topological spaces and the continuity problem. (English) Zbl 07568608 Topol. Proc. 61, 77-99 (2023). MSC: 03F60 03D45 54D65 54E35 54E55 PDF BibTeX XML Cite \textit{D. Spreen}, Topol. Proc. 61, 77--99 (2023; Zbl 07568608) Full Text: arXiv Link
Selivanov, Victor Non-collapse of the effective Wadge hierarchy. (English) Zbl 07641236 Computability 11, No. 3-4, 335-358 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{V. Selivanov}, Computability 11, No. 3--4, 335--358 (2022; Zbl 07641236) Full Text: DOI
Badaev, S. A.; Goncharov, S. S. Rogers semilattices with least and greatest elements in the Ershov hierarchy. (English. Russian original) Zbl 1515.03191 Algebra Logic 61, No. 3, 225-229 (2022); translation from Algebra Logika 61, No. 3, 334-340 (2022). MSC: 03D45 03D55 PDF BibTeX XML Cite \textit{S. A. Badaev} and \textit{S. S. Goncharov}, Algebra Logic 61, No. 3, 225--229 (2022; Zbl 1515.03191); translation from Algebra Logika 61, No. 3, 334--340 (2022) Full Text: DOI
Baldan, Paolo; Ranzato, Francesco; Zhang, Linpeng Intensional Kleene and Rice theorems for abstract program semantics. (English) Zbl 07629146 Inf. Comput. 289, Part A, Article ID 104953, 27 p. (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Baldan} et al., Inf. Comput. 289, Part A, Article ID 104953, 27 p. (2022; Zbl 07629146) Full Text: DOI arXiv
Gao, Xiangyu; Li, Jianzhong; Miao, Dongjing Sublinear-time reductions for big data computing. (English) Zbl 07585792 Theor. Comput. Sci. 932, 1-12 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{X. Gao} et al., Theor. Comput. Sci. 932, 1--12 (2022; Zbl 07585792) Full Text: DOI
Andrews, Uri; Sorbi, Andrea Initial segments of the degrees of ceers. (English) Zbl 1507.03096 J. Symb. Log. 87, No. 3, 1260-1282 (2022). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D30 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{A. Sorbi}, J. Symb. Log. 87, No. 3, 1260--1282 (2022; Zbl 1507.03096) Full Text: DOI
Alvir, Rachael; Burchfield, Hannah; Knight, Julia F. Copying one of a pair of structures. (English) Zbl 07576903 J. Symb. Log. 87, No. 3, 1201-1214 (2022). MSC: 03D99 PDF BibTeX XML Cite \textit{R. Alvir} et al., J. Symb. Log. 87, No. 3, 1201--1214 (2022; Zbl 07576903) Full Text: DOI
Burnistov, A. S.; Stukachev, A. I. Inner constructivizability of functional structures. (English. Russian original) Zbl 1515.03194 Algebra Logic 61, No. 1, 16-29 (2022); translation from Algebra Logika 61, No. 1, 23-41 (2022). MSC: 03D60 03C57 03C40 PDF BibTeX XML Cite \textit{A. S. Burnistov} and \textit{A. I. Stukachev}, Algebra Logic 61, No. 1, 16--29 (2022; Zbl 1515.03194); translation from Algebra Logika 61, No. 1, 23--41 (2022) Full Text: DOI
Carl, Merlin; Schlicht, Philipp; Welch, Philip Decision times of infinite computations. (English) Zbl 07556131 Notre Dame J. Formal Logic 63, No. 2, 197-212 (2022). MSC: 03D60 03E15 PDF BibTeX XML Cite \textit{M. Carl} et al., Notre Dame J. Formal Logic 63, No. 2, 197--212 (2022; Zbl 07556131) Full Text: DOI arXiv
Barendregt, Henk; Terwijn, Sebastiaan A. Partial combinatory algebra and generalized numberings. (English) Zbl 07547826 Theor. Comput. Sci. 925, 37-44 (2022). MSC: 03D45 03B40 PDF BibTeX XML Cite \textit{H. Barendregt} and \textit{S. A. Terwijn}, Theor. Comput. Sci. 925, 37--44 (2022; Zbl 07547826) Full Text: DOI arXiv
Peretyat’kin, M. G. Virtual algebraic isomorphisms between predicate calculi of finite rich signatures. (English. Russian original) Zbl 1515.03166 Algebra Logic 60, No. 6, 389-406 (2022); translation from Algebra Logika 60, No. 6, 587-611 (2021). MSC: 03C57 03C07 03B10 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Algebra Logic 60, No. 6, 389--406 (2022; Zbl 1515.03166); translation from Algebra Logika 60, No. 6, 587--611 (2021) Full Text: DOI
Ollinger, Nicolas; Theyssier, Guillaume Freezing, bounded-change and convergent cellular automata. (English) Zbl 1499.68213 Discrete Math. Theor. Comput. Sci. 24, No. 1, Paper No. 2, 37 p. (2022). MSC: 68Q80 68Q25 PDF BibTeX XML Cite \textit{N. Ollinger} and \textit{G. Theyssier}, Discrete Math. Theor. Comput. Sci. 24, No. 1, Paper No. 2, 37 p. (2022; Zbl 1499.68213) Full Text: DOI arXiv
Flood, Stephen; Jura, Matthew; Levin, Oscar; Markkanen, Tyler The computational strength of matchings in countable graphs. (English) Zbl 07538233 Ann. Pure Appl. Logic 173, No. 8, Article ID 103133, 26 p. (2022). MSC: 03D80 03D99 03F15 03F35 PDF BibTeX XML Cite \textit{S. Flood} et al., Ann. Pure Appl. Logic 173, No. 8, Article ID 103133, 26 p. (2022; Zbl 07538233) Full Text: DOI arXiv
Dadazhanov, R. N.; Kasymov, N. Kh.; Khodzhamuratova, I. A. Uniformly computably separable algebras with effectively splittable families of negative congruences. (English. Russian original) Zbl 1509.03131 Sib. Math. J. 63, No. 3, 466-475 (2022); translation from Sib. Mat. Zh. 63, No. 3, 562-575 (2022). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{R. N. Dadazhanov} et al., Sib. Math. J. 63, No. 3, 466--475 (2022; Zbl 1509.03131); translation from Sib. Mat. Zh. 63, No. 3, 562--575 (2022) Full Text: DOI
Miller, Russell HTP-complete rings of rational numbers. (English) Zbl 1501.12003 J. Symb. Log. 87, No. 1, 252-272 (2022). Reviewer: Alexandra Shlapentokh (Greenville) MSC: 12L05 11U05 03D45 03C40 PDF BibTeX XML Cite \textit{R. Miller}, J. Symb. Log. 87, No. 1, 252--272 (2022; Zbl 1501.12003) Full Text: DOI arXiv
Chitaia, Irakli; Omanadze, Roland Degree structures of conjunctive reducibility. (English) Zbl 1518.03008 Arch. Math. Logic 61, No. 1-2, 19-31 (2022). Reviewer: Roman Murawski (Poznań) MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{I. Chitaia} and \textit{R. Omanadze}, Arch. Math. Logic 61, No. 1--2, 19--31 (2022; Zbl 1518.03008) Full Text: DOI
Kuznetsov, Stepan L.; Speranski, Stanislav O. Infinitary action logic with exponentiation. (English) Zbl 07458791 Ann. Pure Appl. Logic 173, No. 2, Article ID 103057, 29 p. (2022). MSC: 03B47 03C75 03D35 03F52 PDF BibTeX XML Cite \textit{S. L. Kuznetsov} and \textit{S. O. Speranski}, Ann. Pure Appl. Logic 173, No. 2, Article ID 103057, 29 p. (2022; Zbl 07458791) Full Text: DOI arXiv
Fu, Yuxi A thesis for interaction. (English) Zbl 07437215 Theor. Comput. Sci. 897, 114-134 (2022). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{Y. Fu}, Theor. Comput. Sci. 897, 114--134 (2022; Zbl 07437215) Full Text: DOI
Peng, Cheng Normalizing notations in the Ershov hierarchy. (English) Zbl 1521.03120 Math. Log. Q. 67, No. 4, 506-513 (2021). MSC: 03D28 03D25 03D55 PDF BibTeX XML Cite \textit{C. Peng}, Math. Log. Q. 67, No. 4, 506--513 (2021; Zbl 1521.03120) Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Undecidability of QLTL and QCTL with two variables and one monadic predicate letter. (English) Zbl 07642566 Log. Issled. 27, No. 2, 93-120 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{M. Rybakov} and \textit{D. Shkatov}, Log. Issled. 27, No. 2, 93--120 (2021; Zbl 07642566) Full Text: DOI
Bazhenov, Nikolay; Mustafa, Manat; Ospichev, Sergei; San Mauro, Luca Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy. (English) Zbl 07547755 Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 1-13 (2021). MSC: 03D25 03E72 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Lect. Notes Comput. Sci. 13039, 1--13 (2021; Zbl 07547755) Full Text: DOI arXiv
Magossi, José Carlos; de Abreu, Pedro Henrique Camargo; Barros, Antônio César da Costa; Paviotti, José Renato Shannon’s information measure: entropy. (A medida de informação de Shannon: entropia.) (Portuguese. English summary) Zbl 1490.01032 Rev. Bras. Hist. Mat. 21, No. 41, 45-72 (2021). MSC: 01A60 94-03 PDF BibTeX XML Cite \textit{J. C. Magossi} et al., Rev. Bras. Hist. Mat. 21, No. 41, 45--72 (2021; Zbl 1490.01032) Full Text: DOI
Selivanov, Victor Non-collapse of the effective wadge hierarchy. (English) Zbl 07495187 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 407-416 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{V. Selivanov}, Lect. Notes Comput. Sci. 12813, 407--416 (2021; Zbl 07495187) Full Text: DOI arXiv
Moyen, Jean-Yves; Simonsen, Jakob Grue Subrecursive equivalence relations and (non-)closure under lattice operations. (English) Zbl 07495183 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 363-372 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{J.-Y. Moyen} and \textit{J. G. Simonsen}, Lect. Notes Comput. Sci. 12813, 363--372 (2021; Zbl 07495183) Full Text: DOI
Khazraei, Ardalan; Kötzing, Timo; Seidel, Karen Towards a map for incremental learning in the limit from positive and negative information. (English) Zbl 07495175 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 273-284 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Khazraei} et al., Lect. Notes Comput. Sci. 12813, 273--284 (2021; Zbl 07495175) Full Text: DOI
Andrews, Uri; Sorbi, Andrea Effective inseparability, lattices, and preordering relations. (English) Zbl 1517.03037 Rev. Symb. Log. 14, No. 4, 838-865 (2021). MSC: 03D45 03D30 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{A. Sorbi}, Rev. Symb. Log. 14, No. 4, 838--865 (2021; Zbl 1517.03037) Full Text: DOI arXiv
Blanck, Rasmus Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. (English) Zbl 1508.03091 Rev. Symb. Log. 14, No. 3, 624-644 (2021). MSC: 03F30 03F40 03F25 03H15 PDF BibTeX XML Cite \textit{R. Blanck}, Rev. Symb. Log. 14, No. 3, 624--644 (2021; Zbl 1508.03091) Full Text: DOI arXiv
Delle Rose, V.; Mauro, L. San; Sorbi, A. The category of equivalence relations. (English. Russian original) Zbl 1515.18004 Algebra Logic 60, No. 5, 295-307 (2021); translation from Algebra Logika 60, No. 4, 451-470 (2021). MSC: 18B10 03D25 03D45 PDF BibTeX XML Cite \textit{V. Delle Rose} et al., Algebra Logic 60, No. 5, 295--307 (2021; Zbl 1515.18004); translation from Algebra Logika 60, No. 4, 451--470 (2021) Full Text: DOI
Blinov, K. V. Primitively recursive categoricity for unars and equivalence structures. (English. Russian original) Zbl 07436435 Sib. Math. J. 62, No. 6, 994-1009 (2021); translation from Sib. Mat. Zh. 62, No. 2, 1231-1251 (2021). MSC: 03Cxx 03Dxx 03-XX PDF BibTeX XML Cite \textit{K. V. Blinov}, Sib. Math. J. 62, No. 6, 994--1009 (2021; Zbl 07436435); translation from Sib. Mat. Zh. 62, No. 2, 1231--1251 (2021) Full Text: DOI
Jain, Sanjay; Stephan, Frank; Zeugmann, Thomas On the amount of nonconstructivity in learning formal languages from text. (English) Zbl 1514.68088 Inf. Comput. 281, Article ID 104668, 14 p. (2021). MSC: 68Q32 68Q45 PDF BibTeX XML Cite \textit{S. Jain} et al., Inf. Comput. 281, Article ID 104668, 14 p. (2021; Zbl 1514.68088) Full Text: DOI Link
Khisamiev, A. N. Universal functions and \(\Sigma_\omega \)-bounded structures. (English. Russian original) Zbl 1515.03195 Algebra Logic 60, No. 2, 139-153 (2021); translation from Algebra Logika 60, No. 2, 210-230 (2021). MSC: 03D60 PDF BibTeX XML Cite \textit{A. N. Khisamiev}, Algebra Logic 60, No. 2, 139--153 (2021; Zbl 1515.03195); translation from Algebra Logika 60, No. 2, 210--230 (2021) Full Text: DOI
Fernau, Henning; Kutrib, Martin; Wendlandt, Matthias Self-verifying pushdown and queue automata. (English) Zbl 1519.68117 Fundam. Inform. 180, No. 1-2, 1-28 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. Fernau} et al., Fundam. Inform. 180, No. 1--2, 1--28 (2021; Zbl 1519.68117) Full Text: DOI
Calude, Cristian S.; Celine, Karen Frilya; Gao, Ziyuan; Jain, Sanjay; Staiger, Ludwig; Stephan, Frank Bi-immunity over different size alphabets. (English) Zbl 1514.68087 Theor. Comput. Sci. 894, 31-49 (2021). MSC: 68Q30 03D32 PDF BibTeX XML Cite \textit{C. S. Calude} et al., Theor. Comput. Sci. 894, 31--49 (2021; Zbl 1514.68087) Full Text: DOI
Ganchev, Hristo; Sariev, Andrey C. The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees. (English) Zbl 07417491 Arch. Math. Logic 60, No. 7-8, 909-925 (2021). MSC: 03D28 03D30 PDF BibTeX XML Cite \textit{H. Ganchev} and \textit{A. C. Sariev}, Arch. Math. Logic 60, No. 7--8, 909--925 (2021; Zbl 07417491) Full Text: DOI
Honkala, Juha Quasi-universal \(k\)-regular sequences. (English) Zbl 07412742 Theor. Comput. Sci. 891, 84-89 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 11B85 68Q70 PDF BibTeX XML Cite \textit{J. Honkala}, Theor. Comput. Sci. 891, 84--89 (2021; Zbl 07412742) Full Text: DOI
Belanger, David; Gao, Ziyuan; Jain, Sanjay; Li, Wei; Stephan, Frank Learnability and positive equivalence relations. (English) Zbl 07405984 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 145-156 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{D. Belanger} et al., Lect. Notes Comput. Sci. 12638, 145--156 (2021; Zbl 07405984) Full Text: DOI arXiv
Conidis, Chris J. The complexity of module radicals. (English) Zbl 07391980 Notre Dame J. Formal Logic 62, No. 2, 353-368 (2021). MSC: 03D80 03F65 PDF BibTeX XML Cite \textit{C. J. Conidis}, Notre Dame J. Formal Logic 62, No. 2, 353--368 (2021; Zbl 07391980) Full Text: DOI
Velupillai, Kumaraswamy (ed.) Introduction to the Zambelli Festschrift. (English) Zbl 1477.91001 Velupillai, Kumaraswamy (ed.), Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 1-31 (2021). MSC: 91-03 01A70 PDF BibTeX XML Cite \textit{K. Velupillai} (ed.), in: Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 1--31 (2021; Zbl 1477.91001) Full Text: DOI
Dudakov, Sergey; Karlov, Boris On decidability of theories of regular languages. (English) Zbl 1517.68185 Theory Comput. Syst. 65, No. 3, 462-478 (2021). MSC: 68Q45 03B25 03D05 03F30 68Q17 PDF BibTeX XML Cite \textit{S. Dudakov} and \textit{B. Karlov}, Theory Comput. Syst. 65, No. 3, 462--478 (2021; Zbl 1517.68185) Full Text: DOI
Lucas, Salvador The origins of the halting problem. (English) Zbl 07377687 J. Log. Algebr. Methods Program. 121, Article ID 100687, 9 p. (2021). MSC: 03-03 03D10 PDF BibTeX XML Cite \textit{S. Lucas}, J. Log. Algebr. Methods Program. 121, Article ID 100687, 9 p. (2021; Zbl 07377687) Full Text: DOI
Marcone, Alberto; Valenti, Manlio The open and clopen Ramsey theorems in the Weihrauch lattice. (English) Zbl 07370822 J. Symb. Log. 86, No. 1, 316-351 (2021). MSC: 03D78 03D30 03B30 05C55 PDF BibTeX XML Cite \textit{A. Marcone} and \textit{M. Valenti}, J. Symb. Log. 86, No. 1, 316--351 (2021; Zbl 07370822) Full Text: DOI arXiv
Abascal, Jackson; Hemaspaandra, Lane A.; Maimon, Shir; Rubery, Daniel Closure and nonclosure properties of the classes of compressible and rankable sets. (English) Zbl 1515.68146 J. Comput. Syst. Sci. 120, 162-176 (2021). MSC: 68Q15 PDF BibTeX XML Cite \textit{J. Abascal} et al., J. Comput. Syst. Sci. 120, 162--176 (2021; Zbl 1515.68146) Full Text: DOI
Kalimullin, I. Sh.; Selivanov, V. L.; Frolov, A. N. Degree spectra of structures. (English. Russian original) Zbl 07364542 J. Math. Sci., New York 256, No. 2, 143-159 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23-39 (2018). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{I. Sh. Kalimullin} et al., J. Math. Sci., New York 256, No. 2, 143--159 (2021; Zbl 07364542); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 158, 23--39 (2018) Full Text: DOI
Selivanov, V. L. Precomplete numberings. (English. Russian original) Zbl 07364540 J. Math. Sci., New York 256, No. 1, 96-124 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106-134 (2018). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{V. L. Selivanov}, J. Math. Sci., New York 256, No. 1, 96--124 (2021; Zbl 07364540); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 106--134 (2018) Full Text: DOI
Frolov, A. N.; Zubkov, M. V. Computable linear orders and limitwise monotonic functions. (English. Russian original) Zbl 07364539 J. Math. Sci., New York 256, No. 1, 61-95 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70-105 (2018). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{A. N. Frolov} and \textit{M. V. Zubkov}, J. Math. Sci., New York 256, No. 1, 61--95 (2021; Zbl 07364539); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 70--105 (2018) Full Text: DOI
Bazhenov, N. A. Categoricity spectra of computable structures. (English. Russian original) Zbl 1485.03105 J. Math. Sci., New York 256, No. 1, 34-50 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42-58 (2018). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, J. Math. Sci., New York 256, No. 1, 34--50 (2021; Zbl 1485.03105); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42--58 (2018) Full Text: DOI
Arslanov, M. M.; Yamaleev, M. M. Turing computability: structural theory. (English. Russian original) Zbl 07364536 J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018). MSC: 03C57 03D25 03D28 03D45 03D55 PDF BibTeX XML Cite \textit{M. M. Arslanov} and \textit{M. M. Yamaleev}, J. Math. Sci., New York 256, No. 1, 1--33 (2021; Zbl 07364536); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8--41 (2018) Full Text: DOI
Kalimullin, Iskander; Melnikov, Alexander; Montalban, Antonio Punctual definability on structures. (English) Zbl 07358547 Ann. Pure Appl. Logic 172, No. 8, Article ID 102987, 18 p. (2021). MSC: 03D45 03C57 03D75 03D80 PDF BibTeX XML Cite \textit{I. Kalimullin} et al., Ann. Pure Appl. Logic 172, No. 8, Article ID 102987, 18 p. (2021; Zbl 07358547) Full Text: DOI
Koepke, P.; Morozov, A. S. Characterizations of ITBM-computability. I. (English. Russian original) Zbl 1515.03188 Algebra Logic 59, No. 6, 423-436 (2021); translation from Algebra Logika 59, No. 6, 627-648 (2020). MSC: 03D30 03D10 PDF BibTeX XML Cite \textit{P. Koepke} and \textit{A. S. Morozov}, Algebra Logic 59, No. 6, 423--436 (2021; Zbl 1515.03188); translation from Algebra Logika 59, No. 6, 627--648 (2020) Full Text: DOI
Agüero Trejo, José Manuel; Calude, Cristian S. A new quantum random number generator certified by value indefiniteness. (English) Zbl 1497.68232 Theor. Comput. Sci. 862, 3-13 (2021). MSC: 68Q30 68Q12 81P68 PDF BibTeX XML Cite \textit{J. M. Agüero Trejo} and \textit{C. S. Calude}, Theor. Comput. Sci. 862, 3--13 (2021; Zbl 1497.68232) Full Text: DOI arXiv
Calderoni, Luca; Margara, Luciano; Marzolla, Moreno Direct product primality testing of graphs is GI-hard. (English) Zbl 1502.68214 Theor. Comput. Sci. 860, 72-83 (2021). MSC: 68R10 05C76 68Q17 68Q25 PDF BibTeX XML Cite \textit{L. Calderoni} et al., Theor. Comput. Sci. 860, 72--83 (2021; Zbl 1502.68214) Full Text: DOI arXiv
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 1498.03065 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03B20 03B40 03D70 03D78 03F60 06B35 PDF BibTeX XML Cite \textit{U. Berger} and \textit{H. Tsuiki}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021; Zbl 1498.03065) Full Text: DOI arXiv
Pianigiani, Duccio; Sorbi, Andrea A note on uniform density in weak arithmetical theories. (English) Zbl 1477.03170 Arch. Math. Logic 60, No. 1-2, 211-225 (2021). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03D45 03F30 03F55 PDF BibTeX XML Cite \textit{D. Pianigiani} and \textit{A. Sorbi}, Arch. Math. Logic 60, No. 1--2, 211--225 (2021; Zbl 1477.03170) Full Text: DOI
Epstein, Rachel; Lange, Karen Agreement reducibility. (English) Zbl 1521.03121 Math. Log. Q. 66, No. 4, 448-465 (2020). MSC: 03D30 03D25 PDF BibTeX XML Cite \textit{R. Epstein} and \textit{K. Lange}, Math. Log. Q. 66, No. 4, 448--465 (2020; Zbl 1521.03121) Full Text: DOI
Zeugmann, Thomas On the interplay between inductive inference of recursive functions, complexity theory and recursive numberings. (English) Zbl 07633502 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 124-136 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{T. Zeugmann}, Lect. Notes Comput. Sci. 12098, 124--136 (2020; Zbl 07633502) Full Text: DOI
Pettorossi, Alberto A historical account of my early research interests. (English) Zbl 07453187 Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 1-28 (2020). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{A. Pettorossi}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 1--28 (2020; Zbl 07453187) Full Text: arXiv Link
Terwijn, Sebastiaan A. Computability in partial combinatory algebras. (English) Zbl 1465.03078 Bull. Symb. Log. 26, No. 3-4, 224-240 (2020). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D25 03B40 03D45 03D75 03D80 PDF BibTeX XML Cite \textit{S. A. Terwijn}, Bull. Symb. Log. 26, No. 3--4, 224--240 (2020; Zbl 1465.03078) Full Text: DOI arXiv
Konovalov, A. Yu. General recursive realizability and basic logic. (English. Russian original) Zbl 1485.03239 Algebra Logic 59, No. 5, 367-384 (2020); translation from Algebra Logika 59, No. 5, 542-566 (2020). MSC: 03F30 PDF BibTeX XML Cite \textit{A. Yu. Konovalov}, Algebra Logic 59, No. 5, 367--384 (2020; Zbl 1485.03239); translation from Algebra Logika 59, No. 5, 542--566 (2020) Full Text: DOI
Kalimullin, I. Sh.; Puzarenko, V. G.; Faizrakhmanov, M. Kh. Computable positive and Friedberg numberings in hyperarithmetic. (English. Russian original) Zbl 1484.03080 Algebra Logic 59, No. 1, 46-58 (2020); translation from Algebra Logika 59, No. 1, 66-83 (2020). MSC: 03D45 PDF BibTeX XML Cite \textit{I. Sh. Kalimullin} et al., Algebra Logic 59, No. 1, 46--58 (2020; Zbl 1484.03080); translation from Algebra Logika 59, No. 1, 66--83 (2020) Full Text: DOI
Dimitrov, R. D.; Harizanov, V.; Morozov, A. S. Turing degrees and automorphism groups of substructure lattices. (English. Russian original) Zbl 1484.03076 Algebra Logic 59, No. 1, 18-32 (2020); translation from Algebra Logika 59, No. 1, 27-47 (2020). MSC: 03D28 03D45 PDF BibTeX XML Cite \textit{R. D. Dimitrov} et al., Algebra Logic 59, No. 1, 18--32 (2020; Zbl 1484.03076); translation from Algebra Logika 59, No. 1, 27--47 (2020) Full Text: DOI arXiv
Selivanov, V. L. On degree spectra of topological spaces. (English) Zbl 1486.03074 Lobachevskii J. Math. 41, No. 2, 252-259 (2020). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{V. L. Selivanov}, Lobachevskii J. Math. 41, No. 2, 252--259 (2020; Zbl 1486.03074) Full Text: DOI
Dudakov, S. M. On undecidability of concatenation theory for one-symbol languages. (English) Zbl 1486.03073 Lobachevskii J. Math. 41, No. 2, 168-175 (2020). MSC: 03D35 03B25 03F30 03F35 PDF BibTeX XML Cite \textit{S. M. Dudakov}, Lobachevskii J. Math. 41, No. 2, 168--175 (2020; Zbl 1486.03073) Full Text: DOI
Valencia-Cabrera, Luis; Orellana-Martín, David; Martínez-del-Amor, Miguel Á.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J. From NP-completeness to DP-completeness: a membrane computing perspective. (English) Zbl 1445.68094 Complexity 2020, Article ID 6765097, 10 p. (2020). MSC: 68Q07 68Q15 68Q17 PDF BibTeX XML Cite \textit{L. Valencia-Cabrera} et al., Complexity 2020, Article ID 6765097, 10 p. (2020; Zbl 1445.68094) Full Text: DOI
Bazhenov, Nikolay; Kalimullin, Iskander; Melnikov, Alexander; Ng, Keng Meng Online presentations of finitely generated structures. (English) Zbl 1464.68443 Theor. Comput. Sci. 844, 195-216 (2020). MSC: 68W27 03D20 03D28 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Theor. Comput. Sci. 844, 195--216 (2020; Zbl 1464.68443) Full Text: DOI
Chitaia, Irakli; Ng, Keng Meng; Sorbi, Andrea; Yang, Yue Incomparability in local structures of \(s\)-degrees and \(Q\)-degrees. (English) Zbl 1461.03033 Arch. Math. Logic 59, No. 7-8, 777-791 (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 03D25 PDF BibTeX XML Cite \textit{I. Chitaia} et al., Arch. Math. Logic 59, No. 7--8, 777--791 (2020; Zbl 1461.03033) Full Text: DOI
Svozil, Karl Roots and (re)sources of value (in)definiteness versus contextuality. (English) Zbl 1498.81041 Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 521-544 (2020). MSC: 81P13 81P10 PDF BibTeX XML Cite \textit{K. Svozil}, in: Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. 521--544 (2020; Zbl 1498.81041) Full Text: DOI arXiv
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 1485.03244 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03F40 03F30 03C62 03H15 03A05 PDF BibTeX XML Cite \textit{W. Dean}, Rev. Symb. Log. 13, No. 3, 541--592 (2020; Zbl 1485.03244) Full Text: DOI
Lück, Martin On the complexity of linear temporal logic with team semantics. (English) Zbl 1477.68165 Theor. Comput. Sci. 837, 1-25 (2020). Reviewer: Giacomo Lenzi (Fisciano) MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{M. Lück}, Theor. Comput. Sci. 837, 1--25 (2020; Zbl 1477.68165) Full Text: DOI arXiv
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng Enumerating abelian \(p\)-groups. (English) Zbl 1457.03060 J. Algebra 560, 745-790 (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 20K10 PDF BibTeX XML Cite \textit{R. Downey} et al., J. Algebra 560, 745--790 (2020; Zbl 1457.03060) Full Text: DOI
Peretyat’kin, Mikhaĭl G. The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one. (English) Zbl 1437.03128 Sib. Èlektron. Mat. Izv. 17, 913-922 (2020). MSC: 03C57 03D45 03B10 03B25 03G05 PDF BibTeX XML Cite \textit{M. G. Peretyat'kin}, Sib. Èlektron. Mat. Izv. 17, 913--922 (2020; Zbl 1437.03128) Full Text: DOI
Khisamiev, A. N. Universal functions and \(K \Sigma \)-structures. (English. Russian original) Zbl 1481.03039 Sib. Math. J. 61, No. 3, 552-562 (2020); translation from Sib. Mat. Zh. 61, No. 3, 703-716 (2020). MSC: 03D60 PDF BibTeX XML Cite \textit{A. N. Khisamiev}, Sib. Math. J. 61, No. 3, 552--562 (2020; Zbl 1481.03039); translation from Sib. Mat. Zh. 61, No. 3, 703--716 (2020) Full Text: DOI
Andrews, Uri; Schweber, Noah; Sorbi, Andrea The theory of ceers computes true arithmetic. (English) Zbl 1442.03021 Ann. Pure Appl. Logic 171, No. 8, Article ID 102811, 22 p. (2020). Reviewer: Roman Murawski (Poznań) MSC: 03D25 03D30 03F30 PDF BibTeX XML Cite \textit{U. Andrews} et al., Ann. Pure Appl. Logic 171, No. 8, Article ID 102811, 22 p. (2020; Zbl 1442.03021) Full Text: DOI arXiv
Paolini, Luca; Piccolo, Mauro; Roversi, Luca A class of recursive permutations which is primitive recursive complete. (English) Zbl 1481.03031 Theor. Comput. Sci. 813, 218-233 (2020). MSC: 03D20 68Q09 PDF BibTeX XML Cite \textit{L. Paolini} et al., Theor. Comput. Sci. 813, 218--233 (2020; Zbl 1481.03031) Full Text: DOI Link
Matos, Armando B.; Paolini, Luca; Roversi, Luca The fixed point problem of a simple reversible language. (English) Zbl 1433.68079 Theor. Comput. Sci. 813, 143-154 (2020). MSC: 68N15 03B70 68N30 68Q09 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Theor. Comput. Sci. 813, 143--154 (2020; Zbl 1433.68079) Full Text: DOI Link
Andrews, Uri; Badaev, Serikzhan A. On isomorphism classes of computably enumerable equivalence relations. (English) Zbl 1452.03092 J. Symb. Log. 85, No. 1, 61-86 (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D25 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{S. A. Badaev}, J. Symb. Log. 85, No. 1, 61--86 (2020; Zbl 1452.03092) Full Text: DOI
Quinn, Sara B. Scott sentences for equivalence structures. (English) Zbl 1442.03025 Arch. Math. Logic 59, No. 3-4, 453-460 (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{S. B. Quinn}, Arch. Math. Logic 59, No. 3--4, 453--460 (2020; Zbl 1442.03025) Full Text: DOI
Bianchetti, Matteo Weaker variants of infinite time Turing machines. (English) Zbl 1455.03049 Arch. Math. Logic 59, No. 3-4, 335-365 (2020). Reviewer: Roman Murawski (Poznań) MSC: 03D10 03D60 03D78 68Q01 PDF BibTeX XML Cite \textit{M. Bianchetti}, Arch. Math. Logic 59, No. 3--4, 335--365 (2020; Zbl 1455.03049) Full Text: DOI
Calude, Cristian S.; Jain, Sanjay; Merkle, Wolfgang; Stephan, Frank Searching for shortest and least programs. (English) Zbl 1443.68074 Theor. Comput. Sci. 807, 114-127 (2020). Reviewer: Liang Yu (Nanjing) MSC: 68Q30 03D10 PDF BibTeX XML Cite \textit{C. S. Calude} et al., Theor. Comput. Sci. 807, 114--127 (2020; Zbl 1443.68074) Full Text: DOI
Morozov, A. S. \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\). (English. Russian original) Zbl 1498.03082 Algebra Logic 58, No. 5, 405-416 (2019); translation from Algebra Logika 58, No. 5, 609-626 (2019). MSC: 03C57 03D45 03D60 PDF BibTeX XML Cite \textit{A. S. Morozov}, Algebra Logic 58, No. 5, 405--416 (2019; Zbl 1498.03082); translation from Algebra Logika 58, No. 5, 609--626 (2019) Full Text: DOI
Goncharov, S. S.; Miller, R.; Harizanov, V. Turing degrees of complete formulas of almost prime models. (English. Russian original) Zbl 1485.03112 Algebra Logic 58, No. 3, 282-287 (2019); translation from Algebra Logika 58, No. 3, 417-425 (2019). MSC: 03C57 03D28 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov} et al., Algebra Logic 58, No. 3, 282--287 (2019; Zbl 1485.03112); translation from Algebra Logika 58, No. 3, 417--425 (2019) Full Text: DOI
Dorzhieva, M. V. Computable numberings of families of infinite sets. (English. Russian original) Zbl 1455.03053 Algebra Logic 58, No. 3, 224-231 (2019); translation from Algebra Logika 58, No. 3, 334-343 (2019). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D45 PDF BibTeX XML Cite \textit{M. V. Dorzhieva}, Algebra Logic 58, No. 3, 224--231 (2019; Zbl 1455.03053); translation from Algebra Logika 58, No. 3, 334--343 (2019) Full Text: DOI
Bazhenov, N. A.; Kalmurzaev, B. S. Weakly precomplete equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1485.03170 Algebra Logic 58, No. 3, 199-213 (2019); translation from Algebra Logika 58, No. 3, 297-319 (2019). MSC: 03D45 03D25 03D55 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{B. S. Kalmurzaev}, Algebra Logic 58, No. 3, 199--213 (2019; Zbl 1485.03170); translation from Algebra Logika 58, No. 3, 297--319 (2019) Full Text: DOI
Kalimullin, I. Sh.; Puzarenko, V. G.; Faizrahmanov, M. Kh. Partial decidable presentations in hyperarithmetic. (English. Russian original) Zbl 1481.03036 Sib. Math. J. 60, No. 3, 464-471 (2019); translation from Sib. Mat. Zh. 60, No. 3, 599-609 (2019). MSC: 03D45 03D60 03D25 PDF BibTeX XML Cite \textit{I. Sh. Kalimullin} et al., Sib. Math. J. 60, No. 3, 464--471 (2019; Zbl 1481.03036); translation from Sib. Mat. Zh. 60, No. 3, 599--609 (2019) Full Text: DOI
Aleksandrova, S. A.; Bazhenov, N. A. On decidability of list structures. (English. Russian original) Zbl 1481.03029 Sib. Math. J. 60, No. 3, 377-388 (2019); translation from Sib. Mat. Zh. 60, No. 3, 489-505 (2019). MSC: 03D05 68Q45 03B25 03D45 PDF BibTeX XML Cite \textit{S. A. Aleksandrova} and \textit{N. A. Bazhenov}, Sib. Math. J. 60, No. 3, 377--388 (2019; Zbl 1481.03029); translation from Sib. Mat. Zh. 60, No. 3, 489--505 (2019) Full Text: DOI
Yamada, Norihiro A game-semantic model of computation. (English) Zbl 1416.68073 Res. Math. Sci. 6, No. 1, Paper No. 3, 79 p. (2019). MSC: 68Q05 03D10 03D75 68Q55 PDF BibTeX XML Cite \textit{N. Yamada}, Res. Math. Sci. 6, No. 1, Paper No. 3, 79 p. (2019; Zbl 1416.68073) Full Text: DOI arXiv
Bazhenov, N. A.; Kalmurzaev, Birzhan S. Rogers semilattices for families of equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1445.03050 Sib. Math. J. 60, No. 2, 223-234 (2019); translation from Sib. Mat. Zh. 60, No. 2, 290-305 (2019). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D45 03D30 03D55 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{B. S. Kalmurzaev}, Sib. Math. J. 60, No. 2, 223--234 (2019; Zbl 1445.03050); translation from Sib. Mat. Zh. 60, No. 2, 290--305 (2019) Full Text: DOI
Blinov, K. V. Primitively recursively categorical linear orderings. (English. Russian original) Zbl 1477.03145 Sib. Math. J. 60, No. 1, 20-26 (2019); translation from Sib. Mat. Zh. 60, No. 1, 28-36 (2019). MSC: 03C57 03D45 06A05 PDF BibTeX XML Cite \textit{K. V. Blinov}, Sib. Math. J. 60, No. 1, 20--26 (2019; Zbl 1477.03145); translation from Sib. Mat. Zh. 60, No. 1, 28--36 (2019) Full Text: DOI
Shafer, Paul; Sorbi, Andrea Comparing the degrees of enumerability and the closed Medvedev degrees. (English) Zbl 1445.03048 Arch. Math. Logic 58, No. 5-6, 527-542 (2019). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D30 03D25 PDF BibTeX XML Cite \textit{P. Shafer} and \textit{A. Sorbi}, Arch. Math. Logic 58, No. 5--6, 527--542 (2019; Zbl 1445.03048) Full Text: DOI arXiv
Rossi, Lorenzo A unified theory of truth and paradox. (English) Zbl 07063890 Rev. Symb. Log. 12, No. 2, 209-254 (2019). MSC: 03B50 PDF BibTeX XML Cite \textit{L. Rossi}, Rev. Symb. Log. 12, No. 2, 209--254 (2019; Zbl 07063890) Full Text: DOI
Jain, Sanjay; Kinber, Efim Intrinsic complexity of partial learning. (English) Zbl 1473.68101 Theor. Comput. Sci. 776, 43-63 (2019). Reviewer: Ding-Xuan Zhou (Hong Kong) MSC: 68Q32 68Q45 PDF BibTeX XML Cite \textit{S. Jain} and \textit{E. Kinber}, Theor. Comput. Sci. 776, 43--63 (2019; Zbl 1473.68101) Full Text: DOI
Bazhenov, Nikolay; Mustafa, Manat; Yamaleev, Mars Elementary theories and hereditary undecidability for semilattices of numberings. (English) Zbl 1477.03168 Arch. Math. Logic 58, No. 3-4, 485-500 (2019). MSC: 03D45 03D25 03D35 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Arch. Math. Logic 58, No. 3--4, 485--500 (2019; Zbl 1477.03168) Full Text: DOI
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph On the hardness of analyzing probabilistic programs. (English) Zbl 1417.68054 Acta Inf. 56, No. 3, 255-285 (2019). MSC: 68Q17 68N30 68Q60 68Q87 PDF BibTeX XML Cite \textit{B. L. Kaminski} et al., Acta Inf. 56, No. 3, 255--285 (2019; Zbl 1417.68054) Full Text: DOI Link
Hemaspaandra, Lane A.; Rubery, Daniel Recursion-theoretic ranking and compression. (English) Zbl 1459.03059 J. Comput. Syst. Sci. 101, 31-41 (2019). Reviewer: Marius Zimand (Towson) MSC: 03D20 03D30 03D15 68Q25 PDF BibTeX XML Cite \textit{L. A. Hemaspaandra} and \textit{D. Rubery}, J. Comput. Syst. Sci. 101, 31--41 (2019; Zbl 1459.03059) Full Text: DOI arXiv