Iljazović, Zvonko; Validžić, Lucija Effective compactness and orbits of points under the isometry group. (English) Zbl 07628760 Ann. Pure Appl. Logic 174, No. 2, Article ID 103198, 34 p. (2023). MSC: 03D78 03F60 03D80 54H99 PDFBibTeX XMLCite \textit{Z. Iljazović} and \textit{L. Validžić}, Ann. Pure Appl. Logic 174, No. 2, Article ID 103198, 34 p. (2023; Zbl 07628760) Full Text: DOI
Hoyrup, Mathieu The fixed-point property for represented spaces. (English) Zbl 1508.03076 Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022). Reviewer: Daniel Graça (Faro) MSC: 03D78 03E15 54H05 54H25 03F60 PDFBibTeX XMLCite \textit{M. Hoyrup}, Ann. Pure Appl. Logic 173, No. 5, Article ID 103090, 29 p. (2022; Zbl 1508.03076) Full Text: DOI HAL
Čelar, Matea; Iljazović, Zvonko Computability of products of chainable continua. (English) Zbl 07363127 Theory Comput. Syst. 65, No. 2, 410-427 (2021). MSC: 03D78 03F60 54F15 PDFBibTeX XMLCite \textit{M. Čelar} and \textit{Z. Iljazović}, Theory Comput. Syst. 65, No. 2, 410--427 (2021; Zbl 07363127) Full Text: DOI
Chernov, Viktor Types of connectedness of the constructive real number intervals. arXiv:2108.11189 Preprint, arXiv:2108.11189 [math.LO] (2021). MSC: 03D78 03F60 54B05 BibTeX Cite \textit{V. Chernov}, ``Types of connectedness of the constructive real number intervals'', Preprint, arXiv:2108.11189 [math.LO] (2021) Full Text: arXiv OA License
Collins, Pieter Computable analysis with applications to dynamic systems. (English) Zbl 1478.03072 Math. Struct. Comput. Sci. 30, No. 2, 173-233 (2020). MSC: 03D78 03F60 54B30 54A05 93B03 93B24 PDFBibTeX XMLCite \textit{P. Collins}, Math. Struct. Comput. Sci. 30, No. 2, 173--233 (2020; Zbl 1478.03072) Full Text: DOI
Diener, Hannes; Hendtlass, Matthew Completeness: when enough is enough. (English) Zbl 1448.03051 Doc. Math. 24, 899-914 (2019). MSC: 03F60 03D78 03F55 54E35 PDFBibTeX XMLCite \textit{H. Diener} and \textit{M. Hendtlass}, Doc. Math. 24, 899--914 (2019; Zbl 1448.03051) Full Text: DOI
Waaldijk, Frank Exact computation over topological spaces. arXiv:1806.01636 Preprint, arXiv:1806.01636 [math.GN] (2018). MSC: 54A99 54B99 54C05 54C10 65G99 03D78 03D99 26E40 03F60 BibTeX Cite \textit{F. Waaldijk}, ``Exact computation over topological spaces'', Preprint, arXiv:1806.01636 [math.GN] (2018) Full Text: arXiv OA License
de Brecht, Matthew; Pauly, Arno Noetherian quasi-Polish spaces. (English) Zbl 1434.03120 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017). MSC: 03E15 03F60 03D78 54D30 54H05 PDFBibTeX XMLCite \textit{M. de Brecht} and \textit{A. Pauly}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 16, 17 p. (2017; Zbl 1434.03120) Full Text: DOI arXiv
Selivanov, Victor Towards a descriptive theory of cb\(_{0}\)-spaces. (English) Zbl 1456.03077 Math. Struct. Comput. Sci. 27, No. 8, 1553-1580 (2017). MSC: 03E15 03F60 54H05 03D55 03D78 PDFBibTeX XMLCite \textit{V. Selivanov}, Math. Struct. Comput. Sci. 27, No. 8, 1553--1580 (2017; Zbl 1456.03077) Full Text: DOI arXiv
Skordev, Dimiter Some theorems on passing from local to global presence of properties of functions. (English) Zbl 1445.03052 Log. Methods Comput. Sci. 12, No. 4, Paper No. 3, 11 p. (2016). MSC: 03D78 54C05 PDFBibTeX XMLCite \textit{D. Skordev}, Log. Methods Comput. Sci. 12, No. 4, Paper No. 3, 11 p. (2016; Zbl 1445.03052) Full Text: DOI arXiv
McNicholl, Timothy H. Computing boundary extensions of conformal maps. (English) Zbl 1348.03042 LMS J. Comput. Math. 17, 360-378 (2014). MSC: 03D78 03F60 30C30 30E10 54D05 PDFBibTeX XMLCite \textit{T. H. McNicholl}, LMS J. Comput. Math. 17, 360--378 (2014; Zbl 1348.03042) Full Text: DOI arXiv
Motto Ros, Luca Bad Wadge-like reducibilities on the Baire space. (English) Zbl 1321.03059 Fundam. Math. 224, No. 1, 67-95 (2014). Reviewer: Isaac Goldbring (Chicago) MSC: 03E15 03E60 03D78 54E40 03D55 54C10 PDFBibTeX XMLCite \textit{L. Motto Ros}, Fundam. Math. 224, No. 1, 67--95 (2014; Zbl 1321.03059) Full Text: DOI arXiv
McNicholl, T. H. Computing boundary extensions of conformal maps part 2. arXiv:1304.1915 Preprint, arXiv:1304.1915 [math.CV] (2013). MSC: 30C30 30E10 03D78 03F60 54D05 BibTeX Cite \textit{T. H. McNicholl}, ``Computing boundary extensions of conformal maps part 2'', Preprint, arXiv:1304.1915 [math.CV] (2013) Full Text: arXiv OA License
Taylor, Paul A lambda calculus for real analysis. (English) Zbl 1285.03006 J. Log. Anal. 2, Paper No. 5, 115 p. (2010). MSC: 03B40 03D78 03F60 54D05 PDFBibTeX XMLCite \textit{P. Taylor}, J. Log. Anal. 2, Paper No. 5, 115 p. (2010; Zbl 1285.03006) Full Text: DOI
Selivanov, Victor On the difference hierarchy in countably based \(T_{0}\)-spaces. (English) Zbl 1262.03092 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 257-269 (2008). MSC: 03D78 03F60 54D10 54H05 PDFBibTeX XMLCite \textit{V. Selivanov}, Electron. Notes Theor. Comput. Sci. 221, 257--269 (2008; Zbl 1262.03092) Full Text: DOI
Schröder, Matthias An effective Tietze-Urysohn theorem for QCB-spaces (extended abstract). (English) Zbl 1262.03147 Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 231-242 (2008). MSC: 03F60 03D78 54C30 54D15 PDFBibTeX XMLCite \textit{M. Schröder}, Electron. Notes Theor. Comput. Sci. 221, 231--242 (2008; Zbl 1262.03147) Full Text: DOI
Kalantari, Iraj; Welch, Larry Specker’s theorem, cluster points, and computable quantum functions. (English) Zbl 1107.03052 Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 134-159 (2006). MSC: 03D45 03F60 54A20 81P68 PDFBibTeX XMLCite \textit{I. Kalantari} and \textit{L. Welch}, Lect. Notes Log. 26, 134--159 (2006; Zbl 1107.03052)
Schröder, Matthias Spaces allowing type-2 complexity theory revisited. (English) Zbl 1058.03069 Math. Log. Q. 50, No. 4-5, 443-459 (2004). MSC: 03F60 03D15 03D45 03D65 54A05 54A20 PDFBibTeX XMLCite \textit{M. Schröder}, Math. Log. Q. 50, No. 4--5, 443--459 (2004; Zbl 1058.03069) Full Text: DOI
Weihrauch, Klaus Computational complexity on computable metric spaces. (English) Zbl 1018.03049 Math. Log. Q. 49, No. 1, 3-21 (2003). Reviewer: Marius Zimand (Towson) MSC: 03F60 03D15 03D45 54E35 03D80 PDFBibTeX XMLCite \textit{K. Weihrauch}, Math. Log. Q. 49, No. 1, 3--21 (2003; Zbl 1018.03049) Full Text: DOI
Weihrauch, Klaus; Zheng, Xizhong Effectiveness of the global modulus of continuity on metric spaces. (English) Zbl 0901.54021 Moggi, Eugenio (ed.) et al., Category theory and computer science. 7th international conference, CTCS ’97, Santa Margherita Ligure, Italy, September 4–6, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1290, 210-219 (1997). Reviewer: Lech Polkowski (Warszawa) MSC: 54E35 54C05 03F60 68Q05 54E45 PDFBibTeX XMLCite \textit{K. Weihrauch} and \textit{X. Zheng}, Lect. Notes Comput. Sci. 1290, 210--219 (1997; Zbl 0901.54021)
Calude, Cristian Topological size of sets of partial recursive functions. (English) Zbl 0495.03022 Z. Math. Logik Grundlagen Math. 28, 455-462 (1982). MSC: 03D15 03F60 28A05 54E52 03D20 PDFBibTeX XMLCite \textit{C. Calude}, Z. Math. Logik Grundlagen Math. 28, 455--462 (1982; Zbl 0495.03022) Full Text: DOI