Pauly, Arno; Westrick, Linda; Yu, Liang Luzin’s (N) and randomness reflection. (English) Zbl 07541923 J. Symb. Log. 87, No. 2, 802-828 (2022). MSC: 03D32 26A30 PDFBibTeX XMLCite \textit{A. Pauly} et al., J. Symb. Log. 87, No. 2, 802--828 (2022; Zbl 07541923) Full Text: DOI arXiv Link
Brattka, Vasco; Gherardi, Guido; Pauly, Arno Weihrauch complexity in computable analysis. (English) Zbl 07464650 Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 367-417 (2021). MSC: 03D78 PDFBibTeX XMLCite \textit{V. Brattka} et al., in: Handbook of computability and complexity in analysis. Cham: Springer. 367--417 (2021; Zbl 07464650) Full Text: DOI arXiv
Kihara, Takayuki; Marcone, Alberto; Pauly, Arno Searching for an analogue of \(\text{ATR}_0\) in the Weihrauch lattice. (English) Zbl 1473.03026 J. Symb. Log. 85, No. 3, 1006-1043 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03D78 03D30 03B30 03F35 PDFBibTeX XMLCite \textit{T. Kihara} et al., J. Symb. Log. 85, No. 3, 1006--1043 (2020; Zbl 1473.03026) Full Text: DOI arXiv
Nobrega, Hugo; Pauly, Arno Game characterizations and lower cones in the Weihrauch degrees. (English) Zbl 1484.03098 Log. Methods Comput. Sci. 15, No. 3, Paper No. 11, 29 p. (2019). MSC: 03E15 03D30 03D78 03F60 PDFBibTeX XMLCite \textit{H. Nobrega} and \textit{A. Pauly}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 11, 29 p. (2019; Zbl 1484.03098) Full Text: arXiv
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno Connected choice and the Brouwer fixed point theorem. (English) Zbl 1484.03130 J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019). MSC: 03F60 03D30 03D78 03B30 PDFBibTeX XMLCite \textit{V. Brattka} et al., J. Math. Log. 19, No. 1, Article ID 1950004, 46 p. (2019; Zbl 1484.03130) Full Text: DOI arXiv
Pauly, Arno Parameterized games and parameterized automata. (English) Zbl 1528.68194 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 30-42 (2018). MSC: 68Q45 91A43 PDFBibTeX XMLCite \textit{A. Pauly}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 30--42 (2018; Zbl 1528.68194) Full Text: arXiv Link
Pauly, Arno; Steinberg, Florian Comparing representations for function spaces in computable analysis. (English) Zbl 1436.03241 Theory Comput. Syst. 62, No. 3, 557-582 (2018). MSC: 03D78 PDFBibTeX XMLCite \textit{A. Pauly} and \textit{F. Steinberg}, Theory Comput. Syst. 62, No. 3, 557--582 (2018; Zbl 1436.03241) Full Text: DOI arXiv
Pauly, Arno; Fouché, Willem; Davie, George Weihrauch-completeness for layerwise computability. (English) Zbl 1459.03069 Log. Methods Comput. Sci. 14, No. 2, Paper No. 11, 15 p. (2018). MSC: 03D78 03D32 03F60 PDFBibTeX XMLCite \textit{A. Pauly} et al., Log. Methods Comput. Sci. 14, No. 2, Paper No. 11, 15 p. (2018; Zbl 1459.03069) Full Text: DOI arXiv
Neumann, Eike; Pauly, Arno A topological view on algebraic computation models. (English) Zbl 1522.03180 J. Complexity 44, 1-22 (2018). MSC: 03D78 PDFBibTeX XMLCite \textit{E. Neumann} and \textit{A. Pauly}, J. Complexity 44, 1--22 (2018; Zbl 1522.03180) Full Text: DOI arXiv Link
Gregoriades, Vassilios; Kispéter, Tamás; Pauly, Arno A comparison of concepts from computable analysis and effective descriptive set theory. (English) Zbl 1456.03076 Math. Struct. Comput. Sci. 27, No. 8, 1414-1436 (2017). MSC: 03E15 03D78 PDFBibTeX XMLCite \textit{V. Gregoriades} et al., Math. Struct. Comput. Sci. 27, No. 8, 1414--1436 (2017; Zbl 1456.03076) Full Text: DOI arXiv
Nobrega, Hugo; Pauly, Arno Game characterizations and lower cones in the Weihrauch degrees. (English) Zbl 1496.03175 Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 327-337 (2017). MSC: 03D78 03E15 PDFBibTeX XMLCite \textit{H. Nobrega} and \textit{A. Pauly}, Lect. Notes Comput. Sci. 10307, 327--337 (2017; Zbl 1496.03175) Full Text: DOI Link
Brattka, Vasco; Gherardi, Guido; Hölzl, Rupert; Pauly, Arno The Vitali covering theorem in the Weihrauch lattice. (English) Zbl 1485.03241 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 188-200 (2017). MSC: 03F35 03B30 03D78 03F60 28E15 PDFBibTeX XMLCite \textit{V. Brattka} et al., Lect. Notes Comput. Sci. 10010, 188--200 (2017; Zbl 1485.03241) Full Text: DOI arXiv Link
Pauly, Arno Many-one reductions and the category of multivalued functions. (English) Zbl 1423.03157 Math. Struct. Comput. Sci. 27, No. 3, 376-404 (2017). MSC: 03D78 03D30 18B99 PDFBibTeX XMLCite \textit{A. Pauly}, Math. Struct. Comput. Sci. 27, No. 3, 376--404 (2017; Zbl 1423.03157) Full Text: DOI arXiv
Brattka, Vasco; Le Roux, Stéphane; Miller, Joseph S.; Pauly, Arno The Brouwer fixed point theorem revisited. (English) Zbl 1476.03064 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, 58-67 (2016). MSC: 03D78 03F60 03D30 PDFBibTeX XMLCite \textit{V. Brattka} et al., Lect. Notes Comput. Sci. 9709, 58--67 (2016; Zbl 1476.03064) Full Text: DOI Link
Pauly, Arno; Steinberg, Florian Representations of analytic functions and Weihrauch degrees. (English) Zbl 1386.03054 Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 11th international computer science symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9–13, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-34170-5/pbk; 978-3-319-34171-2/ebook). Lecture Notes in Computer Science 9691, 367-381 (2016). MSC: 03D78 PDFBibTeX XMLCite \textit{A. Pauly} and \textit{F. Steinberg}, Lect. Notes Comput. Sci. 9691, 367--381 (2016; Zbl 1386.03054) Full Text: DOI Link
Le Roux, Stéphane; Pauly, Arno Weihrauch degrees of finding equilibria in sequential games. (English) Zbl 1461.03034 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 246-257 (2015). MSC: 03D30 91A10 91A44 PDFBibTeX XMLCite \textit{S. Le Roux} and \textit{A. Pauly}, Lect. Notes Comput. Sci. 9136, 246--257 (2015; Zbl 1461.03034) Full Text: DOI arXiv Link
Pauly, Arno Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). (English) Zbl 1465.03080 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 407-418 (2015). MSC: 03D60 03D78 03E15 54H05 PDFBibTeX XMLCite \textit{A. Pauly}, Lect. Notes Comput. Sci. 9234, 407--418 (2015; Zbl 1465.03080) Full Text: DOI arXiv Link
Brattka, Vasco; De Brecht, Matthew; Pauly, Arno Closed choice and a uniform low basis theorem. (English) Zbl 1251.03082 Ann. Pure Appl. Logic 163, No. 8, 986-1008 (2012). MSC: 03F60 03D30 03E15 03E25 68Q05 PDFBibTeX XMLCite \textit{V. Brattka} et al., Ann. Pure Appl. Logic 163, No. 8, 986--1008 (2012; Zbl 1251.03082) Full Text: DOI arXiv