Graça, Daniel S.; Zhong, Ning Robust non-computability and stability of dynamical systems. arXiv:2305.14448 Preprint, arXiv:2305.14448 [math.LO] (2023). MSC: 03D78 37D05 34E10 BibTeX Cite \textit{D. S. Graça} and \textit{N. Zhong}, ``Robust non-computability and stability of dynamical systems'', Preprint, arXiv:2305.14448 [math.LO] (2023) Full Text: arXiv OA License
Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David The big-O problem. (English) Zbl 07566053 Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Chistikov} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022; Zbl 07566053) Full Text: arXiv Link
Miller, Chris; Speissegger, Patrick Expansions of the real field by canonical products. (English) Zbl 1481.03024 Can. Math. Bull. 63, No. 3, 506-521 (2020). Reviewer: Fujita Masato (Kure) MSC: 03C64 28A05 26E05 PDFBibTeX XMLCite \textit{C. Miller} and \textit{P. Speissegger}, Can. Math. Bull. 63, No. 3, 506--521 (2020; Zbl 1481.03024) Full Text: DOI arXiv
Le Gal, Olivier; Sanz, Fernando; Speissegger, Patrick Trajectories in interlaced integral pencils of 3-dimensional analytic vector fields are o-minimal. (English) Zbl 1418.37038 Trans. Am. Math. Soc. 370, No. 3, 2211-2229 (2018). Reviewer: Yoshitsugu Takei (Kyoto) MSC: 37C10 37C35 34M40 34C08 03C64 34M30 PDFBibTeX XMLCite \textit{O. Le Gal} et al., Trans. Am. Math. Soc. 370, No. 3, 2211--2229 (2018; Zbl 1418.37038) Full Text: DOI arXiv
Gordeev, Lev; Weiermann, Andreas Phase transitions in proof theory. (English) Zbl 1355.03046 Drmota, Michael (ed.) et al., Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’10), Vienna, Austria, June 28 – July 2, 2010. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 343-358 (2010). MSC: 03F20 03B30 05A99 PDFBibTeX XMLCite \textit{L. Gordeev} and \textit{A. Weiermann}, in: Proceeding of the 21st international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA'10), Vienna, Austria, June 28 -- July 2, 2010. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 343--358 (2010; Zbl 1355.03046) Full Text: Link
Boiten, Eerke; Grundy, Dan The logic of large enough. (English) Zbl 1286.03118 Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 42-57 (2010). MSC: 03B70 03C80 PDFBibTeX XMLCite \textit{E. Boiten} and \textit{D. Grundy}, Lect. Notes Comput. Sci. 6120, 42--57 (2010; Zbl 1286.03118) Full Text: DOI Link
Rolin, J.-P.; Sanz, F.; Schäfke, R. Quasi-analytic solutions of analytic ordinary differential equations and o-minimal structures. (English) Zbl 1123.03031 Proc. Lond. Math. Soc. (3) 95, No. 2, 413-442 (2007). MSC: 03C64 30D60 34M40 34M30 PDFBibTeX XMLCite \textit{J. P. Rolin} et al., Proc. Lond. Math. Soc. (3) 95, No. 2, 413--442 (2007; Zbl 1123.03031) Full Text: DOI arXiv Link
Voronenko, A. A. On a certain approach to the problem of estimating the number of discrete functions. (Russian, English) Zbl 1086.03016 Vestn. Mosk. Univ., Ser. XV 2004, No. 1, 42-47 (2004); translation in Mosc. Univ. Comput. Math. Cybern. 2004, No. 1, 38-43 (2004). Reviewer: S. A. Vakhrameev (Moskva) MSC: 03B50 94C10 PDFBibTeX XMLCite \textit{A. A. Voronenko}, Vestn. Mosk. Univ., Ser. XV 2004, No. 1, 42--47 (2004; Zbl 1086.03016); translation in Mosc. Univ. Comput. Math. Cybern. 2004, No. 1, 38--43 (2004)
Orlov, V. A. Realization of functions in \(P_k\) by circuits of functional elements over an arbitrary basis. (English. Russian original) Zbl 0978.94051 Dokl. Math. 57, No. 2, 222-223 (1998); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 359, No. 3, 308-309 (1998). MSC: 94C10 03B50 94A24 PDFBibTeX XML Full Text: DOI
Orlov, V. A. Complexity of implementing functions of \(k\)-valued logic by circuits and formulas in functionally complete bases. (English. Russian original) Zbl 0902.94033 Discrete Appl. Math. 135, No. 1-3, 223-233 (2004); translation from Diskretn. Anal. Issled. Oper., Ser. 1 5, No. 2, 78-89 (1998). Reviewer: V.F.Murzina (Novosibirsk) MSC: 94C10 68Q25 03B50 03D15 PDFBibTeX XMLCite \textit{V. A. Orlov}, Diskretn. Anal. Issled. Oper., Ser. 1 5, No. 2, 78--89 (1998; Zbl 0902.94033); translation from Diskretn. Anal. Issled. Oper., Ser. 1 5, No. 2, 78--89 (1998) Full Text: DOI
Arkeryd, Leif Applications of NSA to mathematical physics. (English) Zbl 0906.03067 Arkeryd, Leif O. (ed.) et al., Nonstandard analysis: theory and applications. Proceedings of the NATO Advanced Study Institute on nonstandard analysis and its applications, Edinburgh, UK, June 30–July 13, 1996. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 493, 309-339 (1997). MSC: 03H10 00A79 76P05 81Q20 03-02 PDFBibTeX XMLCite \textit{L. Arkeryd}, NATO ASI Ser., Ser. C, Math. Phys. Sci. 493, 309--339 (1997; Zbl 0906.03067)
Alekseev, V. B. Number of functions in classes given by central predicates. (English. Russian original) Zbl 0613.03005 Math. Notes 37, 482-485 (1985); translation from Mat. Zametki 37, No. 6, 880-886 (1985). Reviewer: I.D’Ottaviano MSC: 03B50 PDFBibTeX XMLCite \textit{V. B. Alekseev}, Math. Notes 37, 482--485 (1985; Zbl 0613.03005); translation from Mat. Zametki 37, No. 6, 880--886 (1985) Full Text: DOI
Kemp, Rainer Fundamentals of the average case analysis of particular algorithms. (English) Zbl 0638.68026 Wiley-Teubner Series in Computer Science. Chichester etc.: John Wiley & Sons; Stuttgart: B. G. Teubner, VIII, 233 p. (1984). Reviewer: G.Wechsung MSC: 68Q25 05-04 03D15 05A15 03-04 60G50 PDFBibTeX XML