Publications

Papers:

1.  Symmetry in Transfinite Computability, joint with Ethan S. Lewis and Benedikt Löwe, In: Della Vedova, G., Dundua, B., Lempp, S., Manea, F. (eds) Unity of Logic and Computation. CiE 2023. Lecture Notes in Computer Science, vol 13967. Springer, Cham.

2. Realisability for Infinitary Intuitionistic Set Theory, joint with M. Carl and R. Passmann, Annals of Pure and Applied Logic, Volume 174, Issue 6, 2023.

3.  Order types of models of fragments Peano arithmetic,  joint with B. Löwe, The Bulletin of Symbolic Logic, 182-206, 2022. 

4. Randomising Realisability, joint with Merlin Carl and Robert Passmann, In: De Mol L., Weiermann A., Manea F., Fernández-Duque D. (eds) Connecting with Computability. CiE 2021. Lecture Notes in Computer Science, vol 12813. Springer, Cham.

5. Resetting Infinite Time Blum-Shub-Smale-Machines, joint with M. Carl, preprint (2020). 

6. The Theory of the Generalised Real Numbers and Other Topics in Logic. The Bulletin of Symbolic Logic, 25(4), 449-450, 2019. 

7. Relations Between Notions of Gaplessness for Non-Archimedean Fields, joint with A. Hanafi and B. Löwe, Houston Journal of Mathematics 46:4 (2020), 1017–1031

8. Surreal Blum Shub Smale Machines In: Manea F., Martin B., Paulusma D., Primiero G. (eds) Computing with Foresight and Industry. CiE 2019. Lecture Notes in Computer Science, vol 11558. Springer, Cham.

9. Bounded Symbiosis and Upwards Reflection, joint with Y. Khomskii and J. Väänänen, submitted.

10. The Bolzano-Weierstraß theorem for the generalised real line, joint with M. Carl and B. Löwe, Huston Journal of Mathematics, 44(4):1081–1109, 2018.

11. Towards computable analysis on the generalised real line, joint with H. Nobrega, In: Kari J., Manea F., Petre I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science, vol 10307. Springer, Cham. 

12. Surreal Numbers and generalised computable analysis Oberwolfach Report (06) 2016, pp. 29-32.

13. A Candidate for the Generalised Real Line In Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016. Springer International Publishing, pp. 271–281.
    
    

Books:

1. Levy Patey, L., Pimentel, E., Galeotti, L., Manea, F. (eds) Twenty Years of Theoretical and Practical Synergies. CiE 2024. Lecture Notes in Computer Science, vol 14773. Springer, Cham.
   
   

Theses:

1. The theory of generalised real numbers and other topics in logic, PhD Thesis Universität Hamburg, 2019.

2. Computable Analysis Over the Generalized Baire Space, Master of Logic Thesis MoL-2015-13, ILLC, University of Amsterdam.

3. From Petri Nets to Markov Chains, Bachelor Thesis at the Computer Science Department of the University of Pisa.
   
   

Notes: 

1. Notes on Models of Computation, joint with R. Bruni and U. Montanari. Computer Science Department University of Pisa.