Moraschini, Tommaso The semantic isomorphism theorem in abstract algebraic logic. (English) Zbl 1432.03134 Ann. Pure Appl. Logic 167, No. 12, 1298-1331 (2016). MSC: 03G27 06F07 03B47 18A15 PDFBibTeX XMLCite \textit{T. Moraschini}, Ann. Pure Appl. Logic 167, No. 12, 1298--1331 (2016; Zbl 1432.03134) Full Text: DOI
Barriga, Eliana; Onshuus, Alf Classifying torsion free groups in o-minimal expansions of real closed fields. (English) Zbl 1432.03069 Ann. Pure Appl. Logic 167, No. 12, 1267-1297 (2016). MSC: 03C64 03C60 20J06 06F15 06F25 22E25 PDFBibTeX XMLCite \textit{E. Barriga} and \textit{A. Onshuus}, Ann. Pure Appl. Logic 167, No. 12, 1267--1297 (2016; Zbl 1432.03069) Full Text: DOI
Hölzl, Rupert; Jain, Sanjay; Stephan, Frank Inductive inference and reverse mathematics. (English) Zbl 1403.03017 Ann. Pure Appl. Logic 167, No. 12, 1242-1266 (2016). MSC: 03B30 68Q32 68Q45 PDFBibTeX XMLCite \textit{R. Hölzl} et al., Ann. Pure Appl. Logic 167, No. 12, 1242--1266 (2016; Zbl 1403.03017) Full Text: DOI
Steila, Silvia; Yokoyama, Keita Reverse mathematical bounds for the termination theorem. (English) Zbl 1402.03023 Ann. Pure Appl. Logic 167, No. 12, 1213-1241 (2016). MSC: 03B30 03F35 03B70 05D10 68Q60 PDFBibTeX XMLCite \textit{S. Steila} and \textit{K. Yokoyama}, Ann. Pure Appl. Logic 167, No. 12, 1213--1241 (2016; Zbl 1402.03023) Full Text: DOI arXiv
Finkel, Olivier Infinite games specified by 2-tape automata. (English) Zbl 1422.03113 Ann. Pure Appl. Logic 167, No. 12, 1184-1212 (2016). MSC: 03E60 03E35 03D05 68Q45 68Q15 68Q17 03E15 PDFBibTeX XMLCite \textit{O. Finkel}, Ann. Pure Appl. Logic 167, No. 12, 1184--1212 (2016; Zbl 1422.03113) Full Text: DOI arXiv
VanDieren, Monica M. Superstability and symmetry. (English) Zbl 1432.03057 Ann. Pure Appl. Logic 167, No. 12, 1171-1183 (2016). MSC: 03C48 03C45 03C50 03C30 PDFBibTeX XMLCite \textit{M. M. VanDieren}, Ann. Pure Appl. Logic 167, No. 12, 1171--1183 (2016; Zbl 1432.03057) Full Text: DOI arXiv