Bufetov, Alexander I.; Nivasch, Gabriel; Pakhomov, Fedor Generalized fusible numbers and their ordinals. (English) Zbl 07748764 Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024). MSC: 03F15 03D60 03B70 PDF BibTeX XML Cite \textit{A. I. Bufetov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103355, 25 p. (2024; Zbl 07748764) Full Text: DOI arXiv
Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander Primitive recursive reverse mathematics. (English) Zbl 07748763 Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024). MSC: 03B30 03F35 03D20 03C57 03D78 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024; Zbl 07748763) Full Text: DOI arXiv
Semenov, A. L.; Soprunov, S. F.; Ivanov-Pogodaev, I. A. Creating new mathematics by schoolchildren. (English. Russian original) Zbl 07772668 Dokl. Math. 107, Part Suppl. 1, S132-S136 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 138-143 (2023). MSC: 03Bxx 47Bxx 03Dxx PDF BibTeX XML Cite \textit{A. L. Semenov} et al., Dokl. Math. 107, Part Suppl. 1, S132--S136 (2023; Zbl 07772668); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 511, 138--143 (2023) Full Text: DOI
Ishkuvatov, Ruslan; Musatov, Daniil; Shen, Alexander Approximating Kolmogorov complexity. (English) Zbl 07772626 Computability 12, No. 3, 283-297 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{R. Ishkuvatov} et al., Computability 12, No. 3, 283--297 (2023; Zbl 07772626) Full Text: DOI
Faizrahmanov, Marat Numberings, c.e. oracles, and fixed points. (English) Zbl 07772625 Computability 12, No. 3, 271-282 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{M. Faizrahmanov}, Computability 12, No. 3, 271--282 (2023; Zbl 07772625) Full Text: DOI
Amir, Djamel Eddine; Hoyrup, Mathieu Strong computable type. (English) Zbl 07772624 Computability 12, No. 3, 227-269 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{D. E. Amir} and \textit{M. Hoyrup}, Computability 12, No. 3, 227--269 (2023; Zbl 07772624) Full Text: DOI arXiv
Hirst, Jeffry L.; Mummert, Carl Banach’s theorem in higher-order reverse mathematics. (English) Zbl 07772623 Computability 12, No. 3, 203-225 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{J. L. Hirst} and \textit{C. Mummert}, Computability 12, No. 3, 203--225 (2023; Zbl 07772623) Full Text: DOI arXiv
Chawin, Dror; Haviv, Ishay Improved NP-hardness of approximation for orthogonality dimension and minrank. (English) Zbl 07771537 SIAM J. Discrete Math. 37, No. 4, 2670-2688 (2023). MSC: 05C15 05C20 03D15 05C50 68R10 68Q25 PDF BibTeX XML Cite \textit{D. Chawin} and \textit{I. Haviv}, SIAM J. Discrete Math. 37, No. 4, 2670--2688 (2023; Zbl 07771537) Full Text: DOI arXiv
Camrud, Caleb Generalized effective completeness for continuous logic. (English) Zbl 07770954 J. Log. Anal. 15, Paper No. 4, 17 p. (2023). MSC: 03C57 03D78 03B52 03D45 PDF BibTeX XML Cite \textit{C. Camrud}, J. Log. Anal. 15, Paper No. 4, 17 p. (2023; Zbl 07770954) Full Text: DOI arXiv
Neri, Morenikeji; Powell, Thomas A computational study of a class of recursive inequalities. (English) Zbl 07770953 J. Log. Anal. 15, Paper No. 3, 48 p. (2023). MSC: 03F10 03D80 40A05 47H10 46N10 PDF BibTeX XML Cite \textit{M. Neri} and \textit{T. Powell}, J. Log. Anal. 15, Paper No. 3, 48 p. (2023; Zbl 07770953) Full Text: DOI arXiv
Marchenkov, Sergey S. On polynomial-modular recursive sequences. (English. Russian original) Zbl 07767367 Discrete Math. Appl. 33, No. 5, 293-298 (2023); translation from Diskretn. Mat. 34, No. 2, 43-49 (2022). MSC: 68Qxx 03Dxx 11Bxx PDF BibTeX XML Cite \textit{S. S. Marchenkov}, Discrete Math. Appl. 33, No. 5, 293--298 (2023; Zbl 07767367); translation from Diskretn. Mat. 34, No. 2, 43--49 (2022) Full Text: DOI
Gupal, A. M.; Vagis, O. A. Incompleteness of arithmetic from the viewpoint of Diophantine set theory. (English. Ukrainian original) Zbl 07765730 Cybern. Syst. Anal. 59, No. 5, 698-703 (2023); translation from Kibern. Sist. Anal. 59, No. 5, 16-21 (2023). MSC: 03Dxx 03-XX 03Bxx PDF BibTeX XML Cite \textit{A. M. Gupal} and \textit{O. A. Vagis}, Cybern. Syst. Anal. 59, No. 5, 698--703 (2023; Zbl 07765730); translation from Kibern. Sist. Anal. 59, No. 5, 16--21 (2023) Full Text: DOI
Arutyunov, A. A. Differential calculuses on group algebras. (English. Russian original) Zbl 07763835 Russ. Math. 67, No. 6, 77-81 (2023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 6, 89-94 (2023). MSC: 16Sxx 20Cxx 03Dxx PDF BibTeX XML Cite \textit{A. A. Arutyunov}, Russ. Math. 67, No. 6, 77--81 (2023; Zbl 07763835); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 6, 89--94 (2023) Full Text: DOI
Faizrahmanov, M. Kh. Effectively infinite classes of numberings of computable families of reals. (English. Russian original) Zbl 07763826 Russ. Math. 67, No. 5, 72-75 (2023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 5, 96-100 (2023). MSC: 03Dxx 03-XX 68Qxx PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Russ. Math. 67, No. 5, 72--75 (2023; Zbl 07763826); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 5, 96--100 (2023) Full Text: DOI
Cardona, Robert; Miranda, Eva; Peralta-Salas, Daniel Looking at Euler flows through a contact mirror: universality and undecidability. (English) Zbl 07763397 Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 367-393 (2023). MSC: 35Q31 76B03 37J06 03D78 57R17 35A01 35A02 35R01 PDF BibTeX XML Cite \textit{R. Cardona} et al., in: European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20--26, 2021. Berlin: European Mathematical Society (EMS). 367--393 (2023; Zbl 07763397) Full Text: DOI arXiv
Frolov, A. N.; Zubkov, M. V. Punctual 1-linear orders. (English) Zbl 07759398 Lobachevskii J. Math. 44, No. 7, 2669-2674 (2023). MSC: 03Dxx 03Cxx 06Axx PDF BibTeX XML Cite \textit{A. N. Frolov} and \textit{M. V. Zubkov}, Lobachevskii J. Math. 44, No. 7, 2669--2674 (2023; Zbl 07759398) Full Text: DOI
Jirásek, Jozef; McQuillan, Ian Visit-bounded stack automata. (English) Zbl 07757145 Theory Comput. Syst. 67, No. 5, 956-975 (2023). MSC: 68Qxx 68-XX 03Dxx PDF BibTeX XML Cite \textit{J. Jirásek} and \textit{I. McQuillan}, Theory Comput. Syst. 67, No. 5, 956--975 (2023; Zbl 07757145) Full Text: DOI
Freund, Anton; Rathjen, Michael Well ordering principles for iterated \(\Pi^1_1\)-comprehension. (English) Zbl 07756888 Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023). MSC: 03B30 03D60 03E10 03F15 03F35 PDF BibTeX XML Cite \textit{A. Freund} and \textit{M. Rathjen}, Sel. Math., New Ser. 29, No. 5, Paper No. 76, 83 p. (2023; Zbl 07756888) Full Text: DOI arXiv OA License
Szudzik, Matthew P. Semantics of computable physical models. (English) Zbl 07755334 Stud. Log. 111, No. 5, 779-819 (2023). MSC: 03A10 03C98 03C57 03D78 PDF BibTeX XML Cite \textit{M. P. Szudzik}, Stud. Log. 111, No. 5, 779--819 (2023; Zbl 07755334) Full Text: DOI arXiv OA License
Leonetti, Paolo Quasi-arithmetic means ad libitum. (English) Zbl 07753751 Result. Math. 78, No. 6, Paper No. 238, 11 p. (2023). MSC: 11B05 26B25 52B55 03D25 PDF BibTeX XML Cite \textit{P. Leonetti}, Result. Math. 78, No. 6, Paper No. 238, 11 p. (2023; Zbl 07753751) Full Text: DOI arXiv OA License
Meer, Klaus Proof verification in real number complexity. (English) Zbl 07753415 Pure Appl. Funct. Anal. 8, No. 4, 1135-1157 (2023). MSC: 68Q15 68Q25 68Q60 03D78 PDF BibTeX XML Cite \textit{K. Meer}, Pure Appl. Funct. Anal. 8, No. 4, 1135--1157 (2023; Zbl 07753415) Full Text: Link
Manin, Fedor Rational homotopy type and computability. (English) Zbl 07749826 Found. Comput. Math. 23, No. 5, 1817-1849 (2023). MSC: 55Q05 55-08 03D35 55P62 PDF BibTeX XML Cite \textit{F. Manin}, Found. Comput. Math. 23, No. 5, 1817--1849 (2023; Zbl 07749826) Full Text: DOI arXiv
Camrud, Caleb; Goldbring, Isaac; McNicholl, Timothy H. On the complexity of the theory of a computably presented metric structure. (English) Zbl 07742505 Arch. Math. Logic 62, No. 7-8, 1111-1129 (2023). MSC: 03C57 03D78 03C75 03B52 PDF BibTeX XML Cite \textit{C. Camrud} et al., Arch. Math. Logic 62, No. 7--8, 1111--1129 (2023; Zbl 07742505) Full Text: DOI arXiv
Arant, Tyler Recursive Polish spaces. (English) Zbl 07742504 Arch. Math. Logic 62, No. 7-8, 1101-1110 (2023). MSC: 03D45 03E15 PDF BibTeX XML Cite \textit{T. Arant}, Arch. Math. Logic 62, No. 7--8, 1101--1110 (2023; Zbl 07742504) Full Text: DOI OA License
Wu, Huishan Structure of semisimple rings in reverse and computable mathematics. (English) Zbl 07742503 Arch. Math. Logic 62, No. 7-8, 1083-1100 (2023). MSC: 03B30 03D15 PDF BibTeX XML Cite \textit{H. Wu}, Arch. Math. Logic 62, No. 7--8, 1083--1100 (2023; Zbl 07742503) Full Text: DOI
Kihara, Takayuki; Sasaki, Kenta A syntactic approach to Borel functions: some extensions of Louveau’s theorem. (English) Zbl 07742502 Arch. Math. Logic 62, No. 7-8, 1041-1082 (2023). MSC: 03E15 03D55 PDF BibTeX XML Cite \textit{T. Kihara} and \textit{K. Sasaki}, Arch. Math. Logic 62, No. 7--8, 1041--1082 (2023; Zbl 07742502) Full Text: DOI arXiv
Faizrahmanov, M. Kh. Two theorems on minimal generalized computable numberings. (English. Russian original) Zbl 07741294 Mosc. Univ. Math. Bull. 78, No. 3, 136-143 (2023); translation from Vestn. Mosk. Univ., Ser. I 78, No. 3, 28-35 (2023). MSC: 03Dxx 03-XX 03Cxx PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Mosc. Univ. Math. Bull. 78, No. 3, 136--143 (2023; Zbl 07741294); translation from Vestn. Mosk. Univ., Ser. I 78, No. 3, 28--35 (2023) Full Text: DOI
Voronenko, Andrey A. On the universality of product for classes of linear functions of two variables. (English. Russian original) Zbl 07740756 Discrete Math. Appl. 33, No. 4, 269-271 (2023); translation from Diskretn. Mat. 34, No. 1, 20-22 (2022). MSC: 68Wxx 03Dxx 06Exx PDF BibTeX XML Cite \textit{A. A. Voronenko}, Discrete Math. Appl. 33, No. 4, 269--271 (2023; Zbl 07740756); translation from Diskretn. Mat. 34, No. 1, 20--22 (2022) Full Text: DOI
Plisko, Valerii E. The nonarithmeticity of the predicate logic of primitive recursive realizability. (English. Russian original) Zbl 07739850 Izv. Math. 87, No. 2, 389-419 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196-228 (2023). MSC: 03D20 03F55 03B20 PDF BibTeX XML Cite \textit{V. E. Plisko}, Izv. Math. 87, No. 2, 389--419 (2023; Zbl 07739850); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 2, 196--228 (2023) Full Text: DOI MNR
Tachikawa, Yuji Undecidable problems in quantum field theory. (English) Zbl 07738885 Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{Y. Tachikawa}, Int. J. Theor. Phys. 62, No. 9, Paper No. 199, 13 p. (2023; Zbl 07738885) Full Text: DOI arXiv
Aguilera, J. P. Locally hyperarithmetical induction. (English) Zbl 07738024 Bull. Lond. Math. Soc. 55, No. 2, 865-878 (2023). MSC: 03D60 03D70 03E30 03E45 03F15 PDF BibTeX XML Cite \textit{J. P. Aguilera}, Bull. Lond. Math. Soc. 55, No. 2, 865--878 (2023; Zbl 07738024) Full Text: DOI OA License
Löh, Clara; Uschold, Matthias \(L^2\)-Betti numbers and computability of reals. (English) Zbl 07737094 Computability 12, No. 2, 175-201 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{C. Löh} and \textit{M. Uschold}, Computability 12, No. 2, 175--201 (2023; Zbl 07737094) Full Text: DOI arXiv
Allender, Eric; Balaji, Nikhil; Datta, Samir; Pratap, Rameshwar On the complexity of algebraic numbers, and the bit-complexity of straight-line programs. (English) Zbl 07737093 Computability 12, No. 2, 145-173 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{E. Allender} et al., Computability 12, No. 2, 145--173 (2023; Zbl 07737093) Full Text: DOI
Graça, Daniel; Zhong, Ning Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines. (English) Zbl 07737092 Computability 12, No. 2, 117-144 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{D. Graça} and \textit{N. Zhong}, Computability 12, No. 2, 117--144 (2023; Zbl 07737092) Full Text: DOI arXiv
Andrews, Uri; Cai, Mingzhong; Diamondstone, David; Schweber, Noah Limit computability and ultrafilters. (English) Zbl 07737091 Computability 12, No. 2, 101-115 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{U. Andrews} et al., Computability 12, No. 2, 101--115 (2023; Zbl 07737091) 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
Lempp, Steffen; Miller, Joseph S.; Nies, André; Soskova, Mariya I. Maximal towers and ultrafilter bases in computability theory. (English) Zbl 07735949 J. Symb. Log. 88, No. 3, 1170-1190 (2023). MSC: 03D30 PDF BibTeX XML Cite \textit{S. Lempp} et al., J. Symb. Log. 88, No. 3, 1170--1190 (2023; Zbl 07735949) Full Text: DOI arXiv
Andrews, Uri; Knight, Julia F.; Kuyper, Rutger; Miller, Joseph S.; Soskova, Mariya I. Expanding the reals by continuous functions adds no computational power. (English) Zbl 07735946 J. Symb. Log. 88, No. 3, 1083-1102 (2023). MSC: 03D30 03D45 03E40 PDF BibTeX XML Cite \textit{U. Andrews} et al., J. Symb. Log. 88, No. 3, 1083--1102 (2023; Zbl 07735946) Full Text: DOI
Andrews, Uri; Belin, Daniel F.; San Mauro, Luca On the structure of computable reducibility on equivalence relations of natural numbers. (English) Zbl 07735944 J. Symb. Log. 88, No. 3, 1038-1063 (2023). MSC: 03D55 03D30 PDF BibTeX XML Cite \textit{U. Andrews} et al., J. Symb. Log. 88, No. 3, 1038--1063 (2023; Zbl 07735944) Full Text: DOI arXiv
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A.; Vatev, Stefan V. On cohesive powers of linear orders. (English) Zbl 07735942 J. Symb. Log. 88, No. 3, 947-1004 (2023). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{R. Dimitrov} et al., J. Symb. Log. 88, No. 3, 947--1004 (2023; Zbl 07735942) Full Text: DOI arXiv
Speranski, S. O. Elementary invariants for quantified probability logic. (English. Russian original) Zbl 07735226 Dokl. Math. 107, No. 2, 93-96 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 8-12 (2023). MSC: 03Bxx 03Dxx 03Cxx PDF BibTeX XML Cite \textit{S. O. Speranski}, Dokl. Math. 107, No. 2, 93--96 (2023; Zbl 07735226); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 8--12 (2023) Full Text: DOI
Zapryagaev, A. A. On interpretations of Presburger arithmetic in Büchi arithmetics. (English. Russian original) Zbl 07735225 Dokl. Math. 107, No. 2, 89-92 (2023); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 3-7 (2023). MSC: 03Dxx 68Qxx 03-XX PDF BibTeX XML Cite \textit{A. A. Zapryagaev}, Dokl. Math. 107, No. 2, 89--92 (2023; Zbl 07735225); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 510, 3--7 (2023) Full Text: DOI
Gonzalez, David; Montalbán, Antonio The \(\omega \)-Vaught’s conjecture. (English) Zbl 07731976 Trans. Am. Math. Soc. 376, No. 8, 5989-6008 (2023). MSC: 03D45 03C75 PDF BibTeX XML Cite \textit{D. Gonzalez} and \textit{A. Montalbán}, Trans. Am. Math. Soc. 376, No. 8, 5989--6008 (2023; Zbl 07731976) Full Text: DOI arXiv
Aguilera, J. P.; Pakhomov, F. The \(\Pi^1_2\) consequences of a theory. (English) Zbl 07731078 J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045-1073 (2023). MSC: 03F15 03F25 03D20 03D60 03D65 03E45 18A99 PDF BibTeX XML Cite \textit{J. P. Aguilera} and \textit{F. Pakhomov}, J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045--1073 (2023; Zbl 07731078) 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
Bournez, Olivier; Durand, Arnaud A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations. (English) Zbl 07727625 Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023). MSC: 03D15 03D20 68Q01 68Q15 65Q10 65L99 PDF BibTeX XML Cite \textit{O. Bournez} and \textit{A. Durand}, Comput. Complexity 32, No. 2, Paper No. 7, 49 p. (2023; Zbl 07727625) Full Text: DOI arXiv
Funk, Daryl; Mayhew, Dillon; Newman, Mike Tree automata and pigeonhole classes of matroids. II. (English) Zbl 07725122 Electron. J. Comb. 30, No. 3, Research Paper P3.6, 34 p. (2023). MSC: 68Q45 03D05 05B35 PDF BibTeX XML Cite \textit{D. Funk} et al., Electron. J. Comb. 30, No. 3, Research Paper P3.6, 34 p. (2023; Zbl 07725122) Full Text: DOI arXiv
Downey, Rodney G.; Melnikov, Alexander G. Computably compact metric spaces. (English) Zbl 07725101 Bull. Symb. Log. 29, No. 2, 170-263 (2023). MSC: 03D45 03D78 03C57 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{A. G. Melnikov}, Bull. Symb. Log. 29, No. 2, 170--263 (2023; Zbl 07725101) Full Text: DOI
Çevik, Ahmet; Seskir, Zeki On the cardinality of future worldlines in discrete spacetime structures. (English) Zbl 07724690 Found. Phys. 53, No. 3, Paper No. 61, 18 p. (2023). MSC: 81P05 83C45 53C50 03D25 03D32 PDF BibTeX XML Cite \textit{A. Çevik} and \textit{Z. Seskir}, Found. Phys. 53, No. 3, Paper No. 61, 18 p. (2023; Zbl 07724690) Full Text: DOI arXiv
Liu, Lu The coding power of a product of partitions. (English) Zbl 07720434 Isr. J. Math. 255, No. 2, 645-683 (2023). MSC: 03Dxx 03Bxx 03Fxx PDF BibTeX XML Cite \textit{L. Liu}, Isr. J. Math. 255, No. 2, 645--683 (2023; Zbl 07720434) Full Text: DOI arXiv
Faizrahmanov, Marat A local version of the Slaman-Wehner theorem and families closed under finite differences. (English) Zbl 07720262 Notre Dame J. Formal Logic 64, No. 2, 197-203 (2023). MSC: 03D45 03C57 03D80 PDF BibTeX XML Cite \textit{M. Faizrahmanov}, Notre Dame J. Formal Logic 64, No. 2, 197--203 (2023; Zbl 07720262) Full Text: DOI
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Melnikov, Alexander Computable Stone spaces. (English) Zbl 07719414 Ann. Pure Appl. Logic 174, No. 9, Article ID 103304, 25 p. (2023). MSC: 03D78 03C57 03D45 03D80 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 174, No. 9, Article ID 103304, 25 p. (2023; Zbl 07719414) Full Text: DOI arXiv
Grochow, Joshua A. Polynomial-time axioms of choice and polynomial-time cardinality. (English) Zbl 07719400 Theory Comput. Syst. 67, No. 3, 627-669 (2023). MSC: 68Qxx 03Dxx 03-XX PDF BibTeX XML Cite \textit{J. A. Grochow}, Theory Comput. Syst. 67, No. 3, 627--669 (2023; Zbl 07719400) Full Text: DOI arXiv
Nandakumar, Satyadev; Pulari, Subin Ergodic theorems and converses for PSPACE functions. (English) Zbl 07719395 Theory Comput. Syst. 67, No. 3, 491-520 (2023). MSC: 03D32 68Q30 68Q15 PDF BibTeX XML Cite \textit{S. Nandakumar} and \textit{S. Pulari}, Theory Comput. Syst. 67, No. 3, 491--520 (2023; Zbl 07719395) Full Text: DOI
Lutz, Jack H.; Lutz, Neil; Mayordomo, Elvira Dimension and the structure of complexity classes. (English) Zbl 07719394 Theory Comput. Syst. 67, No. 3, 473-490 (2023). MSC: 68Qxx 03Dxx 28Axx PDF BibTeX XML Cite \textit{J. H. Lutz} et al., Theory Comput. Syst. 67, No. 3, 473--490 (2023; Zbl 07719394) Full Text: DOI arXiv
Bhaskar, Siddharth; Kop, Cynthia; Simonsen, Jakob Grue Subclasses of Ptime interpreted by programming languages. (English) Zbl 07719393 Theory Comput. Syst. 67, No. 3, 437-472 (2023). MSC: 68Qxx 03Dxx 68Nxx PDF BibTeX XML Cite \textit{S. Bhaskar} et al., Theory Comput. Syst. 67, No. 3, 437--472 (2023; Zbl 07719393) Full Text: DOI
Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea Classifying word problems of finitely generated algebras via computable reducibility. (English) Zbl 07713611 Int. J. Algebra Comput. 33, No. 4, 751-768 (2023). MSC: 03D40 03D25 PDF BibTeX XML Cite \textit{V. Delle Rose} et al., Int. J. Algebra Comput. 33, No. 4, 751--768 (2023; Zbl 07713611) Full Text: DOI arXiv
Supowit, Kenneth J. Algorithms for constructing computably enumerable sets. (English) Zbl 07710842 Computer Science Foundations and Applied Logic. Cham: Birkhäuser (ISBN 978-3-031-26903-5/hbk; 978-3-031-26906-6/pbk; 978-3-031-26904-2/ebook). xiv, 183 p. (2023). MSC: 03-01 68-01 03D25 68W05 PDF BibTeX XML Cite \textit{K. J. Supowit}, Algorithms for constructing computably enumerable sets. Cham: Birkhäuser (2023; Zbl 07710842) Full Text: DOI
Faizrahmanov, M. Kh. On the embedding of the first nonconstructive ordinal in the Rogers semilattices. (English. Russian original) Zbl 07710626 Math. Notes 113, No. 5, 723-730 (2023); translation from Mat. Zametki 113, No. 5, 764-774 (2023). MSC: 03Dxx 03-XX 01Axx PDF BibTeX XML Cite \textit{M. Kh. Faizrahmanov}, Math. Notes 113, No. 5, 723--730 (2023; Zbl 07710626); translation from Mat. Zametki 113, No. 5, 764--774 (2023) Full Text: DOI
Salmón, Nathan The decision problem for effective procedures. (English) Zbl 07710085 Log. Univers. 17, No. 2, 161-174 (2023). MSC: 03A05 03C57 03D10 03D40 03D80 68Q01 68Q05 PDF BibTeX XML Cite \textit{N. Salmón}, Log. Univers. 17, No. 2, 161--174 (2023; Zbl 07710085) Full Text: DOI
Cardona, Robert; Miranda, Eva; Peralta-Salas, Daniel; Presas, Francisco Universality of Euler flows and flexibility of Reeb embeddings. (English) Zbl 07707523 Adv. Math. 428, Article ID 109142, 40 p. (2023). Reviewer: Catalin Popa (Iaşi) MSC: 35Q31 37C15 37J55 57R17 68Q04 03D10 35R01 35B65 PDF BibTeX XML Cite \textit{R. Cardona} et al., Adv. Math. 428, Article ID 109142, 40 p. (2023; Zbl 07707523) Full Text: DOI arXiv
Javarone, Marco Alberto Complexity is a matter of distance. (English) Zbl 1517.81048 Phys. Lett., A 479, Article ID 128926, 7 p. (2023). MSC: 81Q05 08A02 03D15 82B26 83C57 PDF BibTeX XML Cite \textit{M. A. Javarone}, Phys. Lett., A 479, Article ID 128926, 7 p. (2023; Zbl 1517.81048) Full Text: DOI
Bournez, Olivier; Gozzi, Riccardo; Graça, Daniel S.; Pouly, Amaury A continuous characterization of PSPACE using polynomial ordinary differential equations. (English) Zbl 07693254 J. Complexity 77, Article ID 101755, 21 p. (2023). MSC: 68Qxx 03Dxx 34Axx PDF BibTeX XML Cite \textit{O. Bournez} et al., J. Complexity 77, Article ID 101755, 21 p. (2023; Zbl 07693254) Full Text: DOI
Taşkesen, Bahar; Shafieezadeh-Abadeh, Soroosh; Kuhn, Daniel; Natarajan, Karthik Discrete optimal transport with independent marginals is \(\#\)P-hard. (English) Zbl 1519.90112 SIAM J. Optim. 33, No. 2, 589-614 (2023). MSC: 90C05 90C25 03D15 90C39 PDF BibTeX XML Cite \textit{B. Taşkesen} et al., SIAM J. Optim. 33, No. 2, 589--614 (2023; Zbl 1519.90112) Full Text: DOI arXiv
Ongay-Valverde, Iván Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms. (English) Zbl 07691810 Arch. Math. Logic 62, No. 5-6, 843-869 (2023). MSC: 03E75 28A05 03D20 03D55 03C62 PDF BibTeX XML Cite \textit{I. Ongay-Valverde}, Arch. Math. Logic 62, No. 5--6, 843--869 (2023; Zbl 07691810) Full Text: DOI arXiv
Shore, Richard A. Almost theorems of hyperarithmetic analysis. (English) Zbl 07691756 J. Symb. Log. 88, No. 2, 664-696 (2023). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D55 05C63 03F65 03D80 05C38 05C69 05C70 PDF BibTeX XML Cite \textit{R. A. Shore}, J. Symb. Log. 88, No. 2, 664--696 (2023; Zbl 07691756) Full Text: DOI
Clemens, John D.; Coskey, Samuel; Krakoff, Gianni Computable reducibility of equivalence relations and an effective jump operator. (English) Zbl 07691751 J. Symb. Log. 88, No. 2, 540-561 (2023). MSC: 03D25 03D30 03D65 03F15 PDF BibTeX XML Cite \textit{J. D. Clemens} et al., J. Symb. Log. 88, No. 2, 540--561 (2023; Zbl 07691751) Full Text: DOI arXiv
Golov, Anton; Terwijn, Sebastiaan A. Embeddings between partial combinatory algebras. (English) Zbl 07690435 Notre Dame J. Formal Logic 64, No. 1, 129-158 (2023). MSC: 03B40 03D28 03D80 PDF BibTeX XML Cite \textit{A. Golov} and \textit{S. A. Terwijn}, Notre Dame J. Formal Logic 64, No. 1, 129--158 (2023; Zbl 07690435) Full Text: DOI arXiv
Wu, Huishan The complexity of decomposability of computable rings. (English) Zbl 07690431 Notre Dame J. Formal Logic 64, No. 1, 1-14 (2023). MSC: 03B30 03D15 03D80 PDF BibTeX XML Cite \textit{H. Wu}, Notre Dame J. Formal Logic 64, No. 1, 1--14 (2023; Zbl 07690431) Full Text: DOI
Lai, Sheng-Hong; Lee, Jen-Chi; Yang, Yi Residues of bosonic string scattering amplitudes and the Lauricella functions. (English) Zbl 07689123 Nucl. Phys., B 991, Article ID 116214, 53 p. (2023). MSC: 81U05 32A27 03D30 55P50 33C65 81V73 26A18 PDF BibTeX XML Cite \textit{S.-H. Lai} et al., Nucl. Phys., B 991, Article ID 116214, 53 p. (2023; Zbl 07689123) Full Text: DOI arXiv
Shallit, Jeffrey; Shan, Sonja Linghui; Yang, Kai Hsiang Automatic sequences in negative bases and proofs of some conjectures of Shevelev. (English) Zbl 07689051 RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023). Reviewer: Jean-Paul Allouche (Paris) MSC: 11B85 11A63 68Q45 03D05 68R15 PDF BibTeX XML Cite \textit{J. Shallit} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 4, 22 p. (2023; Zbl 07689051) Full Text: DOI arXiv
Currie, James; Ochem, Pascal; Rampersad, Narad; Shallit, Jeffrey Properties of a ternary infinite word. (English) Zbl 07689048 RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023). Reviewer: Jean-Paul Allouche (Paris) MSC: 11B85 68R15 03D05 68Q45 PDF BibTeX XML Cite \textit{J. Currie} et al., RAIRO, Theor. Inform. Appl. 57, Paper No. 1, 17 p. (2023; Zbl 07689048) Full Text: DOI arXiv
Greenberg, Noam (ed.); Jain, Sanjay (ed.); Ng, Keng Meng (ed.); Schewe, Sven (ed.); Stephan, Frank (ed.); Wu, Guohua (ed.); Yang, Yue (ed.) Aspects of computation and automata theory with applications (to appear). (English) Zbl 07687311 Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore 42. Singapore: World Scientific (ISBN 978-981-12-7862-4/hbk). (2023). MSC: 03-06 68-06 03Dxx 68Qxx 00B15 PDF BibTeX XML Full Text: DOI
Badia, Guillermo; Caicedo, Xavier; Noguera, Carles Frame definability in finitely valued modal logics. (English) Zbl 07687148 Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023). MSC: 03B45 03B50 03B52 03D15 03G25 PDF BibTeX XML Cite \textit{G. Badia} et al., Ann. Pure Appl. Logic 174, No. 7, Article ID 103273, 13 p. (2023; Zbl 07687148) Full Text: DOI arXiv
Soldà, Giovanni; Valenti, Manlio Algebraic properties of the first-order part of a problem. (English) Zbl 07687145 Ann. Pure Appl. Logic 174, No. 7, Article ID 103270, 41 p. (2023). MSC: 03D78 03D30 03D55 03D99 PDF BibTeX XML Cite \textit{G. Soldà} and \textit{M. Valenti}, Ann. Pure Appl. Logic 174, No. 7, Article ID 103270, 41 p. (2023; Zbl 07687145) Full Text: DOI arXiv
Kasymov, Nadimulla Khabibullaevich; Karimova, Nodira Ruzimat Finite \(\forall\)-definability and computability of data models. (English) Zbl 07686321 Uzb. Math. J. 67, No. 1, 47-51 (2023). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{N. K. Kasymov} and \textit{N. R. Karimova}, Uzb. Math. J. 67, No. 1, 47--51 (2023; Zbl 07686321) Full Text: DOI
Weber, Torsten; Haneder, Fabian; Richter, Klaus; Urbina, Juan Diego Constraining Weil-Petersson volumes by universal random matrix correlations in low-dimensional quantum gravity. (English) Zbl 07682028 J. Phys. A, Math. Theor. 56, No. 20, Article ID 205206, 26 p. (2023). MSC: 83C45 15B52 51M10 83E05 81Q50 83D05 70H45 53D30 08A40 03D80 PDF BibTeX XML Cite \textit{T. Weber} et al., J. Phys. A, Math. Theor. 56, No. 20, Article ID 205206, 26 p. (2023; Zbl 07682028) Full Text: DOI arXiv
Sahu, Abhishek; Saurabh, Saket Kernelization of arc disjoint cycle packing in \(\alpha\)-bounded digraphs. (English) Zbl 07681305 Theory Comput. Syst. 67, No. 2, 221-233 (2023). MSC: 68Qxx 03Dxx 68-XX PDF BibTeX XML Cite \textit{A. Sahu} and \textit{S. Saurabh}, Theory Comput. Syst. 67, No. 2, 221--233 (2023; Zbl 07681305) Full Text: DOI
Omanadze, Roland Sh. \(sQ_1\)-degrees of computably enumerable sets. (English) Zbl 07680030 Arch. Math. Logic 62, No. 3-4, 401-417 (2023). MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{R. Sh. Omanadze}, Arch. Math. Logic 62, No. 3--4, 401--417 (2023; Zbl 07680030) Full Text: DOI
Aleksandrova, Svetlana; Bazhenov, Nikolay; Zubkov, Maxim Complexity of \(\Sigma^0_n\)-classifications for definable subsets. (English) Zbl 07680022 Arch. Math. Logic 62, No. 1-2, 239-256 (2023). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{S. Aleksandrova} et al., Arch. Math. Logic 62, No. 1--2, 239--256 (2023; Zbl 07680022) Full Text: DOI
Paolini, Gianluca Computable Scott sentences for quasi-Hopfian finitely presented structures. (English) Zbl 07680015 Arch. Math. Logic 62, No. 1-2, 55-65 (2023). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{G. Paolini}, Arch. Math. Logic 62, No. 1--2, 55--65 (2023; Zbl 07680015) Full Text: DOI arXiv
Carl, Merlin; Galeotti, Lorenzo; Passmann, Robert Realisability for infinitary intuitionistic set theory. (English) Zbl 07680007 Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023). MSC: 03B20 03D60 03E70 03F50 03F65 PDF BibTeX XML Cite \textit{M. Carl} et al., Ann. Pure Appl. Logic 174, No. 6, Article ID 103259, 29 p. (2023; Zbl 07680007) Full Text: DOI arXiv
Iwaki, Kohei; Kidwai, Omar Topological recursion and uncoupled BPS structures. II: Voros symbols and the \(\tau\)-function. (English) Zbl 1521.81394 Commun. Math. Phys. 399, No. 1, 519-572 (2023). MSC: 81T60 81T18 03D80 82B20 14H10 35Q15 34M60 11B68 PDF BibTeX XML Cite \textit{K. Iwaki} and \textit{O. Kidwai}, Commun. Math. Phys. 399, No. 1, 519--572 (2023; Zbl 1521.81394) Full Text: DOI arXiv
Gilman, Jane Computability models: algebraic, topological and geometric algorithms. (English) Zbl 1511.20193 Detinko, Alla (ed.) et al., Computational aspects of discrete subgroups of Lie groups. Virtual conference, Institute for Computational and Experimental Research in Mathematics, ICERM, Providence, Rhode Island, USA June 14–18, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 783, 57-68 (2023). MSC: 20G20 20F10 03D80 32G15 PDF BibTeX XML Cite \textit{J. Gilman}, Contemp. Math. 783, 57--68 (2023; Zbl 1511.20193) Full Text: DOI arXiv
Kühne, Lukas; Pendavingh, Rudi; Yashfe, Geva von Staudt constructions for skew-linear and multilinear matroids. (English) Zbl 1508.05021 Comb. Theory 3, No. 1, Paper No. 16, 27 p. (2023). MSC: 05B35 03D35 20F10 52B40 52C35 03D40 PDF BibTeX XML Cite \textit{L. Kühne} et al., Comb. Theory 3, No. 1, Paper No. 16, 27 p. (2023; Zbl 1508.05021) Full Text: DOI arXiv
Cheng, Maolin; Cheng, Zhun A novel simultaneous grey model parameter optimization method and its application to predicting private car ownership and transportation economy. (English) Zbl 07668875 J. Ind. Manag. Optim. 19, No. 5, 3160-3171 (2023). MSC: 62P20 03D15 PDF BibTeX XML Cite \textit{M. Cheng} and \textit{Z. Cheng}, J. Ind. Manag. Optim. 19, No. 5, 3160--3171 (2023; Zbl 07668875) Full Text: DOI
Koswara, Ivan; Pogudin, Gleb; Selivanova, Svetlana; Ziegler, Martin Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations. (English) Zbl 07667582 J. Complexity 76, Article ID 101727, 32 p. (2023). MSC: 68Qxx 03Dxx 03Fxx PDF BibTeX XML Cite \textit{I. Koswara} et al., J. Complexity 76, Article ID 101727, 32 p. (2023; Zbl 07667582) Full Text: DOI
Selivanov, Victor; Selivanova, Svetlana Primitive recursive ordered fields and some applications. (English) Zbl 07661119 Computability 12, No. 1, 71-99 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{V. Selivanov} and \textit{S. Selivanova}, Computability 12, No. 1, 71--99 (2023; Zbl 07661119) Full Text: DOI
Walsh, James Evitable iterates of the consistency operator. (English) Zbl 07661118 Computability 12, No. 1, 59-69 (2023). MSC: 03Dxx PDF BibTeX XML Cite \textit{J. Walsh}, Computability 12, No. 1, 59--69 (2023; Zbl 07661118) Full Text: DOI arXiv
Gozzi, Riccardo; Graça, Daniel Characterizing time computational complexity classes with polynomial differential equations. (English) Zbl 07661117 Computability 12, No. 1, 23-57 (2023). Reviewer: Arne Meier (Hannover) MSC: 68Q15 03D78 34A34 68Q04 68Q09 PDF BibTeX XML Cite \textit{R. Gozzi} and \textit{D. Graça}, Computability 12, No. 1, 23--57 (2023; Zbl 07661117) Full Text: DOI
Cenzer, Douglas; Porter, Christopher P. Randomness extraction in computability theory. (English) Zbl 1515.03190 Computability 12, No. 1, 1-21 (2023). Reviewer: Ludwig Staiger (Halle) MSC: 03D32 03D10 68Q30 PDF BibTeX XML Cite \textit{D. Cenzer} and \textit{C. P. Porter}, Computability 12, No. 1, 1--21 (2023; Zbl 1515.03190) Full Text: DOI arXiv
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
Kalmurzaev, B. S.; Bazhenov, N. A.; Alish, D. B. On universal positive graphs. (English. Russian original) Zbl 07658742 Sib. Math. J. 64, No. 1, 83-93 (2023); translation from Sib. Mat. Zh. 64, No. 1, 98-112 (2023). MSC: 03Dxx 05Cxx 03Fxx PDF BibTeX XML Cite \textit{B. S. Kalmurzaev} et al., Sib. Math. J. 64, No. 1, 83--93 (2023; Zbl 07658742); translation from Sib. Mat. Zh. 64, No. 1, 98--112 (2023) Full Text: DOI
Li, Wei; Ovchinnikov, Alexey; Pogudin, Gleb; Scanlon, Thomas Algorithms yield upper bounds in differential algebra. (English) Zbl 1515.12002 Can. J. Math. 75, No. 1, 29-51 (2023). Reviewer: Alexander B. Levin (Washington) MSC: 12H05 12H10 03C10 03C60 03D15 PDF BibTeX XML Cite \textit{W. Li} et al., Can. J. Math. 75, No. 1, 29--51 (2023; Zbl 1515.12002) Full Text: DOI arXiv
Kentaro, Sato; Walker, Jan Finitist axiomatic truth. (English) Zbl 07657274 J. Symb. Log. 88, No. 1, 22-73 (2023). MSC: 03F25 03F30 03A05 03D20 03D70 03F05 03F35 PDF BibTeX XML Cite \textit{S. Kentaro} and \textit{J. Walker}, J. Symb. Log. 88, No. 1, 22--73 (2023; Zbl 07657274) Full Text: DOI
Bienvenu, Laurent; Delle Rose, Valentino; Merkle, Wolfgang Relativized depth. (English) Zbl 07657060 Theor. Comput. Sci. 949, Article ID 113694, 15 p. (2023). Reviewer: Rupert Hölzl (Neubiberg) MSC: 03D32 PDF BibTeX XML Cite \textit{L. Bienvenu} et al., Theor. Comput. Sci. 949, Article ID 113694, 15 p. (2023; Zbl 07657060) Full Text: DOI arXiv
Mikec, Luka Complexity of the interpretability logics ILW and ILP. (English) Zbl 1515.03216 Log. J. IGPL 31, No. 1, 194-213 (2023). MSC: 03F45 03B45 03D15 68Q17 PDF BibTeX XML Cite \textit{L. Mikec}, Log. J. IGPL 31, No. 1, 194--213 (2023; Zbl 1515.03216) Full Text: DOI
Kihara, Takayuki Lawvere-Tierney topologies for computability theorists. (English) Zbl 07650585 Trans. Am. Math. Soc., Ser. B 10, 48-85 (2023). MSC: 03D30 03D80 18B25 PDF BibTeX XML Cite \textit{T. Kihara}, Trans. Am. Math. Soc., Ser. B 10, 48--85 (2023; Zbl 07650585) Full Text: DOI arXiv
Berdinsky, Dmitry; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank String compression in FA-presentable structures. (English) Zbl 07648695 Theor. Comput. Sci. 947, Article ID 113705, 10 p. (2023). MSC: 03D05 03C57 03D10 20F10 PDF BibTeX XML Cite \textit{D. Berdinsky} et al., Theor. Comput. Sci. 947, Article ID 113705, 10 p. (2023; Zbl 07648695) Full Text: DOI arXiv