Cornulier, Yves; Wilson, John S. First-order recognizability in finite and pseudofinite groups. (English) Zbl 1485.03119 J. Symb. Log. 85, No. 2, 852-867 (2020). MSC: 03C60 20A15 03C13 03C20 20D10 20D15 20D20 PDFBibTeX XMLCite \textit{Y. Cornulier} and \textit{J. S. Wilson}, J. Symb. Log. 85, No. 2, 852--867 (2020; Zbl 1485.03119) Full Text: DOI arXiv
Martin-Pizarro, Amador; Ziegler, Martin Equational theories of fields. (English) Zbl 1472.03031 J. Symb. Log. 85, No. 2, 828-851 (2020). Reviewer: Vahagn Aslanyan (Pittsburgh) MSC: 03C45 12H05 03C60 12L12 PDFBibTeX XMLCite \textit{A. Martin-Pizarro} and \textit{M. Ziegler}, J. Symb. Log. 85, No. 2, 828--851 (2020; Zbl 1472.03031) Full Text: DOI arXiv
Kubiś, Wiesław; Shelah, Saharon Homogeneous structures with nonuniversal automorphism groups. (English) Zbl 1485.03086 J. Symb. Log. 85, No. 2, 817-827 (2020). MSC: 03C15 03C50 03C60 20A15 20B27 PDFBibTeX XMLCite \textit{W. Kubiś} and \textit{S. Shelah}, J. Symb. Log. 85, No. 2, 817--827 (2020; Zbl 1485.03086) Full Text: DOI arXiv
Cutolo, Raffaella \(N\)-Berkeley cardinals and weak extender models. (English) Zbl 1485.03217 J. Symb. Log. 85, No. 2, 809-816 (2020). MSC: 03E45 03E55 03E35 PDFBibTeX XMLCite \textit{R. Cutolo}, J. Symb. Log. 85, No. 2, 809--816 (2020; Zbl 1485.03217) Full Text: DOI
Cody, Brent A refinement of the Ramsey hierarchy via indescribability. (English) Zbl 1485.03219 J. Symb. Log. 85, No. 2, 773-808 (2020). MSC: 03E55 03E02 03E05 PDFBibTeX XMLCite \textit{B. Cody}, J. Symb. Log. 85, No. 2, 773--808 (2020; Zbl 1485.03219) Full Text: DOI arXiv
Mikec, Luka; Vuković, Mladen Interpretability logics and generalised Veltman semantics. (English) Zbl 1462.03028 J. Symb. Log. 85, No. 2, 749-772 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{L. Mikec} and \textit{M. Vuković}, J. Symb. Log. 85, No. 2, 749--772 (2020; Zbl 1462.03028) Full Text: DOI arXiv
Krupski, Paweł; Vejnar, Benjamin The complexity of homeomorphism relations on some classes of compacta. (English) Zbl 1485.03201 J. Symb. Log. 85, No. 2, 733-748 (2020). MSC: 03E15 54H05 54F15 PDFBibTeX XMLCite \textit{P. Krupski} and \textit{B. Vejnar}, J. Symb. Log. 85, No. 2, 733--748 (2020; Zbl 1485.03201) Full Text: DOI arXiv
Freund, Anton How strong are single fixed points of normal functions? (English) Zbl 1462.03008 J. Symb. Log. 85, No. 2, 709-732 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F15 03F35 PDFBibTeX XMLCite \textit{A. Freund}, J. Symb. Log. 85, No. 2, 709--732 (2020; Zbl 1462.03008) Full Text: DOI arXiv
Ben-Neria, Omer; Garti, Shimon On configurations concerning cardinal characteristics at regular cardinals. (English) Zbl 1485.03204 J. Symb. Log. 85, No. 2, 691-708 (2020). MSC: 03E17 03E35 03E50 03E55 PDFBibTeX XMLCite \textit{O. Ben-Neria} and \textit{S. Garti}, J. Symb. Log. 85, No. 2, 691--708 (2020; Zbl 1485.03204) Full Text: DOI arXiv
Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. Coding in graphs and linear orderings. (English) Zbl 1459.03046 J. Symb. Log. 85, No. 2, 673-690 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D45 03D30 PDFBibTeX XMLCite \textit{J. F. Knight} et al., J. Symb. Log. 85, No. 2, 673--690 (2020; Zbl 1459.03046) Full Text: DOI arXiv
Prunescu, Mihai The exponential Diophantine problem for \(\mathbb{Q}\). (English) Zbl 1480.11161 J. Symb. Log. 85, No. 2, 671-672 (2020). Reviewer: Alexandra Shlapentokh (Greenville) MSC: 11U05 11D61 14G05 PDFBibTeX XMLCite \textit{M. Prunescu}, J. Symb. Log. 85, No. 2, 671--672 (2020; Zbl 1480.11161) Full Text: DOI
Itsykson, Dmitry; Knop, Alexander; Romashchenko, Andrei; Sokolov, Dmitry On OBDD-based algorithms and proof systems that dynamically change the order of variables. (English) Zbl 1497.68218 J. Symb. Log. 85, No. 2, 632-670 (2020). MSC: 68Q11 03F20 68R07 94B05 PDFBibTeX XMLCite \textit{D. Itsykson} et al., J. Symb. Log. 85, No. 2, 632--670 (2020; Zbl 1497.68218) Full Text: DOI Link
Vaccaro, Andrea Voiculescu’s theorem for nonseparable \(\text{C}^{\ast}\)-algebras. (English) Zbl 1464.03084 J. Symb. Log. 85, No. 2, 624-631 (2020). Reviewer: Alessandro Vignati (Toronto) MSC: 03E75 46L05 03E35 03E50 PDFBibTeX XMLCite \textit{A. Vaccaro}, J. Symb. Log. 85, No. 2, 624--631 (2020; Zbl 1464.03084) Full Text: DOI arXiv
Frolov, Andrey N.; Lempp, Steffen; Ng, Keng Meng; Wu, Guohua Computable linear orders and products. (English) Zbl 1459.03064 J. Symb. Log. 85, No. 2, 605-623 (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 PDFBibTeX XMLCite \textit{A. N. Frolov} et al., J. Symb. Log. 85, No. 2, 605--623 (2020; Zbl 1459.03064) Full Text: DOI Link
Goldberg, Gabriel The Ketonen order. (English) Zbl 1472.03062 J. Symb. Log. 85, No. 2, 585-604 (2020). Reviewer: Pierre Matet (Caen) MSC: 03E45 03E55 03E65 PDFBibTeX XMLCite \textit{G. Goldberg}, J. Symb. Log. 85, No. 2, 585--604 (2020; Zbl 1472.03062) Full Text: DOI
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 PDFBibTeX XMLCite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 1485.03257) Full Text: DOI arXiv
Kazda, Alexandr; Valeriote, Matt Deciding some Maltsev conditions in finite idempotent algebras. (English) Zbl 1497.08003 J. Symb. Log. 85, No. 2, 539-562 (2020). MSC: 08B05 08A40 68Q25 PDFBibTeX XMLCite \textit{A. Kazda} and \textit{M. Valeriote}, J. Symb. Log. 85, No. 2, 539--562 (2020; Zbl 1497.08003) Full Text: DOI arXiv