Brinda Venkataramani

PhD student · University of Toronto · ZF ⊬ AC

I am a PhD student in mathematics at the University of Toronto. I am interested in set theory, and I find choiceless models the most interesting.

Projects

Braid visualizer

Basic usage: Connect pegs from top down as is convention. Each set of three pegs denotes a single braid. Multi-levelled for visualization of braid concatenation. To delete a strand, simply redrag the line. Crossings are set to "over" by default, so if you want P1→P2 to be above P2→P1, draw P1→P2 first. Enables saving images of canvas state and compression for desired presentation. Probably breakable.

Pi normality maze

Watch the digits of pi attempt to traverse a randomly generated maze. This was motivated by the conjectured normality of pi and the Twitch stream Pi Plays Pokemon by WinningSequence. Someday I may consider increasing the sequence limit but for now it is just hard-coded into the application.

stackclone

A StackExchange Teams clone with math mode and custom commands for personal use. If it helps you, please feel free to use it.

Papers & preprints

Publications, preprints, not submitted, in-preparation — everything should be in roughly chronological order.

  1. Finiteness classes arising from Gowers' FINk
    pdfarxivsubmitted
  2. Countable partition model
    in preparation 2026
  3. The arithmetic of SVC seeds
    in preparation 2026
  4. Further reflections of choice
    in preparation 2026
  5. On the spectra of Π2 statements
    in preparation 2026

Teaching

Instructorships (UofT)
MAT223H1 (Summer 23 & 25), MAT237Y (Summer 25)
TAships (UofT)
MAT223H1, MAT344H1, MAT327H1, MAT309H1, MAT329Y
TAships (McMaster)
Math 2x0/xx, Math 1x0, Math 2r0, Math 1c0

TAships not in any meaningful order. All course information is on the relevant LMS for each institution, i.e. Quercus for UofT, Avenue for McMaster.