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 1 month ago, last seen 3 days ago