Publications

2019. “Game characterizations and lower cones in the Weihrauch degrees”. Logical Methods in Computer Science 15(3). Joint work with Arno Pauly.

PDF

2019. “'Infinito mais um' e outras curiosidades: uma breve introdução à teoria dos conjuntos”. Seminar at Departamento de Matemática Aplicada, Universidade Federal do Rio de Janeiro.

2018. “Jogos para funções em teoria descritiva dos conjuntos”. Seminar at Programa de Engenharia de Sistemas e Computação, Universidade Federal do Rio de Janeiro.

2018. “Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks”. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam. ISBN 978-94-028-1000-4. Supervised by Benedikt Löwe and Arno Pauly.

PDF

2017. “On the (in)dependence of the Dedekind-Peano axioms for natural numbers”. Proceedings of CNMAC 2016, XXXVI Congresso Nacional de Matemática Aplicada e Computacional 5(1). Joint work with Márcia R. Cerioli, Guilherme Silveira and Petrucio Viana.

2017. “Game Characterizations and Lower Cones in the Weihrauch Degrees”. In: Kari J., Manea F., Petre I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science 10307, pp. 327–337. Joint work with Arno Pauly.

DOI

2017. “Towards Computable Analysis on the Generalised Real Line”. In: Kari J., Manea F., Petre I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science 10307, pp. 246–257. Joint work with Lorenzo Galeotti.

DOI

2016. “Games for functions in descriptive set theory”. Seminar at Formal Methods and Verification group, Université Libre de Bruxelles.

2016. “Games for Baire classes and partition classes”. Colloquium Logicum 2016, Hamburg.

2015. “Computable analysis and games in descriptive set theory”. Seminar at Mathematical, Foundational and Computational Aspects of the Higher Infinite, Isaac Newton Institute for Mathematical Sciences, Cambridge.

2015. “Game characterizations of functions of finite Baire class”. DMV 2015, Annual Meeting 2015 of the Deutsche Mathematiker-Vereinigung, Hamburg.

2015. “Game characterizations and Weihrauch degrees”. CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo. Joint work with Benedikt Löwe and Arno Pauly.

2015. “Jogos infinitos em teoria descritiva dos conjuntos”. Seminar at Instituto de Matemática e Estatística, Universidade do Estado do Rio de Janeiro.

2015. “Game characterizations of functions of finite Baire class”. Seminar at Dipartimento di Matematica Giuseppe Peano, Università degli Studi di Torino.

2015. “Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice”. Seminar at Cool Logic, Universiteit van Amsterdam.

Slides

2014. “Decomposition by maxclique separators”. Discrete Mathematics 337, 119–126. Joint work with Márcia R. Cerioli and Petrucio Viana.

DOI

2014. “Obtaining Weihrauch-complete functions and relations from sets of real numbers”. Colloquium Logicum 2014, Munich.

Slides

2014. “Some Weihrauch completeness results for classes of functions in descriptive set theory”. Seminar at Logic & Algorithms Reading Group, University of Cambridge.

2014. “Game characterizations of function classes and Weihrauch degrees”. PhDs in Logic VI, Utrecht.

2014. “Connecting computable analysis and descriptive set theory via games”. Seminar at Informal Amsterdam-Hamburg Set Theory Encounter, Institute for Logic, Language, and Computation.

Slides

2013. “Game characterizations of function classes and Weihrauch degrees”. MSc thesis, Institute for Logic, Language and Computation, University of Amsterdam. Supervised by Benedikt Löwe.

PDF

2012. “Characterizations by nice forbidding sets”. Seminar at Cool Logic, Universiteit van Amsterdam.

Slides

2012. “Decomposições por cliques maximais e subgrafos proibidos para grafos de caminho”. CTD 2012, Proceedings of XXXII Congresso da Sociedade Brasileira de Computação – Concurso de Teses e Dissertações. Supervised by Márcia R. Cerioli and Petrucio Viana.

2011. “On characterizations by nice forbidding sets”. Electronic Notes in Discrete Mathematics 38, 233–238. Joint work with Márcia R. Cerioli and Petrucio Viana.

DOI

2011. “A partial characterization by forbidden subgraphs of edge path graphs”. In: L. Adacher et al. (eds), CTW 2011, Proceedings of the 10th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, held in Villa Mondragone, Frascati, Italy, June 14–16, 2011, pp. 109–112. Joint work with Márcia R. Cerioli and Petrucio Viana.

PDF

2011. “Characterizations by nice forbidding sets”. EBL 2011, XVI Brazilian Logic Conference, Petrópolis, 9–13 May. Joint work with Márcia R. Cerioli and Petrucio Viana.

2011. “Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho”. MSc thesis, Programa de Engenharia e Sistemas, COPPE/UFRJ. Supervised by Márcia R. Cerioli and Petrucio Viana.

PDF

2010. “Decomposition by maxclique separators”. LawCliques’10, Proceedings of the 4th Latin-American Workshop on Cliques in Graphs. Matemática Contemporânea 39, 69-76. Joint work with Márcia R. Cerioli and Petrucio Viana.

2008. “Independência dos Axiomas de Dedekind-Peano”. XVIII Seminário de Iniciação Científica, Universidade Federal Fluminense. Supervised by Petrucio Viana.

2007. “Cálculos Relacionais: equações, inclusões e pontos”. XVII Seminário de Iniciação Científica, Universidade Federal Fluminense. Supervised by Petrucio Viana.