Stewart, Iain A. Logical and complexity-theoretic aspects of models of computation with restricted access to arrays. (English) Zbl 1169.68016 J. Log. Comput. 19, No. 1, 217-242 (2009). MSC: 68Q05 03C13 68Q15 68Q17 68Q19 PDF BibTeX XML Cite \textit{I. A. Stewart}, J. Log. Comput. 19, No. 1, 217--242 (2009; Zbl 1169.68016) Full Text: DOI
Soskova, Alexandra A.; Soskov, Ivan N. A jump inversion theorem for the degree spectra. (English) Zbl 1165.03018 J. Log. Comput. 19, No. 1, 199-215 (2009). MSC: 03D28 03C57 PDF BibTeX XML Cite \textit{A. A. Soskova} and \textit{I. N. Soskov}, J. Log. Comput. 19, No. 1, 199--215 (2009; Zbl 1165.03018) Full Text: DOI
Selivanov, Victor L. Undecidability in some structures related to computation theory. (English) Zbl 1170.03023 J. Log. Comput. 19, No. 1, 177-197 (2009). Reviewer: Cristian S. Calude (Auckland) MSC: 03D35 03D30 PDF BibTeX XML Cite \textit{V. L. Selivanov}, J. Log. Comput. 19, No. 1, 177--197 (2009; Zbl 1170.03023) Full Text: DOI
Rovan, Branislav; Steskal, L’uboš Infinite computations and a hierarchy in \({\Delta}_{3}\) reconsidered. (English) Zbl 1159.03315 J. Log. Comput. 19, No. 1, 175-176 (2009). MSC: 03D10 03D55 03D05 PDF BibTeX XML Cite \textit{B. Rovan} and \textit{L. Steskal}, J. Log. Comput. 19, No. 1, 175--176 (2009; Zbl 1159.03315) Full Text: DOI
Korovina, Margarita; Kudinov, Oleg The uniformity principle for \({\Sigma}\)-definability. (English) Zbl 1157.03013 J. Log. Comput. 19, No. 1, 159-174 (2009). MSC: 03C57 03D65 03F60 PDF BibTeX XML Cite \textit{M. Korovina} and \textit{O. Kudinov}, J. Log. Comput. 19, No. 1, 159--174 (2009; Zbl 1157.03013) Full Text: DOI
Kalimullin, Iskander Enumeration degrees and enumerability of familes. (English) Zbl 1169.03030 J. Log. Comput. 19, No. 1, 151-158 (2009). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{I. Kalimullin}, J. Log. Comput. 19, No. 1, 151--158 (2009; Zbl 1169.03030) Full Text: DOI
Csima, Barbara F. The settling time reducibility ordering and \({\Delta}_2^0\) sets. (English) Zbl 1163.03022 J. Log. Comput. 19, No. 1, 145-150 (2009). MSC: 03D25 PDF BibTeX XML Cite \textit{B. F. Csima}, J. Log. Comput. 19, No. 1, 145--150 (2009; Zbl 1163.03022) Full Text: DOI
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. Existentially closed models and conservation results in bounded arithmetic. (English) Zbl 1163.03020 J. Log. Comput. 19, No. 1, 123-143 (2009). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 PDF BibTeX XML Cite \textit{A. Cordón-Franco} et al., J. Log. Comput. 19, No. 1, 123--143 (2009; Zbl 1163.03020) Full Text: DOI
Chen, Yijia; Flum, Jörg Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping. (English) Zbl 1169.68020 J. Log. Comput. 19, No. 1, 89-122 (2009). MSC: 68Q17 03D15 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{J. Flum}, J. Log. Comput. 19, No. 1, 89--122 (2009; Zbl 1169.68020) Full Text: DOI
Cenzer, Douglas; LaForte, Geoffrey; Wu, Guohua Pseudojumps and \(\Pi^0_1\) classes. (English) Zbl 1158.03024 J. Log. Comput. 19, No. 1, 77-87 (2009). MSC: 03D25 03D30 PDF BibTeX XML Cite \textit{D. Cenzer} et al., J. Log. Comput. 19, No. 1, 77--87 (2009; Zbl 1158.03024) Full Text: DOI
Brattka, Vasco; Gherardi, Guido Borel complexity of topological operations on computable metric spaces. (English) Zbl 1169.03047 J. Log. Comput. 19, No. 1, 45-76 (2009). Reviewer: Dieter Spreen (Siegen) MSC: 03F60 03D45 03E15 54H05 PDF BibTeX XML Cite \textit{V. Brattka} and \textit{G. Gherardi}, J. Log. Comput. 19, No. 1, 45--76 (2009; Zbl 1169.03047) Full Text: DOI
Bauer, Andrej; Stone, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. (English) Zbl 1156.03301 J. Log. Comput. 19, No. 1, 17-43 (2009). MSC: 03-04 03F60 03F65 68N30 PDF BibTeX XML Cite \textit{A. Bauer} and \textit{C. A. Stone}, J. Log. Comput. 19, No. 1, 17--43 (2009; Zbl 1156.03301) Full Text: DOI
Barmpalias, George; Cenzer, Douglas; Remmel, Jeffrey B.; Weber, Rebecca \(K\)-triviality of closed sets and continuous functions. (English) Zbl 1158.03029 J. Log. Comput. 19, No. 1, 3-16 (2009). MSC: 03D80 68Q30 PDF BibTeX XML Cite \textit{G. Barmpalias} et al., J. Log. Comput. 19, No. 1, 3--16 (2009; Zbl 1158.03029) Full Text: DOI
Cooper, S. Barry (ed.); Löwe, Benedikt (ed.); Sorbi, Andrea (ed.) Special issue: Logic and computation in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. (English) Zbl 1157.03303 J. Log. Comput. 19, No. 1, 1-242 (2009). MSC: 03-06 00B25 PDF BibTeX XML Cite \textit{S. B. Cooper} (ed.) et al., J. Log. Comput. 19, No. 1, 1--242 (2009; Zbl 1157.03303)