Welcome!
My name is Rodrigo Nicolau Almeida and this is my webpage dedicated to research and academics.
I am a PhD student at the Institute for Logic, Language and Computation of the University of Amsterdam , working under the supervision of Nick Bezhanishvili. Before that I completed my masters thesis under the supervision of Nick and Tommaso Moraschini.
My current research focuses broadly on Heyting algebras and closely related structures. In them I am particularly interested in the study of non-standard rules, such as Pi-2-rules, in their universal-algebraic aspects and their computational properties; technical questions on the structure of the category of Heyting algebras, such as providing descriptions of ordered compactifications of ordered topological spaces, or describing free objects in these and associated categories; and properties of classes of Heyting algebras, such as the study of lattices of varieties and quasivarieties, the distribution of properties like structural completeness, interpolation or tabularity.
I am broadly interested in universal algebra, model theory and category theory, and especially their interaction.
In a previous academic life I was a researcher in sociology of culture. I worked on policy analysis and briefly on agent-based modelling. You can find most of my work related to that in this link.
Address:
Room F1.22c Building F Science Park 107 1098 XG Amsterdam
Email: r.dacruzsilvapinadealmeida@uva.nl
Mailing address:
Institute for Logic, Language and Computation University of Amsterdam Science Park 107 1098 XG Amsterdam
Teaching
- Axiomatic Set Theory 2022 - Teaching Assistant
- Introduction to Modal Logic (2021,2022 and 2023) - Teaching Assistant
- Model Theory (2023 and 2024) - Teaching Assistant
- Mathematical Proof Methods in Logic 2023 - Teaching Assistant
- Mathematical Structures in Logic 2025 - Teaching Assistant
- Logic and Computability 2024 - Teacher (with Daniƫl Otten)
Seminars and Reading Groups
Supervised Projects
- Topology In and Via Logic (2023 Edition)
- Individual Project on Dedekind-MacNeille Completions (2023, 2 Students)
- Topology In and Via Logic (2024 Edition)
- Supervision of Individual Project on Degrees of Kripke Completeness (jointly with Qian Chen and Nick Bezhanishvili) (2024, 2 Students)
Thesis Supervision
- David Quinn Alvarez (co-supervised with Nick Bezhanishvili) - 2024
- Sarah Dukic - in progress
I am a member of the ILLC PhD Council . For PhD council matters please contact me here .
Published Articles:
Accepted Articles:
- Unification with Simple Variable Restrictions and Admissibility of Pi2-rules (joint work with Silvio Ghilardi)
- A Coalgebraic Semantics for Intuitionistic Modal Logic (joint work with Nick Bezhanishvili)
Submitted Articles:
Seminar Presentations:
- Infinitary Completeness Theorems and Rasiowa-Sikorski Lemmas
- LLAMA (13/04/23) Goldblatt-Translation Revisited
- PhD Logic Day (23/06/23) Structural Completeness and bi-IPC
- LATD (11/12/2023) Inductive Rule Classes of Goedel Algebras
- TACL (04/07/2024) Colimits of Heyting Algebras Through Esakia Duality
- AIML (19/08/2024) Unification with Simple Variable Restrictions and Admissibility of Pi2 Rules
- AIML (19/08/2024) Coalgebraic Semantics for Intuitionistic Modal Logic