Mildenberger, Heike Finding generic filters by playing games. (English) Zbl 1192.03022 Arch. Math. Logic 49, No. 1, 91-118 (2010). MSC: 03E05 03E15 03E35 PDFBibTeX XMLCite \textit{H. Mildenberger}, Arch. Math. Logic 49, No. 1, 91--118 (2010; Zbl 1192.03022) Full Text: DOI
Shavrukov, V. Yu. Effectively inseparable Boolean algebras in lattices of sentences. (English) Zbl 1184.03041 Arch. Math. Logic 49, No. 1, 69-89 (2010). MSC: 03D35 03D45 03F25 03F30 06E25 PDFBibTeX XMLCite \textit{V. Yu. Shavrukov}, Arch. Math. Logic 49, No. 1, 69--89 (2010; Zbl 1184.03041) Full Text: DOI
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell Degrees of categoricity of computable structures. (English) Zbl 1184.03026 Arch. Math. Logic 49, No. 1, 51-67 (2010). MSC: 03C57 03C35 03D28 PDFBibTeX XMLCite \textit{E. B. Fokina} et al., Arch. Math. Logic 49, No. 1, 51--67 (2010; Zbl 1184.03026) Full Text: DOI
Liu, Jiang; Wang, Shenling; Wu, Guohua Infima of d.r.e. degrees. (English) Zbl 1192.03015 Arch. Math. Logic 49, No. 1, 35-49 (2010). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D25 03D28 PDFBibTeX XMLCite \textit{J. Liu} et al., Arch. Math. Logic 49, No. 1, 35--49 (2010; Zbl 1192.03015) Full Text: DOI
Fernandes, António M. Strict \({\varPi^1_1}\)-reflection in bounded arithmetic. (English) Zbl 1200.03042 Arch. Math. Logic 49, No. 1, 17-34 (2010). Reviewer: Reinhard Kahle (Lisbon) MSC: 03F35 03B30 03C25 PDFBibTeX XMLCite \textit{A. M. Fernandes}, Arch. Math. Logic 49, No. 1, 17--34 (2010; Zbl 1200.03042) Full Text: DOI
Cole, Joshua A.; Kihara, Takayuki The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable. (English) Zbl 1184.03038 Arch. Math. Logic 49, No. 1, 1-16 (2010). MSC: 03D30 03B25 PDFBibTeX XMLCite \textit{J. A. Cole} and \textit{T. Kihara}, Arch. Math. Logic 49, No. 1, 1--16 (2010; Zbl 1184.03038) Full Text: DOI