MathOverflow
Madeleine Birchfield's user avatar
Madeleine Birchfield's user avatar
Madeleine Birchfield's user avatar
Madeleine Birchfield
  • Member for 1 year, 6 months
  • Last seen this week
Profile Activity
Stats
2,016
reputation
23k
reached
6
answers
27
questions
Communities
About

Amateur constructive mathematician and homotopy type theorist

Badges
View all badges
1
gold badge
4
silver badges
19
bronze badges
Top tags
View all tags
7
Score
12
Posts
36
Posts %
6
Score
6
Posts
18
Posts %
6
Score
3
Posts
9
Posts %
6
Score
3
Posts
9
Posts %
5
Score
16
Posts
48
Posts %
5
Score
10
Posts
30
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
41
Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture
Nov 22, 2022
question
11
In the rational numbers, is every convergent power series a Taylor series for a rational function?
Sep 7, 2022
question
10
Axioms for the category of groups
Oct 22, 2022
question
10
Universal property of the set of injections in the category of sets
Jan 10
question
9
Proof in constructive mathematics that the principal square root function exists in any Cauchy complete Archimedean ordered field
Jul 6, 2022
question
8
Sequential colimit of iterated quotients of Cauchy sequences
Oct 3
question
7
Status of the fundamental theorem of algebra for the locale of real numbers
Nov 21, 2022
question
6
Proper definition of ordered field in constructive mathematics
Jul 5, 2022
question
6
Univalence for weakly Tarski universes
Oct 4, 2022
question
6
Does a tight apartness relation on a subobject classifier imply the elementary topos is Boolean?
Mar 11

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.