Cubides Kovacsics, Pablo; Nguyen, Kien Huu A \(p\)-minimal structure without definable Skolem functions. (English) Zbl 1434.03097 J. Symb. Log. 82, No. 2, 778-786 (2017). MSC: 03C64 03C99 12J12 12J25 PDFBibTeX XMLCite \textit{P. Cubides Kovacsics} and \textit{K. H. Nguyen}, J. Symb. Log. 82, No. 2, 778--786 (2017; Zbl 1434.03097) Full Text: DOI arXiv
Myasnikov, Alexei G.; Sohrabi, Mahmood {\(\omega\)}-stability and Morley rank of bilinear maps, rings and nilpotent groups. (English) Zbl 1420.03081 J. Symb. Log. 82, No. 2, 754-777 (2017). MSC: 03C60 03C45 20F11 20F18 20F40 16B70 PDFBibTeX XMLCite \textit{A. G. Myasnikov} and \textit{M. Sohrabi}, J. Symb. Log. 82, No. 2, 754--777 (2017; Zbl 1420.03081) Full Text: DOI arXiv
Berardi, Stefano; Steila, Silvia Ramsey’s theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic. (English) Zbl 1419.03055 J. Symb. Log. 82, No. 2, 737-753 (2017). MSC: 03F55 03B30 03F30 05D10 PDFBibTeX XMLCite \textit{S. Berardi} and \textit{S. Steila}, J. Symb. Log. 82, No. 2, 737--753 (2017; Zbl 1419.03055) Full Text: DOI arXiv
Torres-Pérez, Víctor Weak reflection principle, saturation of the nonstationary ideal on \(\omega_1\) and diamonds. (English) Zbl 1419.03041 J. Symb. Log. 82, No. 2, 724-736 (2017). MSC: 03E05 03E10 03E65 PDFBibTeX XMLCite \textit{V. Torres-Pérez}, J. Symb. Log. 82, No. 2, 724--736 (2017; Zbl 1419.03041) Full Text: DOI
Walicki, Michał Resolving infinitary paradoxes. (English) Zbl 1385.03031 J. Symb. Log. 82, No. 2, 709-723 (2017). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B47 03B53 03C75 PDFBibTeX XMLCite \textit{M. Walicki}, J. Symb. Log. 82, No. 2, 709--723 (2017; Zbl 1385.03031) Full Text: DOI Link
Aschieri, Federico Game semantics and the geometry of backtracking: a new complexity analysis of interaction. (English) Zbl 1401.03100 J. Symb. Log. 82, No. 2, 672-708 (2017). Reviewer: Reinhard Kahle (Lisboa) MSC: 03F20 03B70 03F05 68Q55 PDFBibTeX XMLCite \textit{F. Aschieri}, J. Symb. Log. 82, No. 2, 672--708 (2017; Zbl 1401.03100) Full Text: DOI arXiv
Conant, Gabriel An axiomatic approach to free amalgamation. (English) Zbl 1419.03029 J. Symb. Log. 82, No. 2, 648-671 (2017). MSC: 03C45 03C15 PDFBibTeX XMLCite \textit{G. Conant}, J. Symb. Log. 82, No. 2, 648--671 (2017; Zbl 1419.03029) Full Text: DOI arXiv
Fischer, Vera; Schrittesser, David; Törnquist, Asger A co-analytic Cohen-indestructible maximal cofinitary group. (English) Zbl 1427.03052 J. Symb. Log. 82, No. 2, 629-647 (2017). MSC: 03E15 03E35 20B07 20B35 03E45 PDFBibTeX XMLCite \textit{V. Fischer} et al., J. Symb. Log. 82, No. 2, 629--647 (2017; Zbl 1427.03052) Full Text: DOI arXiv
Aguilera, Juan P.; Fernández-Duque, David Strong completeness of provability logic for ordinal spaces. (English) Zbl 1419.03054 J. Symb. Log. 82, No. 2, 608-628 (2017). MSC: 03F45 03E10 03F15 54G12 03B45 03F40 PDFBibTeX XMLCite \textit{J. P. Aguilera} and \textit{D. Fernández-Duque}, J. Symb. Log. 82, No. 2, 608--628 (2017; Zbl 1419.03054) Full Text: DOI arXiv
Escardó, Martín; Oliva, Paulo The Herbrand functional interpretation of the double negation shift. (English) Zbl 1419.03051 J. Symb. Log. 82, No. 2, 590-607 (2017). MSC: 03F07 03F10 03F35 PDFBibTeX XMLCite \textit{M. Escardó} and \textit{P. Oliva}, J. Symb. Log. 82, No. 2, 590--607 (2017; Zbl 1419.03051) Full Text: DOI arXiv
Hatzikiriakou, Kostas; Simpson, Stephen G. Reverse mathematics, Young diagrams, and the ascending chain condition. (English) Zbl 1422.03018 J. Symb. Log. 82, No. 2, 576-589 (2017). MSC: 03B30 16P40 16S34 05A17 03F15 20C05 PDFBibTeX XMLCite \textit{K. Hatzikiriakou} and \textit{S. G. Simpson}, J. Symb. Log. 82, No. 2, 576--589 (2017; Zbl 1422.03018) Full Text: DOI arXiv
Antos, Carolin; Friedman, Sy-David Hyperclass forcing in Morse-Kelley class theory. (English) Zbl 1419.03046 J. Symb. Log. 82, No. 2, 549-575 (2017). MSC: 03E40 03E35 03E45 03E55 PDFBibTeX XMLCite \textit{C. Antos} and \textit{S.-D. Friedman}, J. Symb. Log. 82, No. 2, 549--575 (2017; Zbl 1419.03046) Full Text: DOI arXiv
Hachtman, Sherwood Calibrating determinacy strength in levels of the Borel hierarchy. (English) Zbl 1419.03048 J. Symb. Log. 82, No. 2, 510-548 (2017). MSC: 03E60 03E15 03F35 03E45 PDFBibTeX XMLCite \textit{S. Hachtman}, J. Symb. Log. 82, No. 2, 510--548 (2017; Zbl 1419.03048) Full Text: DOI Link
Larson, Paul; Zapletal, Jindřich Canonical models for fragments of the axiom of choice. (English) Zbl 1419.03044 J. Symb. Log. 82, No. 2, 489-509 (2017). MSC: 03E17 03E25 03E40 PDFBibTeX XMLCite \textit{P. Larson} and \textit{J. Zapletal}, J. Symb. Log. 82, No. 2, 489--509 (2017; Zbl 1419.03044) Full Text: DOI Link
Jarden, Moshe; Shlapentokh, Alexandra Decidable algebraic fields. (English) Zbl 1387.12008 J. Symb. Log. 82, No. 2, 474-488 (2017). MSC: 12L05 03C07 03D35 PDFBibTeX XMLCite \textit{M. Jarden} and \textit{A. Shlapentokh}, J. Symb. Log. 82, No. 2, 474--488 (2017; Zbl 1387.12008) Full Text: DOI arXiv
Rast, Richard; Sahota, Davender Singh The Borel complexity of isomorphism for o-minimal theories. (English) Zbl 1412.03018 J. Symb. Log. 82, No. 2, 453-473 (2017). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C64 03C15 03E15 03C07 PDFBibTeX XMLCite \textit{R. Rast} and \textit{D. S. Sahota}, J. Symb. Log. 82, No. 2, 453--473 (2017; Zbl 1412.03018) Full Text: DOI arXiv
Chatterjee, Krishnendu; Piterman, Nir Obligation Blackwell games and p-automata. (English) Zbl 1432.91019 J. Symb. Log. 82, No. 2, 420-452 (2017). MSC: 91A15 91A05 03B44 03B70 68Q45 68Q17 91A68 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{N. Piterman}, J. Symb. Log. 82, No. 2, 420--452 (2017; Zbl 1432.91019) Full Text: DOI arXiv
Caicedo, Andrés Eduardo; Zeman, Martin Downward transference of mice and universality of local core models. (English) Zbl 1419.03047 J. Symb. Log. 82, No. 2, 385-419 (2017). MSC: 03E45 03E05 03E55 PDFBibTeX XMLCite \textit{A. E. Caicedo} and \textit{M. Zeman}, J. Symb. Log. 82, No. 2, 385--419 (2017; Zbl 1419.03047) Full Text: DOI arXiv