I'm a graduate student at UC Berkeley, studying mathematical logic. I'm especially interested in reverse mathematics and abstract model theory.
Q&A for professional mathematicians
Joined 4 years ago, last seen today
Q&A for academics and those enrolled in higher education
Joined 7 days ago, last seen today