Morrill, Thomas Look, knave. (English) Zbl 07330710 Bull. Aust. Math. Soc. 103, No. 2, 210-217 (2021). MSC: 11B37 11B05 PDF BibTeX XML Cite \textit{T. Morrill}, Bull. Aust. Math. Soc. 103, No. 2, 210--217 (2021; Zbl 07330710) Full Text: DOI
Xue, Feng; Ai, Xia; Liu, Jiaqi On the convergence of recursive SURE for total variation minimization. (English) Zbl 07330238 J. Inverse Ill-Posed Probl. 29, No. 2, 203-217 (2021). MSC: 68U10 94A08 PDF BibTeX XML Cite \textit{F. Xue} et al., J. Inverse Ill-Posed Probl. 29, No. 2, 203--217 (2021; Zbl 07330238) Full Text: DOI
Rosenberg, Noah A. On the Colijn-Plazzotta numbering scheme for unlabeled binary rooted trees. (English) Zbl 07327703 Discrete Appl. Math. 291, 88-98 (2021). MSC: 11B PDF BibTeX XML Cite \textit{N. A. Rosenberg}, Discrete Appl. Math. 291, 88--98 (2021; Zbl 07327703) Full Text: DOI
Baran, Hynek Infinitely many commuting nonlocal symmetries for modified Martínez Alonso-Shabat equation. (English) Zbl 07319183 Commun. Nonlinear Sci. Numer. Simul. 96, Article ID 105692, 5 p. (2021). MSC: 35A30 35B06 35G20 37K06 37K10 PDF BibTeX XML Cite \textit{H. Baran}, Commun. Nonlinear Sci. Numer. Simul. 96, Article ID 105692, 5 p. (2021; Zbl 07319183) Full Text: DOI
Durand, Bruno; Romashchenko, Andrei The expressiveness of quasiperiodic and minimal shifts of finite type. (English) Zbl 07317322 Ergodic Theory Dyn. Syst. 41, No. 4, 1086-1138 (2021). MSC: 37B50 03D80 68R05 PDF BibTeX XML Cite \textit{B. Durand} and \textit{A. Romashchenko}, Ergodic Theory Dyn. Syst. 41, No. 4, 1086--1138 (2021; Zbl 07317322) Full Text: DOI
Pavlov, Ronnie; Vanier, Pascal The relationship between word complexity and computational complexity in subshifts. (English) Zbl 07314925 Discrete Contin. Dyn. Syst. 41, No. 4, 1627-1648 (2021). MSC: 37B10 03D15 03D40 08A50 PDF BibTeX XML Cite \textit{R. Pavlov} and \textit{P. Vanier}, Discrete Contin. Dyn. Syst. 41, No. 4, 1627--1648 (2021; Zbl 07314925) Full Text: DOI
Morozov, Oleg I. Integrability structures of the generalized Hunter-Saxton equation. (English) Zbl 07311018 Anal. Math. Phys. 11, No. 2, Paper No. 50, 22 p. (2021). MSC: 35G20 35Q60 17B50 22E70 PDF BibTeX XML Cite \textit{O. I. Morozov}, Anal. Math. Phys. 11, No. 2, Paper No. 50, 22 p. (2021; Zbl 07311018) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Completion of choice. (English) Zbl 07300475 Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021). MSC: 03B30 03D30 03D78 03F60 PDF BibTeX XML Cite \textit{V. Brattka} and \textit{G. Gherardi}, Ann. Pure Appl. Logic 172, No. 3, Article ID 102914, 31 p. (2021; Zbl 07300475) Full Text: DOI
Wagner, Stephan; Ziegler, Volker Irrationality of growth constants associated with polynomial recursions. (English) Zbl 07298075 J. Integer Seq. 24, No. 1, Article 21.1.6, 9 p. (2021). Reviewer: Jaroslav Hančl (Ostrava) MSC: 11J72 11B37 11J87 PDF BibTeX XML Cite \textit{S. Wagner} and \textit{V. Ziegler}, J. Integer Seq. 24, No. 1, Article 21.1.6, 9 p. (2021; Zbl 07298075) Full Text: Link
Fujiwara, Makoto; Kawai, Tatsuji Characterising Brouwer’s continuity by bar recursion on moduli of continuity. (English) Zbl 07297808 Arch. Math. Logic 60, No. 1-2, 241-263 (2021). MSC: 03F55 03F35 03F50 03F10 PDF BibTeX XML Cite \textit{M. Fujiwara} and \textit{T. Kawai}, Arch. Math. Logic 60, No. 1--2, 241--263 (2021; Zbl 07297808) Full Text: DOI
Kristiansen, Lars; Murwanashyaka, Juvenal First-order concatenation theory with bounded quantifiers. (English) Zbl 07297799 Arch. Math. Logic 60, No. 1-2, 77-104 (2021). MSC: 03B10 03B25 03D40 68R15 PDF BibTeX XML Cite \textit{L. Kristiansen} and \textit{J. Murwanashyaka}, Arch. Math. Logic 60, No. 1--2, 77--104 (2021; Zbl 07297799) Full Text: DOI
Freund, Anton; Rathjen, Michael Derivatives of normal functions in reverse mathematics. (English) Zbl 07285677 Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021). MSC: 03F15 03F35 03D60 03E10 PDF BibTeX XML Cite \textit{A. Freund} and \textit{M. Rathjen}, Ann. Pure Appl. Logic 172, No. 2, Article ID 102890, 50 p. (2021; Zbl 07285677) Full Text: DOI
Casati, Matteo; Wang, Jing Ping Recursion and Hamiltonian operators for integrable nonabelian difference equations. (English) Zbl 07278344 Nonlinearity 34, No. 1, 205-236 (2021). Reviewer: Ti-Jun Xiao (Fudan) MSC: 37K30 37K10 39A36 37K60 39A12 PDF BibTeX XML Cite \textit{M. Casati} and \textit{J. P. Wang}, Nonlinearity 34, No. 1, 205--236 (2021; Zbl 07278344) Full Text: DOI
Cenzer, Douglas (ed.); Porter, Christopher (ed.); Zapletal, Jindrich (ed.) Structure and randomness in computability and set theory. (English) Zbl 1454.03005 Hackensack, NJ: World Scientific (ISBN 978-981-322-822-1/hbk; 978-981-322-824-5/ebook). xx, 366 p. (2021). MSC: 03-02 03Exx 03Dxx 00B15 PDF BibTeX XML Cite \textit{D. Cenzer} (ed.) et al., Structure and randomness in computability and set theory. Hackensack, NJ: World Scientific (2021; Zbl 1454.03005) Full Text: DOI
Bashingwa, Jean Juste Harrisson; Kara, Abdul A basis of hierarchy of generalized symmetries and their conservation laws for the (3+1)-dimensional diffusion equation. (English) Zbl 07331984 J. Appl. Anal. Comput. 10, No. 5, 2163-2183 (2020). MSC: 47F05 51P05 PDF BibTeX XML Cite \textit{J. J. H. Bashingwa} and \textit{A. Kara}, J. Appl. Anal. Comput. 10, No. 5, 2163--2183 (2020; Zbl 07331984) Full Text: DOI
Aguilera, J. P. \(F_\sigma\) games and reflection in \(L(\mathbb{R})\). (English) Zbl 07326435 J. Symb. Log. 85, No. 3, 1102-1123 (2020). MSC: 03B30 03D60 03D70 03E15 03D60 PDF BibTeX XML Cite \textit{J. P. Aguilera}, J. Symb. Log. 85, No. 3, 1102--1123 (2020; Zbl 07326435) Full Text: DOI
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. (English) Zbl 07326432 J. Symb. Log. 85, No. 3, 1006-1043 (2020). MSC: 03D78 03D30 03B30 PDF BibTeX XML Cite \textit{T. Kihara} et al., J. Symb. Log. 85, No. 3, 1006--1043 (2020; Zbl 07326432) Full Text: DOI
Kozyrev, S. V. Genome as a functional program. (English) Zbl 07309032 Lobachevskii J. Math. 41, No. 12, 2326-2331 (2020). MSC: 68 90 PDF BibTeX XML Cite \textit{S. V. Kozyrev}, Lobachevskii J. Math. 41, No. 12, 2326--2331 (2020; Zbl 07309032) Full Text: DOI
Švejdar, Vítězslav Do we need recursion? (English) Zbl 07307098 Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 193-204 (2020). MSC: 03A05 03B42 03B45 03B65 PDF BibTeX XML Cite \textit{V. Švejdar}, in: The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24--28, 2019. London: College Publications. 193--204 (2020; Zbl 07307098)
Borot, Gaëtan Topological recursion and geometry. (English) Zbl 07305676 Rev. Math. Phys. 32, No. 10, Article ID 2030007, 50 p. (2020). MSC: 81T45 81T40 14H81 14N35 32G15 57R56 PDF BibTeX XML Cite \textit{G. Borot}, Rev. Math. Phys. 32, No. 10, Article ID 2030007, 50 p. (2020; Zbl 07305676) Full Text: DOI
Freund, Anton How strong are single fixed points of normal functions? (English) Zbl 07303641 J. Symb. Log. 85, No. 2, 709-732 (2020). MSC: 03B30 03F15 03E10 03D60 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 2, 709--732 (2020; Zbl 07303641) Full Text: DOI
Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars Multimodal dependent type theory. (English) Zbl 07299491 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 492-506 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{D. Gratzer} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 492--506 (2020; Zbl 07299491) Full Text: DOI
Denuit, Michel Investing in your own and peers’ risks: the simple analytics of P2P insurance. (English) Zbl 1455.91218 Eur. Actuar. J. 10, No. 2, 335-359 (2020). MSC: 91G05 PDF BibTeX XML Cite \textit{M. Denuit}, Eur. Actuar. J. 10, No. 2, 335--359 (2020; Zbl 1455.91218) Full Text: DOI
Alhaidari, A. D. Representation of the quantum mechanical wavefunction by orthogonal polynomials in the energy and physical parameters. (English) Zbl 1452.81094 Commun. Theor. Phys. 72, No. 1, Article ID 015104, 15 p. (2020). MSC: 81Q05 33C45 PDF BibTeX XML Cite \textit{A. D. Alhaidari}, Commun. Theor. Phys. 72, No. 1, Article ID 015104, 15 p. (2020; Zbl 1452.81094) Full Text: DOI
Parys, Paweł A type system describing unboundedness. (English) Zbl 07290417 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 07290417) Full Text: Link
Yu, Liang An application of recursion theory to analysis. (English) Zbl 07290398 Bull. Symb. Log. 26, No. 1, 15-25 (2020). MSC: 03D30 03D32 03D80 03E15 28A05 54H05 PDF BibTeX XML Cite \textit{L. Yu}, Bull. Symb. Log. 26, No. 1, 15--25 (2020; Zbl 07290398) Full Text: DOI
Karp, Steven N.; Williams, Lauren K.; Zhang, Yan X. Decompositions of amplituhedra. (English) Zbl 07290125 Ann. Inst. Henri Poincaré D, Comb. Phys. Interact. (AIHPD) 7, No. 3, 303-363 (2020). MSC: 81T13 81T60 14M15 05E99 05A18 15B48 52C35 PDF BibTeX XML Cite \textit{S. N. Karp} et al., Ann. Inst. Henri Poincaré D, Comb. Phys. Interact. (AIHPD) 7, No. 3, 303--363 (2020; Zbl 07290125) Full Text: DOI
Mannaa, Bassel; Møgelberg, Rasmus Ejlers; Veltri, Niccolò Ticking clocks as dependent right adjoints: denotational semantics for clocked type theory. (English) Zbl 07288622 Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{B. Mannaa} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 17, 31 p. (2020; Zbl 07288622) Full Text: Link arXiv
Borot, Gaëtan; Garcia-Failde, Elba Simple maps, Hurwitz numbers, and topological recursion. (English) Zbl 07286852 Commun. Math. Phys. 380, No. 2, 581-654 (2020). Reviewer: Andrew Bucki (Edmond) MSC: 37E15 05C30 05C10 53D42 15B52 57K20 PDF BibTeX XML Cite \textit{G. Borot} and \textit{E. Garcia-Failde}, Commun. Math. Phys. 380, No. 2, 581--654 (2020; Zbl 07286852) Full Text: DOI
Liu, Yanhong A.; Stoller, Scott D. Founded semantics and constraint semantics of logic rules. (English) Zbl 07285901 J. Log. Comput. 30, No. 8, 1609-1668 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{Y. A. Liu} and \textit{S. D. Stoller}, J. Log. Comput. 30, No. 8, 1609--1668 (2020; Zbl 07285901) Full Text: DOI
Gerdjikov, V. S.; Stefanov, A. A.; Iliev, I. D.; Boyadjiev, G. P.; Smirnov, A. O.; Matveev, V. B.; Pavlov, M. V. Recursion operators and hierarchies of mKdV equations related to the Kac-Moody algebras \(D_4^{(1)}\), \(D_4^{(2)}\), and \(D_4^{(3)}\). (English. Russian original) Zbl 07284331 Theor. Math. Phys. 204, No. 3, 1110-1129 (2020); translation from Teor. Mat. Fiz. 204, No. 3, 332-354 (2020). MSC: 37K10 37K20 35Q53 17B67 PDF BibTeX XML Cite \textit{V. S. Gerdjikov} et al., Theor. Math. Phys. 204, No. 3, 1110--1129 (2020; Zbl 07284331); translation from Teor. Mat. Fiz. 204, No. 3, 332--354 (2020) Full Text: DOI
Bizjak, Aleš; Ejlers Møgelberg, Rasmus Denotational semantics for guarded dependent type theory. (English) Zbl 07283038 Math. Struct. Comput. Sci. 30, No. 4, 342-378 (2020). MSC: 68 PDF BibTeX XML Cite \textit{A. Bizjak} and \textit{R. Ejlers Møgelberg}, Math. Struct. Comput. Sci. 30, No. 4, 342--378 (2020; Zbl 07283038) Full Text: DOI
Robič, Borut The foundations of computability theory. 2nd completely revised edition. (English) Zbl 1454.03004 Berlin: Springer (ISBN 978-3-662-62420-3/hbk; 978-3-662-62421-0/ebook). xxi, 422 p. (2020). MSC: 03-01 03Dxx 03-03 01A60 PDF BibTeX XML Cite \textit{B. Robič}, The foundations of computability theory. 2nd completely revised edition. Berlin: Springer (2020; Zbl 1454.03004) Full Text: DOI
Burr, Michael; Wolf, Christian Computability at zero temperature. (English) Zbl 1455.37032 Nonlinearity 33, No. 11, 6157-6175 (2020). Reviewer: Hasan Akin (Gaziantep) MSC: 37D35 37E45 03D15 37B10 37L40 03D80 PDF BibTeX XML Cite \textit{M. Burr} and \textit{C. Wolf}, Nonlinearity 33, No. 11, 6157--6175 (2020; Zbl 1455.37032) Full Text: DOI
Marchal, Olivier; Orantin, Nicolas Isomonodromic deformations of a rational differential system and reconstruction with the topological recursion: the \(\mathfrak{s} \mathfrak{l}_2\) case. (English) Zbl 07277860 J. Math. Phys. 61, No. 6, 061506, 33 p. (2020). Reviewer: Tsvetana Stoyanova (Sofia) MSC: 34M56 81Q20 PDF BibTeX XML Cite \textit{O. Marchal} and \textit{N. Orantin}, J. Math. Phys. 61, No. 6, 061506, 33 p. (2020; Zbl 07277860) Full Text: DOI
Verma, Ashish; Yadav, Sarasvati Recursion formulas for Srivastava’s general triple \(q\)-hypergeometric series. (English) Zbl 07274452 Afr. Mat. 31, No. 5-6, 869-885 (2020). MSC: 33D15 33D70 PDF BibTeX XML Cite \textit{A. Verma} and \textit{S. Yadav}, Afr. Mat. 31, No. 5--6, 869--885 (2020; Zbl 07274452) Full Text: DOI
Hertling, Peter Forests describing Wadge degrees and topological Weihrauch degrees of certain classes of functions and relations. (English) Zbl 07271576 Computability 9, No. 3-4, 249-307 (2020). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D30 03D55 PDF BibTeX XML Cite \textit{P. Hertling}, Computability 9, No. 3--4, 249--307 (2020; Zbl 07271576) Full Text: DOI
Goh, Jun Le Compositions of multivalued functions. (English) Zbl 07271575 Computability 9, No. 3-4, 231-247 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D30 PDF BibTeX XML Cite \textit{J. Le Goh}, Computability 9, No. 3--4, 231--247 (2020; Zbl 07271575) Full Text: DOI
Johnston, Reese Cantor-Bendixson ranks of effectively closed sets in admissible recursion theory. (English) Zbl 07271558 Computability 9, No. 2, 111-125 (2020). MSC: 03D PDF BibTeX XML Cite \textit{R. Johnston}, Computability 9, No. 2, 111--125 (2020; Zbl 07271558) Full Text: DOI
Powell, Thomas A unifying framework for continuity and complexity in higher types. (English) Zbl 07269245 Log. Methods Comput. Sci. 16, No. 3, Paper No. 17, 28 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{T. Powell}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 17, 28 p. (2020; Zbl 07269245) Full Text: Link arXiv
Zhao, Jiantang Recursive GM (1,1) forecasting model with forgetting factor. (Chinese. English summary) Zbl 07267299 Math. Pract. Theory 49, No. 24, 148-153 (2020). MSC: 93C41 93B70 60G25 PDF BibTeX XML Cite \textit{J. Zhao}, Math. Pract. Theory 49, No. 24, 148--153 (2020; Zbl 07267299)
Lara, Martin; López, Rosario; Pérez, Iván; San-Juan, Juan F. Exploring the long-term dynamics of perturbed Keplerian motion in high degree potential fields. (English) Zbl 07265078 Commun. Nonlinear Sci. Numer. Simul. 82, Article ID 105053, 18 p. (2020). MSC: 70 85 PDF BibTeX XML Cite \textit{M. Lara} et al., Commun. Nonlinear Sci. Numer. Simul. 82, Article ID 105053, 18 p. (2020; Zbl 07265078) Full Text: DOI
Fang, Bohan; Liu, Chiu-Chu Melissa; Zong, Zhengyu All-genus open-closed mirror symmetry for affine toric Calabi-Yau 3-orbifolds. (English) Zbl 07262965 Algebr. Geom. 7, No. 2, 192-239 (2020). MSC: 14N35 14J33 PDF BibTeX XML Cite \textit{B. Fang} et al., Algebr. Geom. 7, No. 2, 192--239 (2020; Zbl 07262965) Full Text: DOI
Wu, Huishan Bounded-low sets and the high/low hierarchy. (English) Zbl 07261475 Arch. Math. Logic 59, No. 7-8, 925-938 (2020). MSC: 03D10 03D25 03D30 PDF BibTeX XML Cite \textit{H. Wu}, Arch. Math. Logic 59, No. 7--8, 925--938 (2020; Zbl 07261475) Full Text: DOI
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars Classifying equivalence relations in the Ershov hierarchy. (English) Zbl 07261470 Arch. Math. Logic 59, No. 7-8, 835-864 (2020). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D55 03D30 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Arch. Math. Logic 59, No. 7--8, 835--864 (2020; Zbl 07261470) Full Text: DOI
Chitaia, Irakli; Ng, Keng Meng; Sorbi, Andrea; Yang, Yue Incomparability in local structures of \(s\)-degrees and \(Q\)-degrees. (English) Zbl 07261467 Arch. Math. Logic 59, No. 7-8, 777-791 (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{I. Chitaia} et al., Arch. Math. Logic 59, No. 7--8, 777--791 (2020; Zbl 07261467) Full Text: DOI
Fritz, Tobias Curious properties of free hypergraph \(C^*\)-algebras. (English) Zbl 07259984 J. Oper. Theory 83, No. 2, 423-445 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 46L99 03D80 81P13 03F40 PDF BibTeX XML Cite \textit{T. Fritz}, J. Oper. Theory 83, No. 2, 423--445 (2020; Zbl 07259984) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI
Cintioli, Patrizio Corrigendum to “Sets with no subsets of higher weak truth-table degree”, Reports on Mathematical Logic, 53 (2018), 3–17. (English) Zbl 07250412 Rep. Math. Logic 55, 143-144 (2020). MSC: 03D30 PDF BibTeX XML Cite \textit{P. Cintioli}, Rep. Math. Logic 55, 143--144 (2020; Zbl 07250412) Full Text: DOI
Hwang, Byung-Hak; Jung, Woo-Seok; Lee, Kang-Ju; Oh, Jaeseong; Yu, Sang-Hoon Acyclic orientation polynomials and the sink theorem for chromatic symmetric functions. (English) Zbl 1447.05210 Sémin. Lothar. Comb. 84B, 84B.54, 12 p. (2020). MSC: 05E05 05C31 PDF BibTeX XML Cite \textit{B.-H. Hwang} et al., Sémin. Lothar. Comb. 84B, 84B.54, 12 p. (2020; Zbl 1447.05210) Full Text: Link
Bao, Xiongxiong; Li, Ting Existence and stability of traveling waves for a competitive-cooperative recursion system. (English) Zbl 07244107 Electron. J. Differ. Equ. 2020, Paper No. 88, 17 p. (2020). MSC: 45G15 45M10 92D25 PDF BibTeX XML Cite \textit{X. Bao} and \textit{T. Li}, Electron. J. Differ. Equ. 2020, Paper No. 88, 17 p. (2020; Zbl 07244107) Full Text: Link
Freund, Anton Computable aspects of the Bachmann-Howard principle. (English) Zbl 07244013 J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D60 03F15 PDF BibTeX XML Cite \textit{A. Freund}, J. Math. Log. 20, No. 2, Article ID 2050006, 26 p. (2020; Zbl 07244013) Full Text: DOI
Fathalikhani, Khadijeh; Babai, Azam; Zemljič, Sara Sabrina The Graovac-Pisanski index of Sierpiński graphs. (English) Zbl 1446.05021 Discrete Appl. Math. 285, 30-42 (2020). MSC: 05C09 05C92 05C12 92E10 PDF BibTeX XML Cite \textit{K. Fathalikhani} et al., Discrete Appl. Math. 285, 30--42 (2020; Zbl 1446.05021) Full Text: DOI
Pinquet, Jean Poisson models with dynamic random effects and nonnegative credibilities per period. (English) Zbl 1447.91145 ASTIN Bull. 50, No. 2, 585-618 (2020). MSC: 91G05 PDF BibTeX XML Cite \textit{J. Pinquet}, ASTIN Bull. 50, No. 2, 585--618 (2020; Zbl 1447.91145) Full Text: DOI
Ray, Pallavi; Pati, Debdeep; Bhattacharya, Anirban Efficient Bayesian shape-restricted function estimation with constrained Gaussian process priors. (English) Zbl 1447.62137 Stat. Comput. 30, No. 4, 839-853 (2020). MSC: 62R10 62G07 60G15 62P35 PDF BibTeX XML Cite \textit{P. Ray} et al., Stat. Comput. 30, No. 4, 839--853 (2020; Zbl 1447.62137) Full Text: DOI
Rezuş, Adrian (ed.) Contemporary logic and computing. (English) Zbl 1446.03006 Landscapes in Logic 1. London: College Publications (ISBN 978-1-84890-340-1/pbk). vi, 730 p. (2020). MSC: 03-06 03Bxx 03Dxx 00B15 PDF BibTeX XML Cite \textit{A. Rezuş} (ed.), Contemporary logic and computing. London: College Publications (2020; Zbl 1446.03006)
Westrick, Linda An effective analysis of the Denjoy rank. (English) Zbl 07222690 Notre Dame J. Formal Logic 61, No. 2, 245-263 (2020). MSC: 03E15 26A39 03D45 03C57 03D25 03D30 03-02 PDF BibTeX XML Cite \textit{L. Westrick}, Notre Dame J. Formal Logic 61, No. 2, 245--263 (2020; Zbl 07222690) Full Text: DOI Euclid
Ng, Keng Meng; Yu, Hongyuan Effective domination and the bounded jump. (English) Zbl 07222687 Notre Dame J. Formal Logic 61, No. 2, 203-225 (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 03D28 PDF BibTeX XML Cite \textit{K. M. Ng} and \textit{H. Yu}, Notre Dame J. Formal Logic 61, No. 2, 203--225 (2020; Zbl 07222687) Full Text: DOI Euclid
Frittaion, Emanuele Completeness of the primitive recursive \(\omega \)-rule. (English) Zbl 07222140 Arch. Math. Logic 59, No. 5-6, 715-731 (2020). MSC: 03D20 03D70 03F03 PDF BibTeX XML Cite \textit{E. Frittaion}, Arch. Math. Logic 59, No. 5--6, 715--731 (2020; Zbl 07222140) Full Text: DOI
Terwijn, Sebastiaan A. The noneffectivity of Arslanov’s completeness criterion and related theorems. (English) Zbl 07222139 Arch. Math. Logic 59, No. 5-6, 703-713 (2020). MSC: 03D25 03D28 03B40 PDF BibTeX XML Cite \textit{S. A. Terwijn}, Arch. Math. Logic 59, No. 5--6, 703--713 (2020; Zbl 07222139) Full Text: DOI
Tian, Kai; Liu, Q. P.; Yue, Wen Jun Two super Camassa-Holm equations: reciprocal transformations and applications. (English) Zbl 1448.35457 J. Math. Phys. 61, No. 4, 043503, 12 p. (2020). Reviewer: Boris A. Malomed (Tel Aviv) MSC: 35Q53 37K10 PDF BibTeX XML Cite \textit{K. Tian} et al., J. Math. Phys. 61, No. 4, 043503, 12 p. (2020; Zbl 1448.35457) Full Text: DOI
Verma, Ashish; Sahai, Vivek Some recursion formulas for \(q\)-Lauricella series. (English) Zbl 1449.33017 Afr. Mat. 31, No. 3-4, 643-686 (2020). MSC: 33D15 33D70 PDF BibTeX XML Cite \textit{A. Verma} and \textit{V. Sahai}, Afr. Mat. 31, No. 3--4, 643--686 (2020; Zbl 1449.33017) Full Text: DOI
Chirvasitu, Alexandru; Cusick, Thomas W. Affine equivalence for quadratic rotation symmetric Boolean functions. (English) Zbl 07221090 Des. Codes Cryptography 88, No. 7, 1301-1329 (2020). Reviewer: Wilfried Meidl (Linz) MSC: 94A60 06E30 94D10 05E05 PDF BibTeX XML Cite \textit{A. Chirvasitu} and \textit{T. W. Cusick}, Des. Codes Cryptography 88, No. 7, 1301--1329 (2020; Zbl 07221090) Full Text: DOI
Kozyrev, Sergei V. Learning problem for functional programming and model of biological evolution. (English) Zbl 1447.92288 \(p\)-Adic Numbers Ultrametric Anal. Appl. 12, No. 2, 112-122 (2020). MSC: 92D15 92D10 68T05 PDF BibTeX XML Cite \textit{S. V. Kozyrev}, \(p\)-Adic Numbers Ultrametric Anal. Appl. 12, No. 2, 112--122 (2020; Zbl 1447.92288) Full Text: DOI
Mistryukov, A. V.; Ushakov, V. G. Sufficient conditions of the ergodicity of queueing systems with absolute priority. (English. Russian original) Zbl 1447.60137 Mosc. Univ. Comput. Math. Cybern. 44, No. 1, 37-43 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 1, 40-46 (2020). MSC: 60K25 90B22 PDF BibTeX XML Cite \textit{A. V. Mistryukov} and \textit{V. G. Ushakov}, Mosc. Univ. Comput. Math. Cybern. 44, No. 1, 37--43 (2020; Zbl 1447.60137); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 1, 40--46 (2020) Full Text: DOI
Downey, Rodney G.; Ng, Keng Meng; Solomon, Reed Minimal weak truth table degrees and computably enumerable Turing degrees. (English) Zbl 07213240 Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020). Reviewer: Patrizio Cintioli (Camerino) MSC: 03-02 03D25 03D28 03D30 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Minimal weak truth table degrees and computably enumerable Turing degrees. Providence, RI: American Mathematical Society (AMS) (2020; Zbl 07213240) Full Text: DOI
Chan, Timothy M. Tree drawings revisited. (English) Zbl 1442.05137 Discrete Comput. Geom. 63, No. 4, 799-820 (2020). MSC: 05C62 05C05 68R10 68U05 68Q25 65D18 68W25 PDF BibTeX XML Cite \textit{T. M. Chan}, Discrete Comput. Geom. 63, No. 4, 799--820 (2020; Zbl 1442.05137) Full Text: DOI
Chan, William; Chen, Ruiyuan Bounds on continuous Scott rank. (English) Zbl 07211084 Proc. Am. Math. Soc. 148, No. 8, 3591-3605 (2020). MSC: 03C57 03C75 03D60 03E15 PDF BibTeX XML Cite \textit{W. Chan} and \textit{R. Chen}, Proc. Am. Math. Soc. 148, No. 8, 3591--3605 (2020; Zbl 07211084) Full Text: DOI
Arai, Toshiyasu; Fernández-Duque, David; Wainer, Stanley; Weiermann, Andreas Predicatively unprovable termination of the Ackermannian Goodstein process. (English) Zbl 07211082 Proc. Am. Math. Soc. 148, No. 8, 3567-3582 (2020). MSC: 03F40 03D20 03D60 PDF BibTeX XML Cite \textit{T. Arai} et al., Proc. Am. Math. Soc. 148, No. 8, 3567--3582 (2020; Zbl 07211082) 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
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
Endrullis, Jörg; Klop, Jan Willem; Bakhshi, Rena Transducer degrees: atoms, infima and suprema. (English) Zbl 07203625 Acta Inf. 57, No. 3-5, 727-758 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 03D05 03D30 PDF BibTeX XML Cite \textit{J. Endrullis} et al., Acta Inf. 57, No. 3--5, 727--758 (2020; Zbl 07203625) Full Text: DOI
Chong, C. T.; Li, Wei; Wang, Wei; Yang, Yue On the strength of Ramsey’s theorem for trees. (English) Zbl 1444.03012 Adv. Math. 369, Article ID 107180, 38 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{C. T. Chong} et al., Adv. Math. 369, Article ID 107180, 38 p. (2020; Zbl 1444.03012) Full Text: DOI
Zhao, Lu; Qu, Changzheng Nonlocal symmetries of the Camassa-Holm type equations. (English) Zbl 1443.37050 Chin. Ann. Math., Ser. B 41, No. 3, 407-418 (2020). MSC: 37K06 37K10 35Q51 35B06 PDF BibTeX XML Cite \textit{L. Zhao} and \textit{C. Qu}, Chin. Ann. Math., Ser. B 41, No. 3, 407--418 (2020; Zbl 1443.37050) Full Text: DOI
Normann, Ben David; Clarkson, Chris Recursion relations for gravitational lensing. (English) Zbl 1441.83008 Gen. Relativ. Gravitation 52, No. 3, Paper No. 28, 18 p. (2020). Reviewer: Anthony D. Osborne (Keele) MSC: 83C10 53Z05 85A04 PDF BibTeX XML Cite \textit{B. D. Normann} and \textit{C. Clarkson}, Gen. Relativ. Gravitation 52, No. 3, Paper No. 28, 18 p. (2020; Zbl 1441.83008) Full Text: DOI
Edwards, Steven; Griffiths, William On generalized Delannoy numbers. (English) Zbl 1448.11029 J. Integer Seq. 23, No. 3, Article 20.3.6, 13 p. (2020). MSC: 11B37 05A19 11B75 PDF BibTeX XML Cite \textit{S. Edwards} and \textit{W. Griffiths}, J. Integer Seq. 23, No. 3, Article 20.3.6, 13 p. (2020; Zbl 1448.11029) Full Text: Link
Poças, Diogo; Zucker, Jeffery Tracking computability of GPAC-generable functions. (English) Zbl 07197415 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 214-235 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{D. Poças} and \textit{J. Zucker}, Lect. Notes Comput. Sci. 11972, 214--235 (2020; Zbl 07197415) Full Text: DOI
Sanders, Sam Splittings and disjunctions in reverse mathematics. (English) Zbl 07196092 Notre Dame J. Formal Logic 61, No. 1, 51-74 (2020). MSC: 03B30 03D65 03F35 PDF BibTeX XML Cite \textit{S. Sanders}, Notre Dame J. Formal Logic 61, No. 1, 51--74 (2020; Zbl 07196092) Full Text: DOI Euclid
Li, Wei-Bang; Chang, Shu-Chiuan Study of dimer-monomer on the generalized Hanoi graph. (English) Zbl 1449.05032 Comput. Appl. Math. 39, No. 2, Paper No. 77, 18 p. (2020). MSC: 05A20 05C70 82B20 PDF BibTeX XML Cite \textit{W.-B. Li} and \textit{S.-C. Chang}, Comput. Appl. Math. 39, No. 2, Paper No. 77, 18 p. (2020; Zbl 1449.05032) Full Text: DOI
Paolini, Luca; Piccolo, Mauro; Roversi, Luca A class of recursive permutations which is primitive recursive complete. (English) Zbl 07191316 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 07191316) Full Text: DOI
Kapron, Bruce M.; Steinberg, Florian Type-two polynomial-time and restricted lookahead. (English) Zbl 07191307 Theor. Comput. Sci. 813, 1-19 (2020). MSC: 03D65 PDF BibTeX XML Cite \textit{B. M. Kapron} and \textit{F. Steinberg}, Theor. Comput. Sci. 813, 1--19 (2020; Zbl 07191307) Full Text: DOI
Hirschfeldt, Denis R. A minimal pair in the generic degrees. (English) Zbl 1452.03094 J. Symb. Log. 85, No. 1, 531-537 (2020). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D30 PDF BibTeX XML Cite \textit{D. R. Hirschfeldt}, J. Symb. Log. 85, No. 1, 531--537 (2020; Zbl 1452.03094) Full Text: DOI
Freund, Anton Predicative collapsing principles. (English) Zbl 07190485 J. Symb. Log. 85, No. 1, 511-530 (2020). MSC: 03B30 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 85, No. 1, 511--530 (2020; Zbl 07190485) Full Text: DOI
Duparc, Jacques; Vuilleumier, Louis The Wadge order on the Scott domain is not a well-quasi-order. (English) Zbl 07190476 J. Symb. Log. 85, No. 1, 300-324 (2020). MSC: 03B70 03D30 03E15 54H05 68Q15 PDF BibTeX XML Cite \textit{J. Duparc} and \textit{L. Vuilleumier}, J. Symb. Log. 85, No. 1, 300--324 (2020; Zbl 07190476) Full Text: DOI
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna The complexity of identifying characteristic formulae. (English) Zbl 1433.68163 J. Log. Algebr. Methods Program. 112, Article ID 100529, 20 p. (2020). MSC: 68Q25 03B45 03B70 PDF BibTeX XML Cite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 112, Article ID 100529, 20 p. (2020; Zbl 1433.68163) Full Text: DOI
Afshari, Bahareh; Hetzl, Stefan; Leigh, Graham E. Herbrand’s theorem as higher order recursion. (English) Zbl 07189164 Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020). Reviewer: Annika Kanckos (Helsinki) MSC: 03F05 03F07 03D05 03F30 PDF BibTeX XML Cite \textit{B. Afshari} et al., Ann. Pure Appl. Logic 171, No. 6, Article ID 102792, 45 p. (2020; Zbl 07189164) 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
O’Meara, Kevin C. The Gerstenhaber problem for commuting triples of matrices is “decidable”. (English) Zbl 1436.15018 Commun. Algebra 48, No. 2, 453-466 (2020). MSC: 15A27 03D80 13E10 13E15 15A21 PDF BibTeX XML Cite \textit{K. C. O'Meara}, Commun. Algebra 48, No. 2, 453--466 (2020; Zbl 1436.15018) Full Text: DOI
Gheri, Lorenzo; Popescu, Andrei A formalized general theory of syntax with bindings: extended version. (English) Zbl 07187041 J. Autom. Reasoning 64, No. 4, 641-675 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{L. Gheri} and \textit{A. Popescu}, J. Autom. Reasoning 64, No. 4, 641--675 (2020; Zbl 07187041) 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
Bilanovic, Iva; Chubb, Jennifer; Roven, Sam Detecting properties from descriptions of groups. (English) Zbl 07184233 Arch. Math. Logic 59, No. 3-4, 293-312 (2020). MSC: 03D80 20F10 06F15 03D40 20F05 PDF BibTeX XML Cite \textit{I. Bilanovic} et al., Arch. Math. Logic 59, No. 3--4, 293--312 (2020; Zbl 07184233) Full Text: DOI
Zeinaly, Yashar; van Schuppen, Jan H.; Schutter, Bart De Linear positive systems may have a reachable subset from the origin that is either polyhedral or nonpolyhedral. (English) Zbl 1436.93066 SIAM J. Matrix Anal. Appl. 41, No. 1, 279-307 (2020). MSC: 93C28 93B03 93C55 93C05 PDF BibTeX XML Cite \textit{Y. Zeinaly} et al., SIAM J. Matrix Anal. Appl. 41, No. 1, 279--307 (2020; Zbl 1436.93066) Full Text: DOI
Normann, Dag; Sanders, Sam Pincherle’s theorem in reverse mathematics and computability theory. (English) Zbl 1443.03008 Ann. Pure Appl. Logic 171, No. 5, Article ID 102788, 41 p. (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 03D80 PDF BibTeX XML Cite \textit{D. Normann} and \textit{S. Sanders}, Ann. Pure Appl. Logic 171, No. 5, Article ID 102788, 41 p. (2020; Zbl 1443.03008) Full Text: DOI
Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems. (English) Zbl 1435.68077 Inf. Comput. 271, Article ID 104485, 38 p. (2020). MSC: 68P15 PDF BibTeX XML Cite \textit{S. Nieva} et al., Inf. Comput. 271, Article ID 104485, 38 p. (2020; Zbl 1435.68077) Full Text: DOI
Leivant, Daniel; Marion, Jean-Yves Primitive recursion in the abstract. (English) Zbl 1435.68064 Math. Struct. Comput. Sci. 30, No. 1, 33-43 (2020). MSC: 68N30 03C13 03D75 PDF BibTeX XML Cite \textit{D. Leivant} and \textit{J.-Y. Marion}, Math. Struct. Comput. Sci. 30, No. 1, 33--43 (2020; Zbl 1435.68064) Full Text: DOI
Cholak, Peter; Patey, Ludovic Thin set theorems and cone avoidance. (English) Zbl 1442.03007 Trans. Am. Math. Soc. 373, No. 4, 2743-2773 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05D10 PDF BibTeX XML Cite \textit{P. Cholak} and \textit{L. Patey}, Trans. Am. Math. Soc. 373, No. 4, 2743--2773 (2020; Zbl 1442.03007) Full Text: DOI
Wang, Xin A genus-4 topological recursion relation for Gromov-Witten invariants. (English) Zbl 1441.14188 Sci. China, Math. 63, No. 1, 101-112 (2020). MSC: 14N35 53D45 PDF BibTeX XML Cite \textit{X. Wang}, Sci. China, Math. 63, No. 1, 101--112 (2020; Zbl 1441.14188) Full Text: DOI
Marchal, Olivier Asymptotic expansions of some Toeplitz determinants via the topological recursion. (English) Zbl 1437.15049 Lett. Math. Phys. 110, No. 2, 211-258 (2020). Reviewer: Carlos Gabriel Pacheco (México D. F.) MSC: 15B52 15A15 15B05 60B20 PDF BibTeX XML Cite \textit{O. Marchal}, Lett. Math. Phys. 110, No. 2, 211--258 (2020; Zbl 1437.15049) Full Text: DOI
Primiero, Giuseppe On the foundations of computing. (English) Zbl 1450.68001 Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). Reviewer: Gudula Rünger (Chemnitz) MSC: 68-02 68-03 68Q01 PDF BibTeX XML Cite \textit{G. Primiero}, On the foundations of computing. Oxford: Oxford University Press (2020; Zbl 1450.68001)
von Schroeder, Jonathan; Dickhaus, Thorsten Efficient calculation of the joint distribution of order statistics. (English) Zbl 07160711 Comput. Stat. Data Anal. 144, Article ID 106899, 20 p. (2020). MSC: 62 PDF BibTeX XML Cite \textit{J. von Schroeder} and \textit{T. Dickhaus}, Comput. Stat. Data Anal. 144, Article ID 106899, 20 p. (2020; Zbl 07160711) Full Text: DOI