Conant, Gabriel; Gannon, Kyle Remarks on generic stability in independent theories. (English) Zbl 07135274 Ann. Pure Appl. Logic 171, No. 2, Article ID 102736, 20 p. (2020). MSC: 03C45 03C40 03C52 05C55 PDFBibTeX XMLCite \textit{G. Conant} and \textit{K. Gannon}, Ann. Pure Appl. Logic 171, No. 2, Article ID 102736, 20 p. (2020; Zbl 07135274) Full Text: DOI arXiv
Müller, Sebastian; Tzameret, Iddo Short propositional refutations for dense random 3CNF formulas. (English) Zbl 1391.03042 Ann. Pure Appl. Logic 165, No. 12, 1864-1918 (2014). MSC: 03F20 03D15 03F30 03B05 68Q25 PDFBibTeX XMLCite \textit{S. Müller} and \textit{I. Tzameret}, Ann. Pure Appl. Logic 165, No. 12, 1864--1918 (2014; Zbl 1391.03042) Full Text: DOI
Malliaris, M. E. Independence, order, and the interaction of ultrafilters and theories. (English) Zbl 1279.03060 Ann. Pure Appl. Logic 163, No. 11, 1580-1595 (2012). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C20 03C45 03C52 PDFBibTeX XMLCite \textit{M. E. Malliaris}, Ann. Pure Appl. Logic 163, No. 11, 1580--1595 (2012; Zbl 1279.03060) Full Text: DOI
Buss, Samuel R. Towards NP-P via proof complexity and search. (English) Zbl 1257.03086 Ann. Pure Appl. Logic 163, No. 7, 906-917 (2012). Reviewer: Olaf Beyersdorff (Leeds) MSC: 03F20 03B05 03D15 68Q15 68Q17 68T15 PDFBibTeX XMLCite \textit{S. R. Buss}, Ann. Pure Appl. Logic 163, No. 7, 906--917 (2012; Zbl 1257.03086) Full Text: DOI
Jeřábek, Emil A sorting network in bounded arithmetic. (English) Zbl 1257.03087 Ann. Pure Appl. Logic 162, No. 4, 341-355 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F20 PDFBibTeX XMLCite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 162, No. 4, 341--355 (2011; Zbl 1257.03087) Full Text: DOI
Malliaris, M. E. Edge distribution and density in the characteristic sequence. (English) Zbl 1225.03035 Ann. Pure Appl. Logic 162, No. 1, 1-19 (2010). MSC: 03C45 05C65 PDFBibTeX XMLCite \textit{M. E. Malliaris}, Ann. Pure Appl. Logic 162, No. 1, 1--19 (2010; Zbl 1225.03035) Full Text: DOI arXiv
Avigad, Jeremy The metamathematics of ergodic theory. (English) Zbl 1168.03047 Ann. Pure Appl. Logic 157, No. 2-3, 64-76 (2009). Reviewer: Stefano Galatolo (Pisa) MSC: 03F60 37A30 PDFBibTeX XMLCite \textit{J. Avigad}, Ann. Pure Appl. Logic 157, No. 2--3, 64--76 (2009; Zbl 1168.03047) Full Text: DOI