Fan, Yun A uniform version of non-\(\mathrm{low}_{2}\)-ness. (English) Zbl 1422.03087 Ann. Pure Appl. Logic 168, No. 3, 738-748 (2017). MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{Y. Fan}, Ann. Pure Appl. Logic 168, No. 3, 738--748 (2017; Zbl 1422.03087) Full Text: DOI
Ciabattoni, Agata; Galatos, Nikolaos; Terui, Kazushige Algebraic proof theory: hypersequents and hypercompletions. (English) Zbl 1422.03038 Ann. Pure Appl. Logic 168, No. 3, 693-737 (2017). MSC: 03B47 03G25 03F05 03F03 PDFBibTeX XMLCite \textit{A. Ciabattoni} et al., Ann. Pure Appl. Logic 168, No. 3, 693--737 (2017; Zbl 1422.03038) Full Text: DOI
Vasey, Sebastien Downward categoricity from a successor inside a good frame. (English) Zbl 1422.03076 Ann. Pure Appl. Logic 168, No. 3, 651-692 (2017). MSC: 03C48 03C35 03C45 03C52 03C55 PDFBibTeX XMLCite \textit{S. Vasey}, Ann. Pure Appl. Logic 168, No. 3, 651--692 (2017; Zbl 1422.03076) Full Text: DOI arXiv
Conant, Gabriel Distance structures for generalized metric spaces. (English) Zbl 1422.03063 Ann. Pure Appl. Logic 168, No. 3, 622-650 (2017). MSC: 03C10 03C15 03C65 54E35 06F05 PDFBibTeX XMLCite \textit{G. Conant}, Ann. Pure Appl. Logic 168, No. 3, 622--650 (2017; Zbl 1422.03063) Full Text: DOI arXiv
Gabbay, Murdoch J.; Gabbay, Michael Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness. (English) Zbl 1422.03023 Ann. Pure Appl. Logic 168, No. 3, 501-621 (2017). MSC: 03B40 06D50 03C55 03G25 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{M. Gabbay}, Ann. Pure Appl. Logic 168, No. 3, 501--621 (2017; Zbl 1422.03023) Full Text: DOI arXiv Link