Harizanov, Valentina; Miller, R.; Morozov, A. S. Simple structures with complex symmetry. (English. Russian original) Zbl 1195.03041 Algebra Logic 49, No. 1, 68-90 (2010); translation from Algebra Logika 49, No. 1, 98-134 (2010). MSC: 03C57 PDF BibTeX XML Cite \textit{V. Harizanov} et al., Algebra Logic 49, No. 1, 68--90 (2010; Zbl 1195.03041); translation from Algebra Logika 49, No. 1, 98--134 (2010) 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 PDF BibTeX XML Cite \textit{E. B. Fokina} et al., Arch. Math. Logic 49, No. 1, 51--67 (2010; Zbl 1184.03026) Full Text: DOI
Becher, Verónica; Grigorieff, Serge From index sets to randomness in \(\emptyset ^{n}\): Random reals and possibly infinite computations. II. (English) Zbl 1163.03023 J. Symb. Log. 74, No. 1, 124-156 (2009). Reviewer: Cristian S. Calude (Auckland) MSC: 03D80 03D10 68Q30 PDF BibTeX XML Cite \textit{V. Becher} and \textit{S. Grigorieff}, J. Symb. Log. 74, No. 1, 124--156 (2009; Zbl 1163.03023) Full Text: DOI
Hofmann, M.; van Oosten, J.; Streicher, T. Well-foundedness in realizability. (English) Zbl 1112.03058 Arch. Math. Logic 45, No. 7, 795-805 (2006). Reviewer: Peter T. Johnstone (Cambridge) MSC: 03G30 03F55 18B25 PDF BibTeX XML Cite \textit{M. Hofmann} et al., Arch. Math. Logic 45, No. 7, 795--805 (2006; Zbl 1112.03058) Full Text: DOI
Zafrany, Samy Borel ideals vs. Borel sets of countable relations and trees. (English) Zbl 0673.04001 Ann. Pure Appl. Logic 43, No. 2, 161-195 (1989). Reviewer: P.Komjáth MSC: 03E15 28A05 PDF BibTeX XML Cite \textit{S. Zafrany}, Ann. Pure Appl. Logic 43, No. 2, 161--195 (1989; Zbl 0673.04001) Full Text: DOI
Clote, Peter Optimal bounds for ordinal comparison maps. (English) Zbl 0602.03011 Arch. Math. Logik Grundlagenforsch. 25, 99-107 (1985). MSC: 03D55 03D30 03E10 03E15 PDF BibTeX XML Cite \textit{P. Clote}, Arch. Math. Logik Grundlagenforsch. 25, 99--107 (1985; Zbl 0602.03011) Full Text: DOI EuDML
Friedman, Harvey M.; Ščedrov, Andrej Arithmetic transfinite induction and recursive well-orderings. (English) Zbl 0585.03031 Adv. Math. 56, 283-294 (1985). Reviewer: B.van Rootselaar MSC: 03F35 03E30 03E70 PDF BibTeX XML Cite \textit{H. M. Friedman} and \textit{A. Ščedrov}, Adv. Math. 56, 283--294 (1985; Zbl 0585.03031) Full Text: DOI
Leivant, Daniel Implicational complexity in intuitionistic arithmetic. (English) Zbl 0488.03032 J. Symb. Log. 46, 240-248 (1981). MSC: 03F50 03F30 PDF BibTeX XML Cite \textit{D. Leivant}, J. Symb. Log. 46, 240--248 (1981; Zbl 0488.03032) Full Text: DOI
Hartmanis, J.; Lewis, F. D. The use of lists in the study of undecidable problems in automata theory. (English) Zbl 0234.02024 J. Comput. Syst. Sci. 5, 54-66 (1971). MSC: 03D10 03D35 03D05 PDF BibTeX XML Cite \textit{J. Hartmanis} and \textit{F. D. Lewis}, J. Comput. Syst. Sci. 5, 54--66 (1971; Zbl 0234.02024) Full Text: DOI
Fenstad, Jens Erik On the completeness of some transfinite recursive progressions of axiomatic theories. (English) Zbl 0195.30403 J. Symb. Log. 33, 69-76 (1968). PDF BibTeX XML Cite \textit{J. E. Fenstad}, J. Symb. Log. 33, 69--76 (1968; Zbl 0195.30403) Full Text: DOI
Richter, Wayne Extensions of the constructive ordinals. (English) Zbl 0134.01202 J. Symb. Log. 30, 193-211 (1965). PDF BibTeX XML Cite \textit{W. Richter}, J. Symb. Log. 30, 193--211 (1965; Zbl 0134.01202) Full Text: DOI
Liu, S.-C. On many-one degrees. (English) Zbl 0192.05205 J. Symb. Log. 28, 143-153 (1964). PDF BibTeX XML Cite \textit{S. C. Liu}, J. Symb. Log. 28, 143--153 (1964; Zbl 0192.05205) Full Text: DOI
Liu, Shih-chao A note on many-one reducibility. (English) Zbl 0129.00403 J. Symb. Log. 28, 35-42 (1964). PDF BibTeX XML Cite \textit{S.-c. Liu}, J. Symb. Log. 28, 35--42 (1964; Zbl 0129.00403) Full Text: DOI
Feferman, S. Transfinite recursive progressions of axiomatic theories. (English) Zbl 0117.25402 J. Symb. Log. 27, 259-316 (1963). PDF BibTeX XML Cite \textit{S. Feferman}, J. Symb. Log. 27, 259--316 (1963; Zbl 0117.25402) Full Text: DOI