McInerney, Michael; Ng, Keng Meng Separating weak \(\alpha\)-change and \(\alpha\)-change genericity. (English) Zbl 07530350 Ann. Pure Appl. Logic 173, No. 7, Article ID 103134, 31 p. (2022). MSC: 03D25 03D55 03D80 03D28 PDF BibTeX XML Cite \textit{M. McInerney} and \textit{K. M. Ng}, Ann. Pure Appl. Logic 173, No. 7, Article ID 103134, 31 p. (2022; Zbl 07530350) Full Text: DOI OpenURL
Glück, Robert; Kaarsgaard, Robin; Yokoyama, Tetsuo From reversible programming languages to reversible metalanguages. (English) Zbl 07527764 Theor. Comput. Sci. 920, 46-63 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Glück} et al., Theor. Comput. Sci. 920, 46--63 (2022; Zbl 07527764) Full Text: DOI OpenURL
Schuster, Peter; Wessel, Daniel The Jacobson radical for an inconsistency predicate. (English) Zbl 07527242 Computability 11, No. 2, 147-162 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{P. Schuster} and \textit{D. Wessel}, Computability 11, No. 2, 147--162 (2022; Zbl 07527242) Full Text: DOI OpenURL
Golov, Anton; Terwijn, Sebastiaan A. Fixpoints and relative precompleteness. (English) Zbl 07527241 Computability 11, No. 2, 135-146 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{A. Golov} and \textit{S. A. Terwijn}, Computability 11, No. 2, 135--146 (2022; Zbl 07527241) Full Text: DOI OpenURL
Weihrauch, Klaus Intersection points of planar curves can be computed. (English) Zbl 07527240 Computability 11, No. 2, 113-133 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{K. Weihrauch}, Computability 11, No. 2, 113--133 (2022; Zbl 07527240) Full Text: DOI OpenURL
Lutz, Neil; Stull, D. M. Dimension spectra of lines. (English) Zbl 07527239 Computability 11, No. 2, 85-112 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{N. Lutz} and \textit{D. M. Stull}, Computability 11, No. 2, 85--112 (2022; Zbl 07527239) Full Text: DOI OpenURL
Danvy, Olivier Getting there and back again. (English) Zbl 07523101 Fundam. Inform. 185, No. 2, 115-183 (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{O. Danvy}, Fundam. Inform. 185, No. 2, 115--183 (2022; Zbl 07523101) Full Text: DOI OpenURL
Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars Modalities and parametric adjoints. (English) Zbl 07516329 ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Gratzer} et al., ACM Trans. Comput. Log. 23, No. 3, Article No. 18, 29 p. (2022; Zbl 07516329) Full Text: DOI OpenURL
Roitershtein, Alexander; Zhou, Zirou Distribution tails of a history-dependent random linear recursion. (English) Zbl 07511761 Stoch. Models 38, No. 2, 250-267 (2022). Reviewer: Denis R. Bell (Jacksonville) MSC: 39A50 34F05 37H12 60H25 60H30 33C15 PDF BibTeX XML Cite \textit{A. Roitershtein} and \textit{Z. Zhou}, Stoch. Models 38, No. 2, 250--267 (2022; Zbl 07511761) Full Text: DOI OpenURL
Statsenko, I. V. Application of multiharmonic numbers for the synthesis of closed forms of parametrically modified factorial generating sequences. (Russian. English summary) Zbl 07510659 Prikl. Diskretn. Mat. 2022, No. 55, 5-13 (2022). MSC: 11B73 05A15 PDF BibTeX XML Cite \textit{I. V. Statsenko}, Prikl. Diskretn. Mat. 2022, No. 55, 5--13 (2022; Zbl 07510659) Full Text: DOI MNR OpenURL
Rimányi, Richárd; Varchenko, Alexander The \({{\mathbb{F}}}_p\)-Selberg integral. (English) Zbl 07507215 Arnold Math. J. 8, No. 1, 39-60 (2022). MSC: 13A35 33C60 32G20 PDF BibTeX XML Cite \textit{R. Rimányi} and \textit{A. Varchenko}, Arnold Math. J. 8, No. 1, 39--60 (2022; Zbl 07507215) Full Text: DOI OpenURL
Liu, Lu; Patey, Ludovic The reverse mathematics of the thin set and Erdős-Moser theorems. (English) Zbl 07506780 J. Symb. Log. 87, No. 1, 313-346 (2022). MSC: 03D80 03F35 03B30 PDF BibTeX XML Cite \textit{L. Liu} and \textit{L. Patey}, J. Symb. Log. 87, No. 1, 313--346 (2022; Zbl 07506780) Full Text: DOI OpenURL
Patey, Ludovic Ramsey-like theorems and moduli of computation. (English) Zbl 07506771 J. Symb. Log. 87, No. 1, 72-108 (2022). MSC: 03B30 03D80 PDF BibTeX XML Cite \textit{L. Patey}, J. Symb. Log. 87, No. 1, 72--108 (2022; Zbl 07506771) Full Text: DOI OpenURL
Downey, Rod; Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan Relationships between computability-theoretic properties of problems. (English) Zbl 07506770 J. Symb. Log. 87, No. 1, 47-71 (2022). MSC: 03B30 03D30 03D80 PDF BibTeX XML Cite \textit{R. Downey} et al., J. Symb. Log. 87, No. 1, 47--71 (2022; Zbl 07506770) Full Text: DOI OpenURL
Faizrahmanov, M. Kh. On \(p \)-universal and \(p \)-minimal numberings. (English. Russian original) Zbl 07505250 Sib. Math. J. 63, No. 2, 365-373 (2022); translation from Sib. Mat. Zh. 63, No. 2, 440-449 (2022). MSC: 03Dxx 03-XX PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Sib. Math. J. 63, No. 2, 365--373 (2022; Zbl 07505250); translation from Sib. Mat. Zh. 63, No. 2, 440--449 (2022) Full Text: DOI OpenURL
Barnes, James S.; Goh, Jun Le; Shore, Richard A. Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis. (English) Zbl 07503072 Bull. Symb. Log. 28, No. 1, 133-149 (2022). MSC: 03B30 03D55 03F35 05C63 03D80 05C38 05C69 05C70 PDF BibTeX XML Cite \textit{J. S. Barnes} et al., Bull. Symb. Log. 28, No. 1, 133--149 (2022; Zbl 07503072) Full Text: DOI OpenURL
Hölzl, Rupert; Porter, Christopher P. Degrees of randomized computability. (English) Zbl 07503069 Bull. Symb. Log. 28, No. 1, 27-70 (2022). MSC: 03D28 03D30 03D32 68Q30 PDF BibTeX XML Cite \textit{R. Hölzl} and \textit{C. P. Porter}, Bull. Symb. Log. 28, No. 1, 27--70 (2022; Zbl 07503069) Full Text: DOI OpenURL
Wu, Huishan The computational complexity of module socles. (English) Zbl 07501983 Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022). MSC: 03D15 03D80 68Q15 68Q17 PDF BibTeX XML Cite \textit{H. Wu}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103089, 11 p. (2022; Zbl 07501983) Full Text: DOI OpenURL
Wang, Zhong Isoinertial operators around the KdV multi-solitons. (English) Zbl 07499492 Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 219, Article ID 112820, 24 p. (2022). MSC: 35Q35 35Q51 37K05 37K10 PDF BibTeX XML Cite \textit{Z. Wang}, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 219, Article ID 112820, 24 p. (2022; Zbl 07499492) Full Text: DOI OpenURL
Chitaia, Irakli; Omanadze, Roland Degree structures of conjunctive reducibility. (English) Zbl 07495452 Arch. Math. Logic 61, No. 1-2, 19-31 (2022). 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 07495452) Full Text: DOI OpenURL
Turner, Jonathan S.; Bulutoglu, Dursun A.; Baczkowski, Daniel; Geyer, Andrew J. Counting the decimation classes of binary vectors with relatively prime length and density. (English) Zbl 07490049 J. Algebr. Comb. 55, No. 1, 61-87 (2022). MSC: 90C10 05B10 05B20 05C25 20B05 20B25 PDF BibTeX XML Cite \textit{J. S. Turner} et al., J. Algebr. Comb. 55, No. 1, 61--87 (2022; Zbl 07490049) Full Text: DOI OpenURL
Iwaki, Kohei; Kidwai, Omar Topological recursion and uncoupled BPS structures. I: BPS spectrum and free energies. (English) Zbl 07483898 Adv. Math. 398, Article ID 108191, 54 p. (2022). Reviewer: Olivier Marchal (Saint-Etienne) MSC: 81T60 82B20 34M60 18G40 03D80 11B68 PDF BibTeX XML Cite \textit{K. Iwaki} and \textit{O. Kidwai}, Adv. Math. 398, Article ID 108191, 54 p. (2022; Zbl 07483898) Full Text: DOI arXiv OpenURL
Vu, Martin; Fernau, Henning Insertion-deletion systems with substitutions I. (English) Zbl 07481742 Computability 11, No. 1, 57-83 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Vu} and \textit{H. Fernau}, Computability 11, No. 1, 57--83 (2022; Zbl 07481742) Full Text: DOI OpenURL
Carl, Merlin Space-bounded OTMs and \(\operatorname{REG}^\infty \). (English) Zbl 07481741 Computability 11, No. 1, 41-56 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Carl}, Computability 11, No. 1, 41--56 (2022; Zbl 07481741) Full Text: DOI arXiv OpenURL
Sanders, Sam Countable sets versus sets that are countable in reverse mathematics. (English) Zbl 07481740 Computability 11, No. 1, 9-39 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{S. Sanders}, Computability 11, No. 1, 9--39 (2022; Zbl 07481740) Full Text: DOI arXiv OpenURL
Nielsen, Pace P. Definitional schemes for primitive recursive and computable functions. (English) Zbl 07481739 Computability 11, No. 1, 1-8 (2022). MSC: 03Dxx PDF BibTeX XML Cite \textit{P. P. Nielsen}, Computability 11, No. 1, 1--8 (2022; Zbl 07481739) Full Text: DOI OpenURL
Fiori-Carones, Marta; Shafer, Paul; Soldà, Giovanni An inside/outside Ramsey theorem and recursion theory. (English) Zbl 07479592 Trans. Am. Math. Soc. 375, No. 3, 1977-2024 (2022). MSC: 03B30 03D30 03F35 PDF BibTeX XML Cite \textit{M. Fiori-Carones} et al., Trans. Am. Math. Soc. 375, No. 3, 1977--2024 (2022; Zbl 07479592) Full Text: DOI arXiv OpenURL
Kahng, Byungik Maximal invariance of topologically almost continuous iterative dynamics. (English) Zbl 07477368 J. Korean Math. Soc. 59, No. 1, 105-127 (2022). MSC: 37B99 37E99 03E10 93C10 93C65 93B05 PDF BibTeX XML Cite \textit{B. Kahng}, J. Korean Math. Soc. 59, No. 1, 105--127 (2022; Zbl 07477368) Full Text: DOI OpenURL
Dubickas, Artūras Transcendency of some constants related to integer sequences of polynomial iterations. (English) Zbl 07472663 Ramanujan J. 57, No. 2, 569-581 (2022). Reviewer: Jaroslav Hančl (Ostrava) MSC: 11J81 11B37 11R06 PDF BibTeX XML Cite \textit{A. Dubickas}, Ramanujan J. 57, No. 2, 569--581 (2022; Zbl 07472663) Full Text: DOI OpenURL
Beknazaryan, Aleksandr; Adamic, Peter On a stochastic order induced by an extension of Panjer’s family of discrete distributions. (English) Zbl 07472641 Metrika 85, No. 1, 67-91 (2022). Reviewer: Klaus D. Schmidt (Dresden) MSC: 60Exx 62Exx PDF BibTeX XML Cite \textit{A. Beknazaryan} and \textit{P. Adamic}, Metrika 85, No. 1, 67--91 (2022; Zbl 07472641) Full Text: DOI OpenURL
Ostrovsky, Alexey On the widest class of completeness-preserving covering maps. (English) Zbl 07471574 Topology Appl. 308, Article ID 107998, 7 p. (2022). Reviewer: Shou Lin (Ningde) MSC: 54E50 54C10 54E40 03D99 PDF BibTeX XML Cite \textit{A. Ostrovsky}, Topology Appl. 308, Article ID 107998, 7 p. (2022; Zbl 07471574) Full Text: DOI OpenURL
Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D. The first-order theory of the computably enumerable equivalence relations in the uncountable setting. (English) Zbl 07471451 J. Log. Comput. 32, No. 1, 98-114 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{U. Andrews} et al., J. Log. Comput. 32, No. 1, 98--114 (2022; Zbl 07471451) Full Text: DOI OpenURL
Carl, Merlin Taming Koepke’s Zoo, II: Register machines. (English) Zbl 07458664 Ann. Pure Appl. Logic 173, No. 3, Article ID 103041, 30 p. (2022). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D60 03D10 03D65 03E15 03E75 PDF BibTeX XML Cite \textit{M. Carl}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103041, 30 p. (2022; Zbl 07458664) Full Text: DOI arXiv OpenURL
Freund, Anton Patterns of resemblance and Bachmann-Howard fixed points. (English) Zbl 07451871 Sel. Math., New Ser. 28, No. 1, Paper No. 19, 32 p. (2022). MSC: 03B30 03D60 03E10 03F15 PDF BibTeX XML Cite \textit{A. Freund}, Sel. Math., New Ser. 28, No. 1, Paper No. 19, 32 p. (2022; Zbl 07451871) Full Text: DOI arXiv OpenURL
Oitavem, Isabel The polynomial hierarchy of functions and its levels. (English) Zbl 07450579 Theor. Comput. Sci. 900, 25-34 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{I. Oitavem}, Theor. Comput. Sci. 900, 25--34 (2022; Zbl 07450579) Full Text: DOI OpenURL
Liu, Dongjie; Liu, Chein-Shan Two-point generalized Hermite interpolation: double-weight function and functional recursion methods for solving nonlinear equations. (English) Zbl 07442878 Math. Comput. Simul. 193, 317-330 (2022). MSC: 65-XX 41-XX PDF BibTeX XML Cite \textit{D. Liu} and \textit{C.-S. Liu}, Math. Comput. Simul. 193, 317--330 (2022; Zbl 07442878) Full Text: DOI OpenURL
Marchal, Olivier; Orantin, Nicolas Quantization of hyper-elliptic curves from isomonodromic systems and topological recursion. (English) Zbl 1482.53114 J. Geom. Phys. 171, Article ID 104407, 44 p. (2022). Reviewer: Mircea Crâşmăreanu (Iaşi) MSC: 53D50 PDF BibTeX XML Cite \textit{O. Marchal} and \textit{N. Orantin}, J. Geom. Phys. 171, Article ID 104407, 44 p. (2022; Zbl 1482.53114) Full Text: DOI arXiv OpenURL
Krasil’shchik, I. S.; Verbovetsky, A. M. Recursion operators in the cotangent covering of the rdDym equation. (English) Zbl 1477.35010 Anal. Math. Phys. 12, No. 1, Paper No. 1, 14 p. (2022). MSC: 35B06 35G20 PDF BibTeX XML Cite \textit{I. S. Krasil'shchik} and \textit{A. M. Verbovetsky}, Anal. Math. Phys. 12, No. 1, Paper No. 1, 14 p. (2022; Zbl 1477.35010) Full Text: DOI arXiv OpenURL
Kahrs, Stefan; Runciman, Colin Simplifying regular expressions further. (English) Zbl 07403415 J. Symb. Comput. 109, 124-143 (2022). MSC: 03D40 PDF BibTeX XML Cite \textit{S. Kahrs} and \textit{C. Runciman}, J. Symb. Comput. 109, 124--143 (2022; Zbl 07403415) Full Text: DOI OpenURL
Jenkins, Christopher; Stump, Aaron Monotone recursive types and recursive data representations in Cedille. (English) Zbl 07527575 Math. Struct. Comput. Sci. 31, No. 6, 682-745 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Jenkins} and \textit{A. Stump}, Math. Struct. Comput. Sci. 31, No. 6, 682--745 (2021; Zbl 07527575) Full Text: DOI OpenURL
Dumitrescu, Olivia; Mulase, Motohico Mirror curve of orbifold Hurwitz numbers. (English) Zbl 07523900 Rev. Roum. Math. Pures Appl. 66, No. 2, 307-328 (2021). MSC: 14N35 81T45 14N10 53D37 05A15 PDF BibTeX XML Cite \textit{O. Dumitrescu} and \textit{M. Mulase}, Rev. Roum. Math. Pures Appl. 66, No. 2, 307--328 (2021; Zbl 07523900) OpenURL
Kuznetsova, A. L.; Afonin, S. A. Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311 Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021). MSC: 68Qxx 03Dxx 03Cxx PDF BibTeX XML Cite \textit{A. L. Kuznetsova} and \textit{S. A. Afonin}, Mosc. Univ. Math. Bull. 76, No. 5, 230--233 (2021; Zbl 07514311); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57--60 (2021) Full Text: DOI OpenURL
Charoghchi, Sara; Mashhadi, Samaneh Three \((t, n )\)-secret image sharing schemes based on homogeneous linear recursion. (English) Zbl 07508123 Inf. Sci. 552, 220-243 (2021). MSC: 94A62 94A08 PDF BibTeX XML Cite \textit{S. Charoghchi} and \textit{S. Mashhadi}, Inf. Sci. 552, 220--243 (2021; Zbl 07508123) Full Text: DOI OpenURL
Selivanov, Victor; Selivanova, Svetlana Primitive recursive ordered fields and some applications. (English) Zbl 07497964 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 353-369 (2021). MSC: 68W30 PDF BibTeX XML Cite \textit{V. Selivanov} and \textit{S. Selivanova}, Lect. Notes Comput. Sci. 12865, 353--369 (2021; Zbl 07497964) Full Text: DOI OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction. (English. Russian original) Zbl 07485534 Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372-380 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608-619 (2021). MSC: 03Bxx 03Dxx 68Qxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 4, 372--380 (2021; Zbl 07485534); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 608--619 (2021) Full Text: DOI OpenURL
Camacho, Jan Tracy; Chavez, Anastasia Catalan recursion on externally ordered bases of unit interval positroids. (English) Zbl 1483.05017 Involve 14, No. 5, 893-905 (2021). MSC: 05B35 52B40 06A07 PDF BibTeX XML Cite \textit{J. T. Camacho} and \textit{A. Chavez}, Involve 14, No. 5, 893--905 (2021; Zbl 1483.05017) Full Text: DOI arXiv OpenURL
Paulson, Lawrence C. Ackermann’s function in iterative form: a proof assistant experiment. (English) Zbl 07482180 Bull. Symb. Log. 27, No. 4, 426-435 (2021). MSC: 03D99 03B35 68V20 PDF BibTeX XML Cite \textit{L. C. Paulson}, Bull. Symb. Log. 27, No. 4, 426--435 (2021; Zbl 07482180) Full Text: DOI arXiv OpenURL
BeMent, Zach; Hirst, Jeffry; Wallace, Asuka Reverse mathematics and Weihrauch analysis motivated by finite complexity theory. (English) Zbl 07481738 Computability 10, No. 4, 343-354 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{Z. BeMent} et al., Computability 10, No. 4, 343--354 (2021; Zbl 07481738) Full Text: DOI arXiv OpenURL
Miller, Justin Intermediate intrinsic density and randomness. (English) Zbl 07481737 Computability 10, No. 4, 327-341 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{J. Miller}, Computability 10, No. 4, 327--341 (2021; Zbl 07481737) Full Text: DOI arXiv OpenURL
Barnes, James The \(\Sigma_2\) theory of \(\mathscr{D}_h(\leq_h \mathcal{O})\) as an uppersemilattice with least and greatest element is decidable. (English) Zbl 07481736 Computability 10, No. 4, 305-325 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{J. Barnes}, Computability 10, No. 4, 305--325 (2021; Zbl 07481736) Full Text: DOI arXiv OpenURL
Carl, Merlin Effectivity and reducibility with ordinal Turing machines. (English) Zbl 07481735 Computability 10, No. 4, 289-304 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Carl}, Computability 10, No. 4, 289--304 (2021; Zbl 07481735) Full Text: DOI arXiv OpenURL
Ko, Liling Nonlowness is independent from fickleness. (English) Zbl 07481734 Computability 10, No. 4, 271-288 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{L. Ko}, Computability 10, No. 4, 271--288 (2021; Zbl 07481734) Full Text: DOI OpenURL
Dzhafarov, Damir; Flood, Stephen; Solomon, Reed; Westrick, Linda Effectiveness for the dual Ramsey theorem. (English) Zbl 07473054 Notre Dame J. Formal Logic 62, No. 3, 455-490 (2021). MSC: 03D80 05C55 03F60 03F35 03B30 PDF BibTeX XML Cite \textit{D. Dzhafarov} et al., Notre Dame J. Formal Logic 62, No. 3, 455--490 (2021; Zbl 07473054) Full Text: DOI arXiv OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 07471685 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 07471685) Full Text: arXiv Link OpenURL
Poças, Diogo; Zucker, Jeffery Tracking computability of GPAC-generable functions. (English) Zbl 07471470 J. Log. Comput. 31, No. 1, 326-346 (2021). MSC: 03D78 68Q04 PDF BibTeX XML Cite \textit{D. Poças} and \textit{J. Zucker}, J. Log. Comput. 31, No. 1, 326--346 (2021; Zbl 07471470) Full Text: DOI OpenURL
Andrews, Uri; Sorbi, Andrea Effective inseparability, lattices, and preordering relations. (English) Zbl 07469707 Rev. Symb. Log. 14, No. 4, 838-865 (2021). MSC: 03D30 03D45 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{A. Sorbi}, Rev. Symb. Log. 14, No. 4, 838--865 (2021; Zbl 07469707) Full Text: DOI arXiv OpenURL
Pagin, Peter Compositionality, computability, and complexity. (English) Zbl 07464262 Rev. Symb. Log. 14, No. 3, 551-591 (2021). MSC: 03D75 68Q55 PDF BibTeX XML Cite \textit{P. Pagin}, Rev. Symb. Log. 14, No. 3, 551--591 (2021; Zbl 07464262) Full Text: DOI OpenURL
Aguilera, J. P.; Welch, P. D. \(G_{\delta \sigma }\) games and induction on reals. (English) Zbl 07457795 J. Symb. Log. 86, No. 4, 1676-1690 (2021). MSC: 03B30 03D60 03D70 03E60 91A44 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{P. D. Welch}, J. Symb. Log. 86, No. 4, 1676--1690 (2021; Zbl 07457795) Full Text: DOI OpenURL
Aguilera, Juan P. The order of reflection. (English) Zbl 07457790 J. Symb. Log. 86, No. 4, 1555-1583 (2021). MSC: 03D60 03E45 03D40 03E10 PDF BibTeX XML Cite \textit{J. P. Aguilera}, J. Symb. Log. 86, No. 4, 1555--1583 (2021; Zbl 07457790) Full Text: DOI arXiv OpenURL
D’Auriac, Paul-Elliot Anglès; Kihara, Takayuki A comparison of various analytic choice principles. (English) Zbl 07457786 J. Symb. Log. 86, No. 4, 1452-1485 (2021). MSC: 03D30 03D55 03B30 PDF BibTeX XML Cite \textit{P.-E. A. D'Auriac} and \textit{T. Kihara}, J. Symb. Log. 86, No. 4, 1452--1485 (2021; Zbl 07457786) Full Text: DOI arXiv OpenURL
Kasymov, N. Kh.; Dadazhanov, R. N.; Djavliev, S. K. Structures of degrees of negative representations of linear orders. (English. Russian original) Zbl 07457391 Russ. Math. 65, No. 12, 27-46 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 12, 31-55 (2021). MSC: 03Dxx 03Cxx 08Axx PDF BibTeX XML Cite \textit{N. Kh. Kasymov} et al., Russ. Math. 65, No. 12, 27--46 (2021; Zbl 07457391); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 12, 31--55 (2021) Full Text: DOI OpenURL
Batyrshin, I. I. Asymptotic density and computability. (English. Russian original) Zbl 07457373 Russ. Math. 65, No. 10, 1-9 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 10, 3-14 (2021). MSC: 03Dxx 68Qxx 20Fxx PDF BibTeX XML Cite \textit{I. I. Batyrshin}, Russ. Math. 65, No. 10, 1--9 (2021; Zbl 07457373); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 10, 3--14 (2021) Full Text: DOI OpenURL
Batyrshin, I. I. On \(1\)-degrees inside \(m\)-degrees. (English) Zbl 07450536 Lobachevskii J. Math. 42, No. 12, 2740-2743 (2021). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D30 68-XX PDF BibTeX XML Cite \textit{I. I. Batyrshin}, Lobachevskii J. Math. 42, No. 12, 2740--2743 (2021; Zbl 07450536) Full Text: DOI OpenURL
Forrester, Peter J. Moments of the ground state density for the \(d\)-dimensional Fermi gas in an harmonic trap. (English) Zbl 1483.81172 Random Matrices Theory Appl. 10, No. 2, Article ID 2150018, 18 p. (2021). MSC: 81V74 82D05 15B52 03D80 82B30 28C20 PDF BibTeX XML Cite \textit{P. J. Forrester}, Random Matrices Theory Appl. 10, No. 2, Article ID 2150018, 18 p. (2021; Zbl 1483.81172) Full Text: DOI arXiv OpenURL
Hayashi, Fumio; Tachi, Yuta The nowcast revision analysis extended. (English) Zbl 1479.91266 Econ. Lett. 209, Article ID 110112, 5 p. (2021). MSC: 91B82 PDF BibTeX XML Cite \textit{F. Hayashi} and \textit{Y. Tachi}, Econ. Lett. 209, Article ID 110112, 5 p. (2021; Zbl 1479.91266) Full Text: DOI OpenURL
Hofstra, Pieter; Scott, Philip Aspects of categorical recursion theory. (English) Zbl 07440908 Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 219-269 (2021). Reviewer: Carlos Pedro Gonçalves (Lisboa) MSC: 81P68 68Q04 18-08 03D60 01A05 01-01 81-01 94-01 PDF BibTeX XML Cite \textit{P. Hofstra} and \textit{P. Scott}, Outst. Contrib. Log. 20, 219--269 (2021; Zbl 07440908) Full Text: DOI arXiv OpenURL
Cheng, Jia; Tian, Shou-Fu; Wu, Zhi-Jia On the \(\bar\partial \)-problem and dressing method for the complex vector modified KdV equation. (English. Russian original) Zbl 07440690 Theor. Math. Phys. 209, No. 2, 1579-1598 (2021); translation from Teor. Mat. Fiz. 209, No. 2, 304-325 (2021). MSC: 37K10 35Q53 37K40 PDF BibTeX XML Cite \textit{J. Cheng} et al., Theor. Math. Phys. 209, No. 2, 1579--1598 (2021; Zbl 07440690); translation from Teor. Mat. Fiz. 209, No. 2, 304--325 (2021) Full Text: DOI OpenURL
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 OpenURL
Boxma, Onno; Löpker, Andreas; Mandjes, Michel; Palmowski, Zbigniew A multiplicative version of the Lindley recursion. (English) Zbl 1475.60176 Queueing Syst. 98, No. 3-4, 225-245 (2021). MSC: 60K25 90B22 PDF BibTeX XML Cite \textit{O. Boxma} et al., Queueing Syst. 98, No. 3--4, 225--245 (2021; Zbl 1475.60176) Full Text: DOI arXiv OpenURL
Bruse, Florian; Lange, Martin Temporal logic with recursion. (English) Zbl 07433320 Inf. Comput. 281, Article ID 104804, 18 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Bruse} and \textit{M. Lange}, Inf. Comput. 281, Article ID 104804, 18 p. (2021; Zbl 07433320) Full Text: DOI OpenURL
Branahl, Johannes; Hock, Alexander; Wulkenhaar, Raimar Perturbative and geometric analysis of the quartic Kontsevich model. (English) Zbl 1480.81098 SIGMA, Symmetry Integrability Geom. Methods Appl. 17, Paper 085, 33 p. (2021). MSC: 81T18 81T16 14H81 32A20 PDF BibTeX XML Cite \textit{J. Branahl} et al., SIGMA, Symmetry Integrability Geom. Methods Appl. 17, Paper 085, 33 p. (2021; Zbl 1480.81098) Full Text: DOI arXiv OpenURL
Brown, Tyler A. Computing on the Banach space \(C[0,1]\). (English) Zbl 07429026 Computability 10, No. 3, 257-270 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{T. A. Brown}, Computability 10, No. 3, 257--270 (2021; Zbl 07429026) Full Text: DOI OpenURL
Cintioli, Patrizio Degrees of sets having no subsets of higher \(m\)- and \(tt\)-degree. (English) Zbl 07429025 Computability 10, No. 3, 235-255 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{P. Cintioli}, Computability 10, No. 3, 235--255 (2021; Zbl 07429025) Full Text: DOI OpenURL
Fiori-Carones, Marta; Marcone, Alberto To reorient is easier than to orient: an on-line algorithm for reorientation of graphs. (English) Zbl 07429024 Computability 10, No. 3, 215-233 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Fiori-Carones} and \textit{A. Marcone}, Computability 10, No. 3, 215--233 (2021; Zbl 07429024) Full Text: DOI arXiv OpenURL
Arthur, Katherine; Downey, Rod; Greenberg, Noam Maximality and collapse in the hierarchy of \(\alpha\)-c.a. degrees. (English) Zbl 07429023 Computability 10, No. 3, 181-214 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{K. Arthur} et al., Computability 10, No. 3, 181--214 (2021; Zbl 07429023) Full Text: DOI OpenURL
Al-Dayel, Ibrahim; Al Khalaf, Ahmad Completely \(0\)-simple semigroup with the basis property. (English) Zbl 07425648 Asian-Eur. J. Math. 14, No. 8, Article ID 2150141, 17 p. (2021). MSC: 20M05 03D40 PDF BibTeX XML Cite \textit{I. Al-Dayel} and \textit{A. Al Khalaf}, Asian-Eur. J. Math. 14, No. 8, Article ID 2150141, 17 p. (2021; Zbl 07425648) Full Text: DOI OpenURL
Yue, Chao; Xia, Tiecheng Algebro-geometric solutions of the coupled Chaffee-Infante reaction diffusion hierarchy. (English) Zbl 1483.37087 Adv. Math. Phys. 2021, Article ID 6618932, 21 p. (2021). Reviewer: Ahmed Lesfari (El Jadida) MSC: 37K20 37K10 14H70 35K57 PDF BibTeX XML Cite \textit{C. Yue} and \textit{T. Xia}, Adv. Math. Phys. 2021, Article ID 6618932, 21 p. (2021; Zbl 1483.37087) Full Text: DOI OpenURL
Goodrich, Christopher S.; Jonnalagadda, Jagan M. An analysis of polynomial sequences and their application to discrete fractional operators. (English) Zbl 07423075 J. Difference Equ. Appl. 27, No. 7, 1081-1102 (2021). MSC: 11B37 11B83 47B39 26A33 26A48 39A12 39A70 39B62 PDF BibTeX XML Cite \textit{C. S. Goodrich} and \textit{J. M. Jonnalagadda}, J. Difference Equ. Appl. 27, No. 7, 1081--1102 (2021; Zbl 07423075) Full Text: DOI OpenURL
Ninh, Anh Robust newsvendor problems with compound Poisson demands. (English) Zbl 1476.90027 Ann. Oper. Res. 302, No. 1, 327-338 (2021). MSC: 90B05 90B50 62P05 PDF BibTeX XML Cite \textit{A. Ninh}, Ann. Oper. Res. 302, No. 1, 327--338 (2021; Zbl 1476.90027) Full Text: DOI OpenURL
Verma, Ashish On the incomplete Srivastava’s triple hypergeometric matrix functions. (English) Zbl 1478.15015 Quaest. Math. 44, No. 7, 881-904 (2021). Reviewer: Bujar Fejzullahu (Presevo) MSC: 15A16 33C65 33C45 34A05 PDF BibTeX XML Cite \textit{A. Verma}, Quaest. Math. 44, No. 7, 881--904 (2021; Zbl 1478.15015) Full Text: DOI arXiv OpenURL
Nagata, Koji; Nakamura, Tadao A quantum algorithm for a FULL adder operation based on registers of the CPU in a quantum-gated computer. (English) Zbl 07420979 Int. J. Theor. Phys. 60, No. 8, 2986-2994 (2021). MSC: 68Qxx 81Pxx 03Dxx PDF BibTeX XML Cite \textit{K. Nagata} and \textit{T. Nakamura}, Int. J. Theor. Phys. 60, No. 8, 2986--2994 (2021; Zbl 07420979) Full Text: DOI OpenURL
Liu, Bing-Xin; Jiang, Dong-Huan; Liang, Xiang-Qian; Zhang, Yong-Hua A novel quantum voting scheme based on BB84-state. (English) Zbl 07420842 Int. J. Theor. Phys. 60, No. 4, 1339-1349 (2021). MSC: 68Qxx 81Pxx 03Dxx 11Yxx PDF BibTeX XML Cite \textit{B.-X. Liu} et al., Int. J. Theor. Phys. 60, No. 4, 1339--1349 (2021; Zbl 07420842) Full Text: DOI OpenURL
Starchak, M. R. A proof of Bel’tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma. (English. Russian original) Zbl 07419077 Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264-272 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455-466 (2021). MSC: 03Bxx 03Dxx 11Uxx PDF BibTeX XML Cite \textit{M. R. Starchak}, Vestn. St. Petersbg. Univ., Math. 54, No. 3, 264--272 (2021; Zbl 07419077); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 3, 455--466 (2021) Full Text: DOI OpenURL
McCarthy, Ethan Pointwise complexity of the derivative of a computable function. (English) Zbl 07417494 Arch. Math. Logic 60, No. 7-8, 981-994 (2021). MSC: 03D30 PDF BibTeX XML Cite \textit{E. McCarthy}, Arch. Math. Logic 60, No. 7--8, 981--994 (2021; Zbl 07417494) Full Text: DOI OpenURL
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 OpenURL
O’Meara, Kevin C. Corrigendum to: “The Gerstenhaber problem for commuting triples of matrices is ‘decidable’ ”. (English) Zbl 1472.15024 Commun. Algebra 49, No. 11, 5027-5028 (2021). MSC: 15A27 03D80 13E10 13E15 15A21 PDF BibTeX XML Cite \textit{K. C. O'Meara}, Commun. Algebra 49, No. 11, 5027--5028 (2021; Zbl 1472.15024) Full Text: DOI OpenURL
Goh, Jun Le; Pauly, Arno; Valenti, Manlio Finding descending sequences through ill-founded linear orders. (English) Zbl 07415227 J. Symb. Log. 86, No. 2, 817-854 (2021). MSC: 03D30 03D78 06A75 PDF BibTeX XML Cite \textit{J. Le Goh} et al., J. Symb. Log. 86, No. 2, 817--854 (2021; Zbl 07415227) Full Text: DOI arXiv OpenURL
Freund, Anton Well ordering principles and \(\Pi^1_4\)-statements: a pilot study. (English) Zbl 07415222 J. Symb. Log. 86, No. 2, 709-745 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund}, J. Symb. Log. 86, No. 2, 709--745 (2021; Zbl 07415222) Full Text: DOI arXiv OpenURL
Miller, Justin Intrinsic smallness. (English) Zbl 07415215 J. Symb. Log. 86, No. 2, 558-576 (2021). MSC: 03D30 PDF BibTeX XML Cite \textit{J. Miller}, J. Symb. Log. 86, No. 2, 558--576 (2021; Zbl 07415215) Full Text: DOI arXiv OpenURL
Monin, Benoit; Nies, André Muchnik degrees and cardinal characteristics. (English) Zbl 07415212 J. Symb. Log. 86, No. 2, 471-498 (2021). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D30 03E17 03D80 PDF BibTeX XML Cite \textit{B. Monin} and \textit{A. Nies}, J. Symb. Log. 86, No. 2, 471--498 (2021; Zbl 07415212) Full Text: DOI arXiv OpenURL
Maietti, Maria Emilia; Maschio, Samuele A predicative variant of Hyland’s effective topos. (English) Zbl 07415210 J. Symb. Log. 86, No. 2, 433-447 (2021). MSC: 03G30 03D20 03F55 03F30 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{S. Maschio}, J. Symb. Log. 86, No. 2, 433--447 (2021; Zbl 07415210) Full Text: DOI arXiv OpenURL
Greenberg, Noam; Harrison-Trainor, Matthew; Patey, Ludovic; Turetsky, Dan Computing sets from all infinite subsets. (English) Zbl 07412272 Trans. Am. Math. Soc. 374, No. 11, 8131-8160 (2021). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D99 03D28 PDF BibTeX XML Cite \textit{N. Greenberg} et al., Trans. Am. Math. Soc. 374, No. 11, 8131--8160 (2021; Zbl 07412272) Full Text: DOI arXiv OpenURL
Arslanov, M. M.; Batyrshin, I. I.; Yamaleev, M. M. CEA operators and the ershov hierarchy. (English. Russian original) Zbl 07411082 Russ. Math. 65, No. 8, 63-69 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 7, 72-79 (2021). MSC: 03Dxx 03-XX 68-XX PDF BibTeX XML Cite \textit{M. M. Arslanov} et al., Russ. Math. 65, No. 8, 63--69 (2021; Zbl 07411082); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 7, 72--79 (2021) Full Text: DOI OpenURL
Altenkirch, Thorsten; Boulier, Simon; Kaposi, Ambrus; Sattler, Christian; Sestini, Filippo Constructing a universe for the setoid model. (English) Zbl 07410416 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 1-21 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 12650, 1--21 (2021; Zbl 07410416) Full Text: DOI OpenURL
Chesebro, Eric; Emlen, Cory; Ke, Kenton; LaFontaine, Denise; McKinnie, Kelly; Rigby, Catherine Farey recursive functions. (English) Zbl 1478.05007 Involve 14, No. 3, 439-461 (2021). MSC: 05A10 57K10 57K32 PDF BibTeX XML Cite \textit{E. Chesebro} et al., Involve 14, No. 3, 439--461 (2021; Zbl 1478.05007) Full Text: DOI arXiv OpenURL
Prodinger, Helmut An elementary approach to solve recursions relative to the enumeration of S-Motzkin paths. (English) Zbl 1475.05011 J. Difference Equ. Appl. 27, No. 5, 776-785 (2021). Reviewer: Matthieu Josuat-Vergès (Paris) MSC: 05A15 05A05 PDF BibTeX XML Cite \textit{H. Prodinger}, J. Difference Equ. Appl. 27, No. 5, 776--785 (2021; Zbl 1475.05011) Full Text: DOI arXiv OpenURL
Freund, Fabian; Siri-Jégousse, Arno The minimal observable clade size of exchangeable coalescents. (English) Zbl 1472.92007 Braz. J. Probab. Stat. 35, No. 2, 281-292 (2021). MSC: 92B10 92D10 92B15 PDF BibTeX XML Cite \textit{F. Freund} and \textit{A. Siri-Jégousse}, Braz. J. Probab. Stat. 35, No. 2, 281--292 (2021; Zbl 1472.92007) Full Text: DOI arXiv OpenURL
Habibullin, Ismagil Talgatovich; Khakimova, Aigul Rinatovna; Smirnov, Aleksandr Olegovich Generalized invariant manifolds for integrable equations and their applications. (English) Zbl 07407674 Ufim. Mat. Zh. 13, No. 2, 141-157 (2021) and Ufa Math. J. 13, No. 2, 135-151 (2021). MSC: 35Q51 35Q53 35Q55 PDF BibTeX XML Cite \textit{I. T. Habibullin} et al., Ufim. Mat. Zh. 13, No. 2, 141--157 (2021; Zbl 07407674) Full Text: DOI arXiv MNR OpenURL
Takei, Yumiko Voros coefficients and the topological recursion for the hypergeometric differential equation of type \((1,4)\). (English) Zbl 1476.81059 Integral Transforms Spec. Funct. 32, No. 5-8, 647-659 (2021). MSC: 81R10 81T45 81Q20 PDF BibTeX XML Cite \textit{Y. Takei}, Integral Transforms Spec. Funct. 32, No. 5--8, 647--659 (2021; Zbl 1476.81059) Full Text: DOI arXiv OpenURL
Aguilera, J. P. A characterization of \(\Sigma_1^1\)-reflecting ordinals. (English) Zbl 07404813 Ann. Pure Appl. Logic 172, No. 10, Article ID 103009, 9 p. (2021). MSC: 03D55 03D60 03E15 03E45 PDF BibTeX XML Cite \textit{J. P. Aguilera}, Ann. Pure Appl. Logic 172, No. 10, Article ID 103009, 9 p. (2021; Zbl 07404813) Full Text: DOI OpenURL