Friedman, Sy-David; Rathjen, Michael; Weiermann, Andreas Slow consistency. (English) Zbl 1263.03055 Ann. Pure Appl. Logic 164, No. 3, 382-393 (2013). Reviewer: Jaime Gaspar (Lisboa) MSC: 03F25 03F05 03F15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
de Brecht, Matthew Quasi-Polish spaces. (English) Zbl 1270.03086 Ann. Pure Appl. Logic 164, No. 3, 356-381 (2013). MSC: 03E15 06B35 54E15 54E50 54H05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Backlinks: MO
Di Nola, A.; Ferraioli, A. R.; Lenzi, G. Algebraically closed MV-algebras and their sheaf representation. (English) Zbl 1286.06016 Ann. Pure Appl. Logic 164, No. 3, 349-355 (2013). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 03B50 06E15 × Cite Format Result Cite Review PDF Full Text: DOI
Awodey, Steve; Forssell, Henrik First-order logical duality. (English) Zbl 1275.03169 Ann. Pure Appl. Logic 164, No. 3, 319-348 (2013). Reviewer: Esfandiar Haghverdi (Bloomington) MSC: 03G30 03B10 18B25 18C10 18C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Simon, Pierre Distal and non-distal NIP theories. (English) Zbl 1269.03037 Ann. Pure Appl. Logic 164, No. 3, 294-318 (2013). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 03C64 03C68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Simpson, Stephen G.; Yokoyama, Keita Reverse mathematics and Peano categoricity. (English) Zbl 1267.03030 Ann. Pure Appl. Logic 164, No. 3, 284-293 (2013). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Raftery, J. G. Order algebraizable logics. (English) Zbl 1263.03061 Ann. Pure Appl. Logic 164, No. 3, 251-283 (2013). Reviewer: Juan Climent Vidal (València) MSC: 03G27 × Cite Format Result Cite Review PDF Full Text: DOI
Keskinen, Lauri Characterizing all models in infinite cardinalities. (English) Zbl 1269.03038 Ann. Pure Appl. Logic 164, No. 3, 230-250 (2013). Reviewer: Martin Weese (Potsdam) MSC: 03C55 03C35 03C85 03C95 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Fornasiero, Antongiulio Locally o-minimal structures and structures with locally o-minimal open core. (English) Zbl 1264.03090 Ann. Pure Appl. Logic 164, No. 3, 211-229 (2013). Reviewer: Carlo Toffalori (Camerino) MSC: 03C64 12J15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Marra, Vincenzo; Spada, Luca Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. (English) Zbl 1275.03099 Ann. Pure Appl. Logic 164, No. 3, 192-210 (2013). Reviewer: Esko Turunen (Wien) MSC: 03B50 06D35 × Cite Format Result Cite Review PDF Full Text: DOI
Jarden, Adi; Shelah, Saharon Non-forking frames in abstract elementary classes. (English) Zbl 1315.03050 Ann. Pure Appl. Logic 164, No. 3, 135-191 (2013). MSC: 03C48 03C35 03C45 03C52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv