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
    pdfarxivto be submitted 2026
  3. A tower of finiteness
    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), MAT327Y (Summer 26)
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.