Sirokofskich, Alla Decidability questions for a ring of Laurent polynomials. (English) Zbl 1248.03021 Ann. Pure Appl. Logic 163, No. 5, 615-619 (2012). MSC: 03B25 03C10 11U05 PDF BibTeX XML Cite \textit{A. Sirokofskich}, Ann. Pure Appl. Logic 163, No. 5, 615--619 (2012; Zbl 1248.03021) Full Text: DOI
Pudlák, Pavel; Thapen, Neil Alternating minima and maxima, Nash equilibria and bounded arithmetic. (English) Zbl 1345.03108 Ann. Pure Appl. Logic 163, No. 5, 604-614 (2012). MSC: 03F20 03D15 03F25 03F30 91A80 91A10 PDF BibTeX XML Cite \textit{P. Pudlák} and \textit{N. Thapen}, Ann. Pure Appl. Logic 163, No. 5, 604--614 (2012; Zbl 1345.03108) Full Text: DOI
Normann, D.; Sazonov, V. Yu. The extensional ordering of the sequential functionals. (English) Zbl 1247.03095 Ann. Pure Appl. Logic 163, No. 5, 575-603 (2012). MSC: 03D65 PDF BibTeX XML Cite \textit{D. Normann} and \textit{V. Yu. Sazonov}, Ann. Pure Appl. Logic 163, No. 5, 575--603 (2012; Zbl 1247.03095) Full Text: DOI
Kent, Thomas F.; Lewis, Andrew E. M.; Sorbi, Andrea Empty intervals in the enumeration degrees. (English) Zbl 1241.03053 Ann. Pure Appl. Logic 163, No. 5, 567-574 (2012). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D30 03D25 PDF BibTeX XML Cite \textit{T. F. Kent} et al., Ann. Pure Appl. Logic 163, No. 5, 567--574 (2012; Zbl 1241.03053) Full Text: DOI
Ganchev, Hristo; Soskova, Mariya The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees. (English) Zbl 1243.03058 Ann. Pure Appl. Logic 163, No. 5, 547-566 (2012). Reviewer: Roman Murawski (Poznań) MSC: 03D30 03F30 PDF BibTeX XML Cite \textit{H. Ganchev} and \textit{M. Soskova}, Ann. Pure Appl. Logic 163, No. 5, 547--566 (2012; Zbl 1243.03058) Full Text: DOI
Freer, Cameron E.; Roy, Daniel M. Computable de Finetti measures. (English) Zbl 1247.03098 Ann. Pure Appl. Logic 163, No. 5, 530-546 (2012). MSC: 03D78 60G09 68N18 PDF BibTeX XML Cite \textit{C. E. Freer} and \textit{D. M. Roy}, Ann. Pure Appl. Logic 163, No. 5, 530--546 (2012; Zbl 1247.03098) Full Text: DOI arXiv
Diamondstone, David; Kjos-Hanssen, Bjørn Martin-Löf randomness and Galton-Watson processes. (English) Zbl 1247.03085 Ann. Pure Appl. Logic 163, No. 5, 519-529 (2012). MSC: 03D32 68Q30 60C05 PDF BibTeX XML Cite \textit{D. Diamondstone} and \textit{B. Kjos-Hanssen}, Ann. Pure Appl. Logic 163, No. 5, 519--529 (2012; Zbl 1247.03085) Full Text: DOI arXiv
Bienvenu, Laurent; Miller, Joseph S. Randomness and lowness notions via open covers. (English) Zbl 1250.03067 Ann. Pure Appl. Logic 163, No. 5, 506-518 (2012). MSC: 03D32 03D28 PDF BibTeX XML Cite \textit{L. Bienvenu} and \textit{J. S. Miller}, Ann. Pure Appl. Logic 163, No. 5, 506--518 (2012; Zbl 1250.03067) Full Text: DOI arXiv
Barmpalias, George Tracing and domination in the Turing degrees. (English) Zbl 1247.03082 Ann. Pure Appl. Logic 163, No. 5, 500-505 (2012). MSC: 03D32 03D25 03D28 PDF BibTeX XML Cite \textit{G. Barmpalias}, Ann. Pure Appl. Logic 163, No. 5, 500--505 (2012; Zbl 1247.03082) Full Text: DOI
Alaev, P. E. Computably categorical Boolean algebras enriched by ideals and atoms. (English) Zbl 1247.03057 Ann. Pure Appl. Logic 163, No. 5, 485-499 (2012). MSC: 03C57 06E75 03D45 PDF BibTeX XML Cite \textit{P. E. Alaev}, Ann. Pure Appl. Logic 163, No. 5, 485--499 (2012; Zbl 1247.03057) Full Text: DOI
Ambos-Spies, Klaus (ed.); Beckmann, Arnold (ed.); Buss, Samuel (ed.); Löwe, Benedikt (ed.) Special issue: Computability in Europe 2009. Selected papers based on the presentations at the 5th conference on computability in Europe, CiE 2009: Mathematical theory and computational practice, Heidelberg, Germany, July 19–24, 2009. (English) Zbl 1250.03003 Ann. Pure Appl. Logic 163, No. 5, 483-619 (2012). MSC: 03-06 03Dxx 00B25 PDF BibTeX XML Cite \textit{K. Ambos-Spies} (ed.) et al., Ann. Pure Appl. Logic 163, No. 5, 483--619 (2012; Zbl 1250.03003)