Skip to main content
Rachael Alvir's user avatar
Rachael Alvir's user avatar
Rachael Alvir's user avatar
Rachael Alvir
  • Member for 10 years, 6 months
  • Last seen more than a month ago
  • Waterloo, ON, CA
Stats
203
reputation
488
reached
0
answers
2
questions
Loading…
About

I am a postdoc at the University of Waterloo, CA and my research is in mathematical logic - specifically computable structure theory, which is a mix of computability theory and model theory and often uses infinitary logic. I received my PhD under the direction of Julia Knight at the University of Notre Dame. I also have a background in philosophy of math and logic, esp. regarding Godel's incompleteness theorems.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts