Skip to main content
MathOverflow
Madeleine Birchfield's user avatar
Madeleine Birchfield's user avatar
Madeleine Birchfield's user avatar
Madeleine Birchfield
  • Member for 2 years, 6 months
  • Last seen more than a month ago
Profile Activity

193 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Scholar
accepted
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
revised
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
deleted 2 characters in body
revised
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
added 16 characters in body
awarded
 Student
revised
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
added 92 characters in body
awarded
 Editor
revised
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
added 92 characters in body
asked
Predicativity and axiom $\mathbb{R}\flat$ in real cohesive homotopy type theory
awarded
 Revival
awarded
 Teacher
answered
Consistency of Generalised Continuum Hypothesis and univalence in HoTT
asked
Codependent types in type theory
1
…
6 7 8 9
10