معرفی
Lorenzo Galeotti is a researcher affiliated with the University of Amsterdam, specifically working within the Mathematical & Computational Logic (MCL) group at Amsterdam University College. His research focuses on foundational aspects of mathematical logic, computability theory, and generalized analysis.
Research Interests: Galeotti investigates topics at the intersection of logic, computability, and non-standard mathematical structures. His work includes studying transfinite computability, infinitary intuitionistic set theory, and the properties of generalized real numbers and non-Archimedean fields. He also explores the application of logical frameworks in educational contexts, such as game-based learning tools for propositional logic.
Publications: His recent articles address advanced topics in logic, including models of Peano arithmetic fragments, symmetry in infinite-time computation, and surreal number systems. These works reflect a consistent focus on extending classical concepts into transfinite and non-standard domains.
Contact: Email correspondence can be directed to l.galeotti@uva.nl.
