Pillay, Anand Topics in model theory (to appear). (English) Zbl 07762579 Singapore: World Scientific (ISBN 978-981-12-4380-6/hbk; 978-981-12-4399-8/pbk). (2024). MSC: 03-02 03Cxx PDF BibTeX XML Full Text: DOI
Altınel, Tuna; Wiscons, Joshua Actions of \(\mathrm{Alt}(n)\) on groups of finite Morley rank without involutions. (English) Zbl 07757758 Proc. Am. Math. Soc. 152, No. 1, 391-401 (2024). MSC: 03C60 20F11 20C30 PDF BibTeX XML Cite \textit{T. Altınel} and \textit{J. Wiscons}, Proc. Am. Math. Soc. 152, No. 1, 391--401 (2024; Zbl 07757758) Full Text: DOI arXiv
Freitag, James Bertini theorems for differential algebraic geometry. (English) Zbl 07757757 Proc. Am. Math. Soc. 152, No. 1, 375-390 (2024). MSC: 03C60 03C98 12H05 PDF BibTeX XML Cite \textit{J. Freitag}, Proc. Am. Math. Soc. 152, No. 1, 375--390 (2024; Zbl 07757757) 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
Malliaris, M.; Shelah, S. Some simple theories from a Boolean algebra point of view. (English) Zbl 07748762 Ann. Pure Appl. Logic 175, No. 1, Article ID 103345, 35 p. (2024). MSC: 03C20 03C45 03E05 06E05 PDF BibTeX XML Cite \textit{M. Malliaris} and \textit{S. Shelah}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103345, 35 p. (2024; Zbl 07748762) Full Text: DOI arXiv
Santiago Suárez, Juan M.; Viale, Matteo Boolean valued semantics for infinitary logics. (English) Zbl 07748759 Ann. Pure Appl. Logic 175, No. 1, Article ID 103333, 37 p. (2024). MSC: 03C75 03E40 03E75 03C40 PDF BibTeX XML Cite \textit{J. M. Santiago Suárez} and \textit{M. Viale}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103333, 37 p. (2024; Zbl 07748759) Full Text: DOI arXiv
Keisler, H. Jerome Using ultrapowers to compare continuous structures. (English) Zbl 07748744 Ann. Pure Appl. Logic 175, No. 1, Article ID 103284, 41 p. (2024). MSC: 03C66 03C20 03C45 03C50 PDF BibTeX XML Cite \textit{H. J. Keisler}, Ann. Pure Appl. Logic 175, No. 1, Article ID 103284, 41 p. (2024; Zbl 07748744) Full Text: DOI arXiv
Kovács, Zoltán; Brown, Christopher; Recio, Tomás; Vajda, Róbert Computing with Tarski formulas and semi-algebraic sets in a web browser. (English) Zbl 07725360 J. Symb. Comput. 120, Article ID 102235, 17 p. (2024). MSC: 68Wxx 03Cxx 68Txx PDF BibTeX XML Cite \textit{Z. Kovács} et al., J. Symb. Comput. 120, Article ID 102235, 17 p. (2024; Zbl 07725360) Full Text: DOI
Hieronymi, Philipp; Walsberg, Erik Fractals and the monadic second order theory of one successor. (English) Zbl 07770955 J. Log. Anal. 15, Paper No. 5, 25 p. (2023). MSC: 03C64 03C45 28A80 54F05 54F45 PDF BibTeX XML Cite \textit{P. Hieronymi} and \textit{E. Walsberg}, J. Log. Anal. 15, Paper No. 5, 25 p. (2023; Zbl 07770955) 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
Berraho, Mourad The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal structures. (English) Zbl 07765600 Rad Hrvat. Akad. Znan. Umjet., Mat. Znan. 555(27), 1-9 (2023). Reviewer: Fujita Masato (Kure) MSC: 03C64 PDF BibTeX XML Cite \textit{M. Berraho}, Rad Hrvat. Akad. Znan. Umjet., Mat. Znan. 555(27), 1--9 (2023; Zbl 07765600) Full Text: DOI
Valette, Anna; Valette, Guillaume A remark on \(\mathscr{C}^\infty\) definable equivalence. (English) Zbl 07763124 Ann. Pol. Math. 131, No. 1, 79-84 (2023). MSC: 32B20 58C25 03C64 PDF BibTeX XML Cite \textit{A. Valette} and \textit{G. Valette}, Ann. Pol. Math. 131, No. 1, 79--84 (2023; Zbl 07763124) Full Text: DOI
Opris, Andre Restricted log-exp-analytic power functions. (English) Zbl 07763123 Ann. Pol. Math. 131, No. 1, 57-78 (2023). MSC: 03C64 26A09 26E05 26E10 PDF BibTeX XML Cite \textit{A. Opris}, Ann. Pol. Math. 131, No. 1, 57--78 (2023; Zbl 07763123) Full Text: DOI arXiv
Emel’yanov, Dmitriĭ Yur’evich Algebras of binary isolating formulas for strong product theories. (English) Zbl 07762887 Izv. Irkutsk. Gos. Univ., Ser. Mat. 45, 138-144 (2023). MSC: 03C68 PDF BibTeX XML Cite \textit{D. Y. Emel'yanov}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 45, 138--144 (2023; Zbl 07762887) Full Text: DOI Link
Kulpeshov, Beĭbut Shaĭykovich; Sudoplatov, Sergeĭ Vladimirovich Ranks, spectra and their dynamics for families of constant expansions of theories. (English) Zbl 07762886 Izv. Irkutsk. Gos. Univ., Ser. Mat. 45, 121-137 (2023). MSC: 03C68 03C64 PDF BibTeX XML Cite \textit{B. S. Kulpeshov} and \textit{S. V. Sudoplatov}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 45, 121--137 (2023; Zbl 07762886) Full Text: DOI Link
Movsisyan, Yu. M.; Harutyunyan, D. N. Schauffler-type theorems. (English. Russian original) Zbl 07760681 J. Contemp. Math. Anal., Armen. Acad. Sci. 58, No. 2, 116-124 (2023); translation from Izv. Nats. Akad. Nauk Armen., Mat. 58, No. 2, 68-81 (2023). MSC: 03C05 03C85 20N05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan} and \textit{D. N. Harutyunyan}, J. Contemp. Math. Anal., Armen. Acad. Sci. 58, No. 2, 116--124 (2023; Zbl 07760681); translation from Izv. Nats. Akad. Nauk Armen., Mat. 58, No. 2, 68--81 (2023) Full Text: DOI
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
Harutyunyan, D. N. Linearity of \(n\)-ary associative algebras. (English) Zbl 07759326 Proc. Yerevan State Univ., Phys. Math. Sci. 57, No. 1, 9-22 (2023). MSC: 03C05 03C85 20N05 PDF BibTeX XML Cite \textit{D. N. Harutyunyan}, Proc. Yerevan State Univ., Phys. Math. Sci. 57, No. 1, 9--22 (2023; Zbl 07759326) Full Text: DOI MNR
Diaconescu, Răzvan Preservation in many-valued truth institutions. (English) Zbl 07757585 Fuzzy Sets Syst. 456, 38-71 (2023). MSC: 03G30 03B50 03C95 PDF BibTeX XML Cite \textit{R. Diaconescu}, Fuzzy Sets Syst. 456, 38--71 (2023; Zbl 07757585) Full Text: DOI
Goldbring, Isaac (ed.) Preface. (English) Zbl 07756069 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, VII-IX (2023). MSC: 00Bxx 46L10 03C45 PDF BibTeX XML Cite \textit{I. Goldbring} (ed.), De Gruyter Ser. Log. Appl. 11, VII-IX (2023; Zbl 07756069) Full Text: DOI
Vignati, Alessandro Fraïssé theory in operator algebras. (English) Zbl 07756065 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 453-478 (2023). MSC: 03C66 46L05 46L40 46M40 46L52 46A55 PDF BibTeX XML Cite \textit{A. Vignati}, De Gruyter Ser. Log. Appl. 11, 453--478 (2023; Zbl 07756065) Full Text: DOI arXiv
Goldbring, Isaac Model theory and ultrapower embedding problems in operator algebras. (English) Zbl 07756064 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 425-451 (2023). MSC: 03C66 46L10 46L05 46B08 03C20 03C25 68Q12 68Q15 PDF BibTeX XML Cite \textit{I. Goldbring}, De Gruyter Ser. Log. Appl. 11, 425--451 (2023; Zbl 07756064) Full Text: DOI arXiv
Lupini, Martino Model theory of \(G\)-\(\mathrm{C}^*\)-algebras and order zero dimension. (English) Zbl 07756063 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 387-423 (2023). MSC: 03C98 46L55 22D05 46L05 PDF BibTeX XML Cite \textit{M. Lupini}, De Gruyter Ser. Log. Appl. 11, 387--423 (2023; Zbl 07756063) Full Text: DOI
Sinclair, Thomas Model theory of operator systems and \(\mathrm{C}^\ast\)-algebras. (English) Zbl 07756062 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 343-386 (2023). MSC: 03C20 03C66 03C98 15A39 15A60 46L05 46L07 46L10 47L25 90C22 PDF BibTeX XML Cite \textit{T. Sinclair}, De Gruyter Ser. Log. Appl. 11, 343--386 (2023; Zbl 07756062) Full Text: DOI
Chifan, Ionuţ; Drimbe, Daniel; Ioana, Adrian Tensor product indecomposability results for existentially closed factors. (English) Zbl 07756060 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 269-302 (2023). MSC: 46L10 03C66 22D55 46L36 PDF BibTeX XML Cite \textit{I. Chifan} et al., De Gruyter Ser. Log. Appl. 11, 269--302 (2023; Zbl 07756060) Full Text: DOI arXiv
Jekel, David Free probability and model theory of tracial \(\mathrm{W}^\ast\)-algebras. (English) Zbl 07756059 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 215-267 (2023). MSC: 03C10 46L54 03C66 94A17 PDF BibTeX XML Cite \textit{D. Jekel}, De Gruyter Ser. Log. Appl. 11, 215--267 (2023; Zbl 07756059) Full Text: DOI arXiv
Berenstein, Alexander; Henson, C. Ward Model theory of probability spaces. (English) Zbl 07756058 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 159-213 (2023). MSC: 03C66 03C10 03C45 28A60 PDF BibTeX XML Cite \textit{A. Berenstein} and \textit{C. W. Henson}, De Gruyter Ser. Log. Appl. 11, 159--213 (2023; Zbl 07756058) Full Text: DOI arXiv
Goldbring, Isaac; Hart, Bradd A survey on the model theory of tracial von Neumann algebras. (English) Zbl 07756057 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 133-157 (2023). MSC: 03C66 46L10 03C20 03C45 03C10 03C65 46L36 PDF BibTeX XML Cite \textit{I. Goldbring} and \textit{B. Hart}, De Gruyter Ser. Log. Appl. 11, 133--157 (2023; Zbl 07756057) Full Text: DOI arXiv
Hart, Bradd An introduction to continuous model theory. (English) Zbl 07756056 Goldbring, Isaac (ed.), Model theory of operator algebras. Berlin: De Gruyter. De Gruyter Ser. Log. Appl. 11, 83-131 (2023). MSC: 03C66 03C98 46L05 PDF BibTeX XML Cite \textit{B. Hart}, De Gruyter Ser. Log. Appl. 11, 83--131 (2023; Zbl 07756056) Full Text: DOI arXiv
Atserias, Albert; Fijalkow, Joanna Definable ellipsoid method, sums-of-squares proofs, and the graph isomorphism problem. (English) Zbl 07755475 SIAM J. Comput. 52, No. 5, 1193-1229 (2023). MSC: 68Q25 03B70 03C13 05C60 90C22 90C25 PDF BibTeX XML Cite \textit{A. Atserias} and \textit{J. Fijalkow}, SIAM J. Comput. 52, No. 5, 1193--1229 (2023; Zbl 07755475) Full Text: DOI
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
Krawczyk, Krzysztof A.; Piȩta, Bożena Ultravaluations and their applications in CPL. (English) Zbl 07753868 Log. Univers. 17, No. 3, 259-267 (2023). MSC: 03C20 03B05 PDF BibTeX XML Cite \textit{K. A. Krawczyk} and \textit{B. Piȩta}, Log. Univers. 17, No. 3, 259--267 (2023; Zbl 07753868) Full Text: DOI OA License
Kaplan, Itay (ed.); Rideau-Kikuchi, Silvain (ed.); Tent, Katrin (ed.); Wagner, Frank Olaf (ed.) Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8–14, 2023. (English) Zbl 07753243 Oberwolfach Rep. 20, No. 1, 91-149 (2023). MSC: 00B05 00B25 03-06 03Cxx PDF BibTeX XML Cite \textit{I. Kaplan} (ed.) et al., Oberwolfach Rep. 20, No. 1, 91--149 (2023; Zbl 07753243) Full Text: DOI
Cluckers, Raf; Halupczok, Immanuel; Rideau-Kikuchi, Silvain; Vermeulen, Floris Hensel minimality II: Mixed characteristic and a Diophantine application. (English) Zbl 07753224 Forum Math. Sigma 11, Paper No. e89, 33 p. (2023). MSC: 03C99 14G05 03C65 12J20 11G50 11D88 03C98 14E18 41A58 PDF BibTeX XML Cite \textit{R. Cluckers} et al., Forum Math. Sigma 11, Paper No. e89, 33 p. (2023; Zbl 07753224) Full Text: DOI arXiv OA License
Josz, Cédric Correction to: “Global convergence of the gradient method for functions definable in o-minimal structures”. (English) Zbl 07753216 Math. Program. 202, No. 1-2 (A), 385 (2023). MSC: 03C64 90C26 90C30 PDF BibTeX XML Cite \textit{C. Josz}, Math. Program. 202, No. 1--2 (A), 385 (2023; Zbl 07753216) Full Text: DOI
Josz, Cédric Global convergence of the gradient method for functions definable in o-minimal structures. (English) Zbl 07753215 Math. Program. 202, No. 1-2 (A), 355-383 (2023); correction ibid. 202, No. 1-2 (A), 385 (2023). MSC: 03C64 90C26 90C30 PDF BibTeX XML Cite \textit{C. Josz}, Math. Program. 202, No. 1--2 (A), 355--383 (2023; Zbl 07753215) Full Text: DOI arXiv
Turab, Ali; Sintunavarat, Wutiphol On the solution of the generalized functional equation arising in mathematical psychology and theory of learning approached by the Banach fixed point theorem. (English) Zbl 07752900 Carpathian J. Math. 39, No. 2, 541-551 (2023). MSC: 39B22 47H10 03C45 PDF BibTeX XML Cite \textit{A. Turab} and \textit{W. Sintunavarat}, Carpathian J. Math. 39, No. 2, 541--551 (2023; Zbl 07752900) Full Text: DOI
Trlifaj, Jan Categoricity for transfinite extensions of modules. (English) Zbl 07751179 Proc. Am. Math. Soc., Ser. B 10, 369-381 (2023). MSC: 03C95 16E30 03C35 16D10 PDF BibTeX XML Cite \textit{J. Trlifaj}, Proc. Am. Math. Soc., Ser. B 10, 369--381 (2023; Zbl 07751179) Full Text: DOI arXiv
Beyarslan, Özlem; Kowalski, Piotr Model theory of Galois actions of torsion abelian groups. (English) Zbl 07750917 J. Inst. Math. Jussieu 22, No. 6, 2943-2985 (2023). MSC: 03C60 12H10 11S20 20E18 PDF BibTeX XML Cite \textit{Ö. Beyarslan} and \textit{P. Kowalski}, J. Inst. Math. Jussieu 22, No. 6, 2943--2985 (2023; Zbl 07750917) Full Text: DOI arXiv OA License
Pasten, Hector Definability and arithmetic. (English) Zbl 07750544 Notices Am. Math. Soc. 70, No. 9, 1385-1393 (2023). MSC: 03C40 11G30 11G35 11U05 11U09 PDF BibTeX XML Cite \textit{H. Pasten}, Notices Am. Math. Soc. 70, No. 9, 1385--1393 (2023; Zbl 07750544) Full Text: DOI
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita Extended frames and separations of logical principles. (English) Zbl 07749829 Bull. Symb. Log. 29, No. 3, 311-353 (2023). MSC: 03F50 03B55 03C30 PDF BibTeX XML Cite \textit{M. Fujiwara} et al., Bull. Symb. Log. 29, No. 3, 311--353 (2023; Zbl 07749829) Full Text: DOI
Dobrowolski, Jan Sets, groups, and fields definable in vector spaces with a bilinear form. (Ensembles, groupes et champs définissables dans des espaces vectoriels avec une forme bilinéaire.) (English. French summary) Zbl 07748420 Ann. Inst. Fourier 73, No. 5, 1795-1841 (2023). MSC: 03C60 03C45 PDF BibTeX XML Cite \textit{J. Dobrowolski}, Ann. Inst. Fourier 73, No. 5, 1795--1841 (2023; Zbl 07748420) Full Text: DOI arXiv
Bays, Martin; Martin, Jean-François Incidence bounds in positive characteristic via valuations and distality. (Bornes d’incidence en caractéristique positive par les valuations et la distalité.) (English. French summary) Zbl 07747038 Ann. Henri Lebesgue 6, 627-641 (2023). MSC: 03C98 03C45 05D99 PDF BibTeX XML Cite \textit{M. Bays} and \textit{J.-F. Martin}, Ann. Henri Lebesgue 6, 627--641 (2023; Zbl 07747038) Full Text: DOI arXiv
Fox, Jacob; Pach, János; Suk, Andrew Sunflowers in set systems of bounded dimension. (English) Zbl 07745872 Combinatorica 43, No. 1, 187-202 (2023). MSC: 05D05 05D10 52C10 05D40 03C13 PDF BibTeX XML Cite \textit{J. Fox} et al., Combinatorica 43, No. 1, 187--202 (2023; Zbl 07745872) Full Text: DOI arXiv
Agrawal, Shashwat; Kuber, Amit; Gupta, Esha Euclidean algorithm for a class of linear orders. (English) Zbl 07745191 Discrete Math. 346, No. 12, Article ID 113639, 19 p. (2023). MSC: 16Gxx 03Cxx 06Axx PDF BibTeX XML Cite \textit{S. Agrawal} et al., Discrete Math. 346, No. 12, Article ID 113639, 19 p. (2023; Zbl 07745191) Full Text: DOI arXiv
Goldbring, Isaac; Hart, Bradd On Tsirelson pairs of C*-algebras. (English) Zbl 07742593 Rev. Math. Phys. 35, No. 8, Article ID 2350016, 13 p. (2023). MSC: 81P40 81R15 46L30 46L35 46L60 03C66 PDF BibTeX XML Cite \textit{I. Goldbring} and \textit{B. Hart}, Rev. Math. Phys. 35, No. 8, Article ID 2350016, 13 p. (2023; Zbl 07742593) 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
Hyttinen, Tapani; Kangas, Kaisa An AEC framework for fields with commuting automorphisms. (English) Zbl 07742500 Arch. Math. Logic 62, No. 7-8, 1001-1032 (2023). MSC: 03C48 03C45 12H10 PDF BibTeX XML Cite \textit{T. Hyttinen} and \textit{K. Kangas}, Arch. Math. Logic 62, No. 7--8, 1001--1032 (2023; Zbl 07742500) Full Text: DOI arXiv OA License
Fujita, Masato Definable Tietze extension property in o-minimal expansions of ordered groups. (English) Zbl 07742496 Arch. Math. Logic 62, No. 7-8, 941-945 (2023). MSC: 03C64 PDF BibTeX XML Cite \textit{M. Fujita}, Arch. Math. Logic 62, No. 7--8, 941--945 (2023; Zbl 07742496) Full Text: DOI arXiv
Malekghasemi, Mahya; Bagheri, Seyed-Mohammad Consistency and interpolation in linear continuous logic. (English) Zbl 07742495 Arch. Math. Logic 62, No. 7-8, 931-939 (2023). MSC: 03C40 03C52 PDF BibTeX XML Cite \textit{M. Malekghasemi} and \textit{S.-M. Bagheri}, Arch. Math. Logic 62, No. 7--8, 931--939 (2023; Zbl 07742495) Full Text: DOI
Guingona, Vincent; Parnes, Miriam Ranks based on strong amalgamation Fraïssé classes. (English) Zbl 07742494 Arch. Math. Logic 62, No. 7-8, 889-929 (2023). MSC: 03C45 PDF BibTeX XML Cite \textit{V. Guingona} and \textit{M. Parnes}, Arch. Math. Logic 62, No. 7--8, 889--929 (2023; Zbl 07742494) Full Text: DOI arXiv
Tari, Somayyeh A criterion for the strong cell decomposition property. (English) Zbl 07742493 Arch. Math. Logic 62, No. 7-8, 871-887 (2023). MSC: 03C64 PDF BibTeX XML Cite \textit{S. Tari}, Arch. Math. Logic 62, No. 7--8, 871--887 (2023; Zbl 07742493) Full Text: DOI
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
Olkhovikov, Grigory; Badia, Guillermo; Zoghifard, Reihane A Lindström theorem for intuitionistic first-order logic. (English) Zbl 07741122 Ann. Pure Appl. Logic 174, No. 10, Article ID 103346, 53 p. (2023). MSC: 03B20 03C95 03B55 03C90 PDF BibTeX XML Cite \textit{G. Olkhovikov} et al., Ann. Pure Appl. Logic 174, No. 10, Article ID 103346, 53 p. (2023; Zbl 07741122) Full Text: DOI arXiv
Touchard, Pierre Burden in Henselian valued fields. (English) Zbl 07741121 Ann. Pure Appl. Logic 174, No. 10, Article ID 103318, 61 p. (2023). MSC: 03C45 03C60 12J10 PDF BibTeX XML Cite \textit{P. Touchard}, Ann. Pure Appl. Logic 174, No. 10, Article ID 103318, 61 p. (2023; Zbl 07741121) Full Text: DOI arXiv
Gorman, Alexi Block Companionability characterization for the expansion of an o-minimal theory by a dense subgroup. (English) Zbl 07741120 Ann. Pure Appl. Logic 174, No. 10, Article ID 103316, 27 p. (2023). MSC: 03C10 03C64 03C40 03C45 PDF BibTeX XML Cite \textit{A. B. Gorman}, Ann. Pure Appl. Logic 174, No. 10, Article ID 103316, 27 p. (2023; Zbl 07741120) Full Text: DOI arXiv
Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio Alternating (in)dependence-friendly logic. (English) Zbl 07741119 Ann. Pure Appl. Logic 174, No. 10, Article ID 103315, 58 p. (2023). MSC: 03B60 03B70 03C80 03C90 68T27 91A28 PDF BibTeX XML Cite \textit{D. Bellier} et al., Ann. Pure Appl. Logic 174, No. 10, Article ID 103315, 58 p. (2023; Zbl 07741119) Full Text: DOI arXiv
Elliott, L.; Jonušas, J.; Mitchell, J. D.; Péresse, Y.; Pinsker, M. Polish topologies on endomorphism monoids of relational structures. (English) Zbl 07741082 Adv. Math. 431, Article ID 109214, 37 p. (2023). MSC: 03Cxx 08Axx 20Bxx PDF BibTeX XML Cite \textit{L. Elliott} et al., Adv. Math. 431, Article ID 109214, 37 p. (2023; Zbl 07741082) Full Text: DOI arXiv
Jarnevic, A.; Osin, D.; Oyakawa, K. Generic length functions on countable groups. (English) Zbl 07739986 J. Algebra 635, 348-372 (2023). Reviewer: Enrico Jabara (Venezia) MSC: 20F65 03C60 03C75 03E15 PDF BibTeX XML Cite \textit{A. Jarnevic} et al., J. Algebra 635, 348--372 (2023; Zbl 07739986) Full Text: DOI arXiv
Balchev, Stanislav; Szeptycki, Paul Finite betweenness relational structures are not Fraïssé. (English) Zbl 07739703 Sarajevo J. Math. 19(32), No. 1, 99-103 (2023). MSC: 05D10 08A02 03C15 06A75 PDF BibTeX XML Cite \textit{S. Balchev} and \textit{P. Szeptycki}, Sarajevo J. Math. 19(32), No. 1, 99--103 (2023; Zbl 07739703) Full Text: DOI
Yamamoto, Kentarô Addendum to: “The automorphism group of the Fraïssé limit of finite Heyting algebras”. (English) Zbl 07735955 J. Symb. Log. 88, No. 3, 1321-1322 (2023). MSC: 03C15 06D20 20B27 43A07 PDF BibTeX XML Cite \textit{K. Yamamoto}, J. Symb. Log. 88, No. 3, 1321--1322 (2023; Zbl 07735955) Full Text: DOI
Yamamoto, Kentarô The automorphism group of the Fraïssé limit of finite Heyting algebras. (English) Zbl 07735954 J. Symb. Log. 88, No. 3, 1310-1320 (2023); addendum ibid. 88, No. 3, 1321-1322 (2023). MSC: 03C15 06D20 20B27 43A07 PDF BibTeX XML Cite \textit{K. Yamamoto}, J. Symb. Log. 88, No. 3, 1310--1320 (2023; Zbl 07735954) Full Text: DOI arXiv
Gogolok, Jakub Model theory of derivations of the Frobenius map revisited. (English) Zbl 07735951 J. Symb. Log. 88, No. 3, 1213-1229 (2023). MSC: 03C10 03C60 12H05 PDF BibTeX XML Cite \textit{J. Gogolok}, J. Symb. Log. 88, No. 3, 1213--1229 (2023; Zbl 07735951) Full Text: DOI arXiv
Gismatullin, Jakub; Jagiella, Grzegorz; Krupiński, Krzysztof Bohr compactifications of groups and rings. (English) Zbl 07735947 J. Symb. Log. 88, No. 3, 1103-1137 (2023). MSC: 03C98 03C60 20A15 20G15 16B70 54H11 03C45 PDF BibTeX XML Cite \textit{J. Gismatullin} et al., J. Symb. Log. 88, No. 3, 1103--1137 (2023; Zbl 07735947) Full Text: DOI arXiv
Krapp, Lothar Sebastian; Kuhlmann, Salma; Link, Moritz Definability of Henselian valuations by conditions on the value group. (English) Zbl 07735945 J. Symb. Log. 88, No. 3, 1064-1082 (2023). MSC: 03C40 12J10 12L12 03C64 12J25 13J15 PDF BibTeX XML Cite \textit{L. S. Krapp} et al., J. Symb. Log. 88, No. 3, 1064--1082 (2023; Zbl 07735945) Full Text: DOI arXiv
Lee, Junguk The embedding property for sorted profinite groups. (English) Zbl 07735943 J. Symb. Log. 88, No. 3, 1005-1037 (2023). MSC: 03C60 08C10 PDF BibTeX XML Cite \textit{J. Lee}, J. Symb. Log. 88, No. 3, 1005--1037 (2023; Zbl 07735943) 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
Chernikov, Artem; Kim, Byunghan; Ramsey, Nicholas Transitivity, lowness, and ranks in NSOP\(_1\) theories. (English) Zbl 07735941 J. Symb. Log. 88, No. 3, 919-946 (2023). MSC: 03C45 PDF BibTeX XML Cite \textit{A. Chernikov} et al., J. Symb. Log. 88, No. 3, 919--946 (2023; Zbl 07735941) 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
Börner, Ferdinand; Goldstern, Martin; Shelah, Saharon Automorphisms and strongly invariant relations. (English) Zbl 07733769 Algebra Univers. 84, No. 4, Paper No. 27, 23 p. (2023). MSC: 03C50 03C10 06A15 PDF BibTeX XML Cite \textit{F. Börner} et al., Algebra Univers. 84, No. 4, Paper No. 27, 23 p. (2023; Zbl 07733769) Full Text: DOI arXiv
Filmus, Yuval; Fischer, Eldar; Makowsky, Johann A.; Rakita, Vsevolod MC-finiteness of restricted set partition functions. (English) Zbl 07732143 J. Integer Seq. 26, No. 7, Article 23.7.4, 35 p. (2023). MSC: 11B83 05A18 05A10 05A99 03C13 11Y55 11B75 PDF BibTeX XML Cite \textit{Y. Filmus} et al., J. Integer Seq. 26, No. 7, Article 23.7.4, 35 p. (2023; Zbl 07732143) Full Text: arXiv Link
Goldbring, Isaac; Kunnawalkam Elayavalli, Srivatsav; Lodha, Yash Generic algebraic properties in spaces of enumerated groups. (English) Zbl 07731986 Trans. Am. Math. Soc. 376, No. 9, 6245-6282 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20F10 03E15 03C15 03C25 03C57 03C60 06F15 20F60 PDF BibTeX XML Cite \textit{I. Goldbring} et al., Trans. Am. Math. Soc. 376, No. 9, 6245--6282 (2023; Zbl 07731986) Full Text: DOI arXiv
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
Vicaría, Mariana Elimination of imaginaries in \(\mathbb{C}((\Gamma))\). (English) Zbl 1521.12011 J. Lond. Math. Soc., II. Ser. 108, No. 2, 482-544 (2023). MSC: 12L12 03C60 PDF BibTeX XML Cite \textit{M. Vicaría}, J. Lond. Math. Soc., II. Ser. 108, No. 2, 482--544 (2023; Zbl 1521.12011) Full Text: DOI arXiv
Kusraev, A. G.; Kutateladze, S. S. Boolean valued analysis of Banach algebras. (English) Zbl 07729659 Sib. Math. J. 64, No. 4, 1001-1034 (2023). MSC: 46L05 46H70 03C90 PDF BibTeX XML Cite \textit{A. G. Kusraev} and \textit{S. S. Kutateladze}, Sib. Math. J. 64, No. 4, 1001--1034 (2023; Zbl 07729659) 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
Sankaran, Abhisekh Feferman-vaught decompositions for prefix classes of first order logic. (English) Zbl 07727823 J. Logic Lang. Inf. 32, No. 1, 147-174 (2023). MSC: 03-XX 68-XX 03C13 03C40 03C52 05C05 05C38 05C62 05C69 05C75 PDF BibTeX XML Cite \textit{A. Sankaran}, J. Logic Lang. Inf. 32, No. 1, 147--174 (2023; Zbl 07727823) Full Text: DOI arXiv
Kudryavtsev, D. Semigroups locally embeddable into the class of finite semigroups. (English) Zbl 07727521 Int. J. Algebra Comput. 33, No. 5, 969-988 (2023). Reviewer: Peeter Normak (Tallinn) MSC: 20M05 20M10 20M15 03C13 03C60 PDF BibTeX XML Cite \textit{D. Kudryavtsev}, Int. J. Algebra Comput. 33, No. 5, 969--988 (2023; Zbl 07727521) Full Text: DOI
El-Kasri, C.; Alfidi, M.; Boua, A. Observer synthesis for 2-D discrete-time varying delay systems: F-M model. (English) Zbl 07727291 Adv. Appl. Discrete Math. 38, No. 1, 29-47 (2023). MSC: 93B53 93C20 15A39 03C45 34Kxx 93Cxx PDF BibTeX XML Cite \textit{C. El-Kasri} et al., Adv. Appl. Discrete Math. 38, No. 1, 29--47 (2023; Zbl 07727291) Full Text: DOI
Henriksson, Viktor; Kufleitner, Manfred Forbidden patterns for \(\mathrm{FO}^2\) alternation over finite and infinite words. (English) Zbl 07727034 Int. J. Found. Comput. Sci. 34, No. 2-3, 183-224 (2023). MSC: 68Q45 03C13 68Q19 PDF BibTeX XML Cite \textit{V. Henriksson} and \textit{M. Kufleitner}, Int. J. Found. Comput. Sci. 34, No. 2--3, 183--224 (2023; Zbl 07727034) Full Text: DOI arXiv
Jekel, David Covering entropy for types in tracial \(\mathrm{W}^*\)-algebras. (English) Zbl 07725193 J. Log. Anal. 15, Paper No. 2, 68 p. (2023); corrigendum ibid. 15, Paper No. 2c, 1 p. (2023). MSC: 03C66 46L51 46L54 94A17 PDF BibTeX XML Cite \textit{D. Jekel}, J. Log. Anal. 15, Paper No. 2, 68 p. (2023; Zbl 07725193) Full Text: DOI arXiv
Jekel, David Corrigendum to: “Covering entropy for types in tracial \(\mathrm{W}^*\)-algebras”. (English) Zbl 07725192 J. Log. Anal. 15, Paper No. 2c, 1 p. (2023). MSC: 03C66 46L51 46L54 94A17 PDF BibTeX XML Cite \textit{D. Jekel}, J. Log. Anal. 15, Paper No. 2c, 1 p. (2023; Zbl 07725192) Full Text: DOI
Opris, Andre On preparation theorems for \(\mathbb{R}_{\mathrm{an, exp}}\)-definable functions. (English) Zbl 07725191 J. Log. Anal. 15, Paper No. 1, 50 p. (2023). Reviewer: Fujita Masato (Kure) MSC: 14P15 03C64 26A09 26E05 26E10 32B20 PDF BibTeX XML Cite \textit{A. Opris}, J. Log. Anal. 15, Paper No. 1, 50 p. (2023; Zbl 07725191) 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
Halevi, Yatir; Kaplan, Itay Saturated models for the working model theorist. (English) Zbl 07725100 Bull. Symb. Log. 29, No. 2, 163-169 (2023). MSC: 03C50 03E45 03C10 PDF BibTeX XML Cite \textit{Y. Halevi} and \textit{I. Kaplan}, Bull. Symb. Log. 29, No. 2, 163--169 (2023; Zbl 07725100) Full Text: DOI arXiv
Derakhshan, Jamshid; Macintyre, Angus Decidability of the class of all the rings \(\mathbb{Z}/m\mathbb{Z}\) : A problem of Ax. (English) Zbl 07724271 Forum Math. Sigma 11, Paper No. e64, 6 p. (2023). MSC: 11U05 11T30 03B25 12J10 03C60 11U09 03C13 11R56 12L05 12E30 PDF BibTeX XML Cite \textit{J. Derakhshan} and \textit{A. Macintyre}, Forum Math. Sigma 11, Paper No. e64, 6 p. (2023; Zbl 07724271) Full Text: DOI
DuBeau, Jordan Jónsson Jónsson-Tarski algebras. (English) Zbl 07722306 Algebra Univers. 84, No. 3, Paper No. 26, 14 p. (2023). MSC: 03C05 03C55 08A30 08A05 PDF BibTeX XML Cite \textit{J. DuBeau}, Algebra Univers. 84, No. 3, Paper No. 26, 14 p. (2023; Zbl 07722306) Full Text: DOI arXiv
Romov, Boris A. Existential relations on infinite structures. (English) Zbl 07722304 Algebra Univers. 84, No. 3, Paper No. 24, 23 p. (2023). MSC: 06A15 03C05 03C10 03C75 PDF BibTeX XML Cite \textit{B. A. Romov}, Algebra Univers. 84, No. 3, Paper No. 24, 23 p. (2023; Zbl 07722304) Full Text: DOI
Bunina, Elena Regular bi-interpretability of Chevalley groups over local rings. (English) Zbl 07722182 Eur. J. Math. 9, No. 3, Paper No. 64, 23 p. (2023). MSC: 03C60 20G35 PDF BibTeX XML Cite \textit{E. Bunina}, Eur. J. Math. 9, No. 3, Paper No. 64, 23 p. (2023; Zbl 07722182) Full Text: DOI arXiv
Johnson, Will; Ye, Jinhe A note on geometric theories of fields. (English) Zbl 07721467 Model Theory 2, No. 1, 121-132 (2023). MSC: 03C60 12L12 PDF BibTeX XML Cite \textit{W. Johnson} and \textit{J. Ye}, Model Theory 2, No. 1, 121--132 (2023; Zbl 07721467) Full Text: DOI arXiv
Dittmann, Philip; Jahnke, Franziska; Krapp, Lothar Sebastian; Kuhlmann, Salma Definable valuations on ordered fields. (English) Zbl 07721466 Model Theory 2, No. 1, 101-120 (2023). MSC: 13A18 03C64 12J20 12L12 13F25 13J30 PDF BibTeX XML Cite \textit{P. Dittmann} et al., Model Theory 2, No. 1, 101--120 (2023; Zbl 07721466) Full Text: DOI arXiv
Zamour, Samuel Dimensional quasi-Frobenius groups. (Quasi groupes de Frobenius dimensionnels.) (French. English summary) Zbl 07721465 Model Theory 2, No. 1, 69-100 (2023). Reviewer: Frank Wagner (Villeurbanne) MSC: 20F11 03C60 03C64 PDF BibTeX XML Cite \textit{S. Zamour}, Model Theory 2, No. 1, 69--100 (2023; Zbl 07721465) Full Text: DOI arXiv
Conant, Gabriel; Gannon, Kyle; Hanson, James Keisler measures in the wild. (English) Zbl 07721464 Model Theory 2, No. 1, 1-67 (2023). MSC: 03C45 03C95 PDF BibTeX XML Cite \textit{G. Conant} et al., Model Theory 2, No. 1, 1--67 (2023; Zbl 07721464) Full Text: DOI arXiv
Goldbring, Isaac (ed.) Model theory of operator algebras. (English) Zbl 1519.46002 De Gruyter Series in Logic and Its Applications 11. Berlin: De Gruyter (ISBN 978-3-11-076821-3/hbk; 978-3-11-076828-2/ebook). x, 484 p. (2023). MSC: 46-06 03-06 46L10 03C45 PDF BibTeX XML Cite \textit{I. Goldbring} (ed.), Model theory of operator algebras. Berlin: De Gruyter (2023; Zbl 1519.46002) Full Text: DOI
Kucharz, Wojciech; Kurdyka, Krzysztof A Bochnak-Siciak theorem for Nash functions over real closed fields. (English) Zbl 1517.14040 Isr. J. Math. 255, No. 2, 811-820 (2023). MSC: 14P10 03C64 32A05 PDF BibTeX XML Cite \textit{W. Kucharz} and \textit{K. Kurdyka}, Isr. J. Math. 255, No. 2, 811--820 (2023; Zbl 1517.14040) Full Text: DOI
Khomskii, Yurii; Koelbing, Marlene; Laguzzi, Giorgio; Wohofsky, Wolfgang Laver trees in the generalized Baire space. (English) Zbl 07720432 Isr. J. Math. 255, No. 2, 599-620 (2023). MSC: 03Exx 03-XX 03Cxx PDF BibTeX XML Cite \textit{Y. Khomskii} et al., Isr. J. Math. 255, No. 2, 599--620 (2023; Zbl 07720432) Full Text: DOI arXiv
Chetcuti, Emmanuel; Zamora-Aviles, Beatriz On the commutant of \(B(H)\) in its ultrapower. (English) Zbl 07720428 Isr. J. Math. 255, No. 1, 423-451 (2023). MSC: 03Exx 46Lxx 03Cxx PDF BibTeX XML Cite \textit{E. Chetcuti} and \textit{B. Zamora-Aviles}, Isr. J. Math. 255, No. 1, 423--451 (2023; Zbl 07720428) Full Text: DOI arXiv
Bakker, B.; Klingler, B.; Tsimerman, J. Erratum to: “Tame topology of arithmetic quotients and algebraicity of Hodge loci”. (English) Zbl 1520.14021 J. Am. Math. Soc. 36, No. 4, 1305-1308 (2023). MSC: 14D07 14C30 22F30 03C64 PDF BibTeX XML Cite \textit{B. Bakker} et al., J. Am. Math. Soc. 36, No. 4, 1305--1308 (2023; Zbl 1520.14021) Full Text: DOI
Turab, Ali; Rosli, Norhayati; Ali, Wajahat; Nieto, Juan J. The existence and uniqueness of solutions to a functional equation arising in psychological learning theory. (English) Zbl 07720272 Demonstr. Math. 56, Article ID 20220231, 12 p. (2023). MSC: 47H10 03C45 39B22 PDF BibTeX XML Cite \textit{A. Turab} et al., Demonstr. Math. 56, Article ID 20220231, 12 p. (2023; Zbl 07720272) Full Text: DOI
Tran, Chieu-Minh; Walsberg, Erik A family of dp-minimal expansions of \((\mathbb{Z}; +)\). (English) Zbl 07720264 Notre Dame J. Formal Logic 64, No. 2, 225-238 (2023). MSC: 03C65 03B25 03C10 03C64 PDF BibTeX XML Cite \textit{C.-M. Tran} and \textit{E. Walsberg}, Notre Dame J. Formal Logic 64, No. 2, 225--238 (2023; Zbl 07720264) Full Text: DOI arXiv