Montenegro, Samaria Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\). (English) Zbl 1436.03203 Ann. Pure Appl. Logic 168, No. 1, 191-232 (2017). Reviewer: Ali Bleybel (Beirut) MSC: 03C60 03C45 03C64 12L12 PDFBibTeX XMLCite \textit{S. Montenegro}, Ann. Pure Appl. Logic 168, No. 1, 191--232 (2017; Zbl 1436.03203) Full Text: DOI arXiv
Jeřábek, Emil Proof complexity of intuitionistic implicational formulas. (English) Zbl 1422.03124 Ann. Pure Appl. Logic 168, No. 1, 150-190 (2017). MSC: 03F20 03B20 03B55 PDFBibTeX XMLCite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 168, No. 1, 150--190 (2017; Zbl 1422.03124) Full Text: DOI arXiv
Kulpeshov, B. Sh.; Sudoplatov, S. V. Vaught’s conjecture for quite o-minimal theories. (English) Zbl 1454.03046 Ann. Pure Appl. Logic 168, No. 1, 129-149 (2017). MSC: 03C64 03C15 03C07 03C50 PDFBibTeX XMLCite \textit{B. Sh. Kulpeshov} and \textit{S. V. Sudoplatov}, Ann. Pure Appl. Logic 168, No. 1, 129--149 (2017; Zbl 1454.03046) Full Text: DOI
Sipoş, Andrei Effective results on a fixed point algorithm for families of nonlinear mappings. (English) Zbl 1422.03123 Ann. Pure Appl. Logic 168, No. 1, 112-128 (2017). MSC: 03F10 03F60 47J25 47H09 PDFBibTeX XMLCite \textit{A. Sipoş}, Ann. Pure Appl. Logic 168, No. 1, 112--128 (2017; Zbl 1422.03123) Full Text: DOI arXiv
Ghari, Meghdad Labeled sequent calculus for justification logics. (English) Zbl 1429.03081 Ann. Pure Appl. Logic 168, No. 1, 72-111 (2017). Reviewer: Emil Jeřábek (Praha) MSC: 03B45 03F05 03B62 PDFBibTeX XMLCite \textit{M. Ghari}, Ann. Pure Appl. Logic 168, No. 1, 72--111 (2017; Zbl 1429.03081) Full Text: DOI
Lambie-Hanson, Chris Bounded stationary reflection. II. (English) Zbl 1361.03048 Ann. Pure Appl. Logic 168, No. 1, 50-71 (2017). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E35 03E05 03E55 03E04 PDFBibTeX XMLCite \textit{C. Lambie-Hanson}, Ann. Pure Appl. Logic 168, No. 1, 50--71 (2017; Zbl 1361.03048) Full Text: DOI arXiv
Brooke-Taylor, A. D.; Fischer, V.; Friedman, S. D.; Montoya, D. C. Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model. (English) Zbl 1422.03103 Ann. Pure Appl. Logic 168, No. 1, 37-49 (2017). MSC: 03E17 03E35 03E55 PDFBibTeX XMLCite \textit{A. D. Brooke-Taylor} et al., Ann. Pure Appl. Logic 168, No. 1, 37--49 (2017; Zbl 1422.03103) Full Text: DOI arXiv Backlinks: MO
Ackerman, Nathanael; Freer, Cameron; Kwiatkowska, Aleksandra; Patel, Rehana A classification of orbits admitting a unique invariant measure. (English) Zbl 1422.03085 Ann. Pure Appl. Logic 168, No. 1, 19-36 (2017). MSC: 03C98 37L40 37A25 60G09 20B27 22F10 PDFBibTeX XMLCite \textit{N. Ackerman} et al., Ann. Pure Appl. Logic 168, No. 1, 19--36 (2017; Zbl 1422.03085) Full Text: DOI arXiv
Szewczak, Piotr; Tsaban, Boaz Products of Menger spaces: A combinatorial approach. (English) Zbl 1355.54026 Ann. Pure Appl. Logic 168, No. 1, 1-18 (2017). Reviewer: Miroslav Repický (Košice) MSC: 54D20 03E17 03E50 PDFBibTeX XMLCite \textit{P. Szewczak} and \textit{B. Tsaban}, Ann. Pure Appl. Logic 168, No. 1, 1--18 (2017; Zbl 1355.54026) Full Text: DOI arXiv