Ditchev, Angel V. Some properties of an algebra of all sets of naturals e-reducible to a fixed set. (English) Zbl 1474.03097 God. Sofiĭ. Univ., Fak. Mat. Inform. 101, 81-93 (2013). MSC: 03D30 03D28 03D45 03D60 03D75 PDFBibTeX XMLCite \textit{A. V. Ditchev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 101, 81--93 (2013; Zbl 1474.03097) Full Text: Link
Ditchev, Angel V. Least enumerations of unary partial structures. (English) Zbl 1474.03103 God. Sofiĭ. Univ., Fak. Mat. Inform. 101, 51-69 (2013). MSC: 03D45 03D30 PDFBibTeX XMLCite \textit{A. V. Ditchev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 101, 51--69 (2013; Zbl 1474.03103) Full Text: Link
Goncharov, S. S.; Marchuk, M. I. Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43-67 (2013); translation in J. Math. Sci., New York 205, No. 3, 368-388 (2015). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43--67 (2013; Zbl 1349.03037); translation in J. Math. Sci., New York 205, No. 3, 368--388 (2015) Full Text: DOI
Dushenin, D. I. Abelian \(p\)-groups and autostability relative to an oracle. (English. Russian original) Zbl 1311.03065 Algebra Logic 52, No. 4, 269-276 (2013); translation from Algebra Logika 52, No. 4, 403-415 (2013). MSC: 03C57 03D45 20K10 PDFBibTeX XMLCite \textit{D. I. Dushenin}, Algebra Logic 52, No. 4, 269--276 (2013; Zbl 1311.03065); translation from Algebra Logika 52, No. 4, 403--415 (2013) Full Text: DOI
Zwirn, Hervé; Delahaye, Jean-Paul Unpredictability and computational irreducibility. (English) Zbl 1298.68188 Zenil, Hector (ed.), Irreducibility and computational equivalence. 10 years after Wolfram’s a new kind of science. Berlin: Springer (ISBN 978-3-642-35481-6/hbk; 978-3-642-35482-3/ebook). Emergence, Complexity and Computation 2, 273-295 (2013). MSC: 68Q80 68Q05 PDFBibTeX XMLCite \textit{H. Zwirn} and \textit{J.-P. Delahaye}, Emerg. Complex. Comput. 2, 273--295 (2013; Zbl 1298.68188) Full Text: DOI arXiv
Odintsov, Sergei P.; Speranski, Stanislav O. Computability issues for adaptive logics in multi-consequence standard format. (English) Zbl 1329.03065 Stud. Log. 101, No. 6, 1237-1262 (2013). MSC: 03B60 68Q25 PDFBibTeX XMLCite \textit{S. P. Odintsov} and \textit{S. O. Speranski}, Stud. Log. 101, No. 6, 1237--1262 (2013; Zbl 1329.03065) Full Text: DOI
Faizrahmanov, M. Kh. Complements for enumeration \(\Pi_1^0\)-degrees. (English. Russian original) Zbl 1315.03068 Sib. Math. J. 54, No. 6, 1104-1109 (2013); translation from Sib. Mat. Zh. 54, No. 6, 1388-1398 (2013). MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{M. Kh. Faizrahmanov}, Sib. Math. J. 54, No. 6, 1104--1109 (2013; Zbl 1315.03068); translation from Sib. Mat. Zh. 54, No. 6, 1388--1398 (2013) Full Text: DOI
Bazhenov, N. A. Degrees of categoricity for superatomic Boolean algebras. (English. Russian original) Zbl 1315.03052 Algebra Logic 52, No. 3, 179-187 (2013); translation from Algebra Logika 52, No. 3, 271-283 (2013). MSC: 03C57 03C35 03D28 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, Algebra Logic 52, No. 3, 179--187 (2013; Zbl 1315.03052); translation from Algebra Logika 52, No. 3, 271--283 (2013) Full Text: DOI
Kalantari, Iraj; Welch, Larry When series of computable functions with varying domains are computable. (English) Zbl 1327.03045 Math. Log. Q. 59, No. 6, 471-493 (2013). Reviewer: Mihai Prunescu (Bucharest) MSC: 03F60 03D80 03D75 PDFBibTeX XMLCite \textit{I. Kalantari} and \textit{L. Welch}, Math. Log. Q. 59, No. 6, 471--493 (2013; Zbl 1327.03045) Full Text: DOI
Martin, Bruno On Goles’ universal machines: a computational point of view. (English) Zbl 1297.68075 Theor. Comput. Sci. 504, 83-88 (2013). MSC: 68Q05 68Q45 68Q80 37B10 37B15 PDFBibTeX XMLCite \textit{B. Martin}, Theor. Comput. Sci. 504, 83--88 (2013; Zbl 1297.68075) Full Text: DOI
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul Reactive Turing machines. (English) Zbl 1358.68097 Inf. Comput. 231, 143-166 (2013). MSC: 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Inf. Comput. 231, 143--166 (2013; Zbl 1358.68097) Full Text: DOI
Jain, Sanjay; Martin, Eric; Stephan, Frank Learning and classifying. (English) Zbl 1291.68193 Theor. Comput. Sci. 482, 73-85 (2013). MSC: 68Q32 68T05 PDFBibTeX XMLCite \textit{S. Jain} et al., Theor. Comput. Sci. 482, 73--85 (2013; Zbl 1291.68193) Full Text: DOI
Jain, Sanjay; Kinber, Efim Mind change speed-up for learning languages from positive data. (English) Zbl 1293.68179 Theor. Comput. Sci. 489-490, 37-47 (2013). MSC: 68Q32 68T10 PDFBibTeX XMLCite \textit{S. Jain} and \textit{E. Kinber}, Theor. Comput. Sci. 489--490, 37--47 (2013; Zbl 1293.68179) Full Text: DOI
Marchenkov, S. S.; Kalinina, I. S. The FE-closure operator in countable-valued logic. (English. Russian original) Zbl 1323.03024 Mosc. Univ. Comput. Math. Cybern. 37, No. 3, 131-136 (2013); translation from Vestn. Mosk. Univ., Ser. XV 2013, No. 3, 61-68 (2013). MSC: 03B50 PDFBibTeX XMLCite \textit{S. S. Marchenkov} and \textit{I. S. Kalinina}, Mosc. Univ. Comput. Math. Cybern. 37, No. 3, 131--136 (2013; Zbl 1323.03024); translation from Vestn. Mosk. Univ., Ser. XV 2013, No. 3, 61--68 (2013) Full Text: DOI
Aubrun, Nathalie; Sablik, Mathieu Simulation of effective subshifts by two-dimensional subshifts of finite type. (English) Zbl 1283.37014 Acta Appl. Math. 126, No. 1, 35-63 (2013). Reviewer: Thomas B. Ward (Durham) MSC: 37B10 37B50 03D10 PDFBibTeX XMLCite \textit{N. Aubrun} and \textit{M. Sablik}, Acta Appl. Math. 126, No. 1, 35--63 (2013; Zbl 1283.37014) Full Text: DOI arXiv
Speranski, Stanislav O. A note on definability in fragments of arithmetic with free unary predicates. (English) Zbl 1279.03066 Arch. Math. Logic 52, No. 5-6, 507-516 (2013). Reviewer: Roman Kossak (New York) MSC: 03D35 03C62 03C40 03F30 03F35 PDFBibTeX XMLCite \textit{S. O. Speranski}, Arch. Math. Logic 52, No. 5--6, 507--516 (2013; Zbl 1279.03066) Full Text: DOI
Fu, Yuxi The value-passing calculus. (English) Zbl 1390.68469 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 166-195 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Lect. Notes Comput. Sci. 8051, 166--195 (2013; Zbl 1390.68469) Full Text: DOI
Freydenberger, Dominik D.; Reidenbach, Daniel Inferring descriptive generalisations of formal languages. (English) Zbl 1285.68073 J. Comput. Syst. Sci. 79, No. 5, 622-639 (2013). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{D. D. Freydenberger} and \textit{D. Reidenbach}, J. Comput. Syst. Sci. 79, No. 5, 622--639 (2013; Zbl 1285.68073) Full Text: DOI
Johnson, J.; Knight, J. F.; Ocasio, V.; VanDenDriessche, S. An example related to Gregory’s theorem. (English) Zbl 1273.03132 Arch. Math. Logic 52, No. 3-4, 419-434 (2013). MSC: 03C70 03D55 03D60 PDFBibTeX XMLCite \textit{J. Johnson} et al., Arch. Math. Logic 52, No. 3--4, 419--434 (2013; Zbl 1273.03132) Full Text: DOI
Omanadze, Roland Sh. On the bounded quasi-degrees of c.e. sets. (English) Zbl 1277.03040 Math. Log. Q. 59, No. 3, 238-246 (2013). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D25 03D30 PDFBibTeX XMLCite \textit{R. Sh. Omanadze}, Math. Log. Q. 59, No. 3, 238--246 (2013; Zbl 1277.03040) Full Text: DOI
Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A. Degrees of categoricity and the hyperarithmetic hierarchy. (English) Zbl 1311.03070 Notre Dame J. Formal Logic 54, No. 2, 215-231 (2013). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03D28 PDFBibTeX XMLCite \textit{B. F. Csima} et al., Notre Dame J. Formal Logic 54, No. 2, 215--231 (2013; Zbl 1311.03070) Full Text: DOI Euclid
McCarty, Charles Paradox and potential infinity. (English) Zbl 1277.03059 J. Philos. Log. 42, No. 1, 195-219 (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 03A05 03F30 PDFBibTeX XMLCite \textit{C. McCarty}, J. Philos. Log. 42, No. 1, 195--219 (2013; Zbl 1277.03059) Full Text: DOI