Orange (Jechyll) is a BSMS graduate from IISER Tirupati. Among other things, they are interested in mathematical logic.
topics they can give a talk on
- Ultraproducts
- Their MS thesis
- Autoformalization
- Grothendieck’s contributions to logic: somehow connecting https://en.wikipedia.org/wiki/Ax–Grothendieck_theorem and logic
- Algebrization of logic
- Stable forking conjecture
- probability and information in high dimensions
requests from me
- logic as geometry of constructible sets