Nemoto, Takako A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\). (English) Zbl 07271578 Computability 9, No. 3-4, 315-326 (2020). MSC: 03F60 26A27 26A21 PDF BibTeX XML Cite \textit{T. Nemoto}, Computability 9, No. 3--4, 315--326 (2020; Zbl 07271578) Full Text: DOI OpenURL
Jeřábek, Emil Recursive functions and existentially closed structures. (English) Zbl 07215221 J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020). MSC: 03F40 03C45 03F30 03C10 PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Math. Log. 20, No. 1, Article ID 2050002, 52 p. (2020; Zbl 07215221) Full Text: DOI arXiv OpenURL
Hoyrup, Mathieu The typical constructible object. (English) Zbl 1476.03055 Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9709, 115-123 (2016). MSC: 03D25 03D45 03F60 26A21 PDF BibTeX XML Cite \textit{M. Hoyrup}, Lect. Notes Comput. Sci. 9709, 115--123 (2016; Zbl 1476.03055) Full Text: DOI Link OpenURL
de Brecht, Matthew Levels of discontinuity, limit-computability, and jump operators. (English) Zbl 1344.03037 Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 79-107 (2014). MSC: 03D30 54H05 26A21 03F60 03G30 03E15 PDF BibTeX XML Cite \textit{M. de Brecht}, Ontos Math. Log. 4, 79--107 (2014; Zbl 1344.03037) Full Text: arXiv OpenURL
Welters, Aaron On explicit recursive formulas in the spectral perturbation analysis of a Jordan block. (English) Zbl 1229.15011 SIAM J. Matrix Anal. Appl. 32, No. 1, 1-22 (2011). Reviewer: Jaspal Singh Aujla (Jalandhar) MSC: 15A18 15A15 15A21 47A55 65F15 PDF BibTeX XML Cite \textit{A. Welters}, SIAM J. Matrix Anal. Appl. 32, No. 1, 1--22 (2011; Zbl 1229.15011) Full Text: DOI arXiv OpenURL
Manin, Yu. I. [Zilber, Boris] A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002 Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03-02 03B10 03B25 03C07 03C10 03C35 03C45 03C98 03D20 03D35 03D80 03E30 03E35 03E50 03F20 03F30 03F40 11U05 20A15 68Q05 68Q15 81P10 94C10 PDF BibTeX XML Cite \textit{Yu. I. Manin}, A course in mathematical logic for mathematicians. Chapters I--VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. Berlin: Springer (2010; Zbl 1180.03002) Full Text: DOI OpenURL
Volkov, S. A. On the class of Skolem elementary functions. (Russian) Zbl 1249.03080 Diskretn. Anal. Issled. Oper. 16, No. 2, 42-60 (2009). MSC: 03D20 03D15 PDF BibTeX XML Cite \textit{S. A. Volkov}, Diskretn. Anal. Issled. Oper. 16, No. 2, 42--60 (2009; Zbl 1249.03080) OpenURL
Moschovakis, Yiannis N. Descriptive set theory. 2nd ed. (English) Zbl 1172.03026 Mathematical Surveys and Monographs 155. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4813-5/hbk). xiv, 502 p. (2009). Reviewer: Miroslav Repický (Košice) MSC: 03E15 03-02 03E60 03E65 03E45 03D20 03D55 03D75 28A05 26A21 54H05 PDF BibTeX XML Cite \textit{Y. N. Moschovakis}, Descriptive set theory. 2nd ed. Providence, RI: American Mathematical Society (AMS) (2009; Zbl 1172.03026) OpenURL
Weiermann, Andreas Classifying the provably total functions of PA. (English) Zbl 1118.03053 Bull. Symb. Log. 12, No. 2, 177-190 (2006). MSC: 03F30 03D20 03F05 03F15 PDF BibTeX XML Cite \textit{A. Weiermann}, Bull. Symb. Log. 12, No. 2, 177--190 (2006; Zbl 1118.03053) Full Text: DOI Link OpenURL
Mycka, Jerzy Real recursive functions and Baire classes. (English) Zbl 1114.03036 Fundam. Inform. 65, No. 3, 263-278 (2005). Reviewer: Qian Lei (Nashville) MSC: 03D60 03D55 03D20 26A21 PDF BibTeX XML Cite \textit{J. Mycka}, Fundam. Inform. 65, No. 3, 263--278 (2005; Zbl 1114.03036) OpenURL
Bacher, Roland; Chapman, Robin Symmetric Pascal matrices modulo \(p\). (English) Zbl 1055.15028 Eur. J. Comb. 25, No. 4, 459-473 (2004). Reviewer: Rodica Covaci (Cluj-Napoca) MSC: 15B36 15B57 15A15 15A21 11C20 PDF BibTeX XML Cite \textit{R. Bacher} and \textit{R. Chapman}, Eur. J. Comb. 25, No. 4, 459--473 (2004; Zbl 1055.15028) Full Text: DOI arXiv OpenURL
Weiermann, Andreas \(\Gamma_0\) may be minimal subrecursively inaccessible. (English) Zbl 0990.03044 Math. Log. Q. 47, No. 3, 397-408 (2001). Reviewer: M.Yasuhara (Princeton) MSC: 03F15 03D55 03D20 PDF BibTeX XML Cite \textit{A. Weiermann}, Math. Log. Q. 47, No. 3, 397--408 (2001; Zbl 0990.03044) Full Text: DOI OpenURL
Melles, Garvin One cannot show from ZFC that there is an Ulm-type classification of the countable torsion-free Abelian groups. (English) Zbl 0780.03014 Set theory of the continuum, Pap. Math. Sci. Res. Inst. Workshop, Berkeley/CA (USA) 1989, Math. Sci. Res. Inst. Publ. 26, 293-309 (1992). MSC: 03C60 20K20 03C45 03D65 03E75 PDF BibTeX XML Cite \textit{G. Melles}, Math. Sci. Res. Inst. Publ. 26, 293--309 (1992; Zbl 0780.03014) Full Text: arXiv OpenURL
Kadota, Noriya; Aoyama, Kiwamu Some extensions of built-upness on systems of fundamental sequences. (English) Zbl 0691.03028 Z. Math. Logik Grundlagen Math. 36, No. 4, 357-364 (1990). Reviewer: N.Kadota MSC: 03D55 03D20 PDF BibTeX XML Cite \textit{N. Kadota} and \textit{K. Aoyama}, Z. Math. Logik Grundlagen Math. 36, No. 4, 357--364 (1990; Zbl 0691.03028) Full Text: DOI OpenURL
Biggs, Norman L. Discrete mathematics. Revised edition. (English) Zbl 0682.05001 Oxford Science Publications. Oxford: Clarendon Press. xiv, 480 p. £17.50/pbk; £40.00/hbk (1989). MSC: 05-01 05Axx 05Cxx 11Axx 11Txx 20Bxx 68Qxx 94Bxx 05-02 PDF BibTeX XML Cite \textit{N. L. Biggs}, Discrete mathematics. Revised edition. Oxford: Clarendon Press (1989; Zbl 0682.05001) OpenURL
Istrate, Gabriel On the topological size of the set of Boolean-valued partial recursive functions. (English) Zbl 0741.03022 An. Univ. Bucur., Mat. 38, No. 2, 46-48 (1989). Reviewer: C.Calude (Bucureşti) MSC: 03D20 03D45 PDF BibTeX XML Cite \textit{G. Istrate}, An. Univ. Bucur., Mat. 38, No. 2, 46--48 (1989; Zbl 0741.03022) OpenURL
Cantini, Andrea On weak theories of sets and classes which are based on strict \(\Pi ^ 1_ 1\)-reflection. (English) Zbl 0553.03034 Z. Math. Logik Grundlagen Math. 31, 321-332 (1985). MSC: 03E99 03F99 PDF BibTeX XML Cite \textit{A. Cantini}, Z. Math. Logik Grundlagen Math. 31, 321--332 (1985; Zbl 0553.03034) Full Text: DOI OpenURL
Dennis-Jones, E. C.; Wainer, S. S. Subrecursive hierarchies via direct limits. (English) Zbl 0576.03027 Computation and proof theory, Proc. Logic Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104, 117-128 (1984). Reviewer: G.B.Marandžjan MSC: 03D20 PDF BibTeX XML OpenURL
Moschovakis, Yiannis N. Descriptive set theory. (English) Zbl 0433.03025 Studies in Logic and the Foundations of Mathematics, Vol. 100. Amsterdam, New York, Oxford: North-Holland Publishing Company. XII, 637 p. Dfl. 150.00; $ 73.25 (1980). MSC: 03E15 03-02 03E60 03E65 03E45 03D20 03D55 03D75 28A05 26A21 54H05 PDF BibTeX XML OpenURL