User Madeleine Birchfield - MathOverflow

Madeleine Birchfield

Member for 2 years, 6 months
Last seen more than a month ago

Network profile

Stats

2,624

reputation

68k

reached

6

answers

31

questions

Loading…

Communities

About

Amateur constructive mathematician and homotopy type theorist

Badges

View all badges

1

gold badge

Famous Question

Jun 14, 2023

7

silver badges

Favorite Question

Mar 29
Good Question

Nov 23, 2022
Notable Question

× 2

Apr 13

23

bronze badges

Mortarboard

Nov 22, 2022
Self-Learner

Nov 7, 2023
Curious

Jul 14, 2022

Top tags

homotopy-type-theory

6

Score

12

Posts

32

Posts %

constructive-mathematics

5

Score

19

Posts

51

Posts %

type-theory

5

Score

10

Posts

27

Posts %

lo.logic

5

Score

7

Posts

19

Posts %

foundations

5

Score

3

Posts

8

Posts %

real-analysis

4

Score

14

Posts

38

Posts %

Top posts

View all questions and answers

64

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

11

In the rational numbers, is every convergent power series a Taylor series for a rational function?

Sep 7, 2022

10

Proof in constructive mathematics that the principal square root function exists in any Cauchy complete Archimedean ordered field

Jul 6, 2022

10

Universal property of the set of injections in the category of sets

Jan 10, 2023

9

Axioms for the category of groups

Oct 22, 2022

9

Is there a mistake in Mochizuki's proof of Theorem 1.10 in IUTT IV? [closed]

Mar 31

8

Status of the fundamental theorem of algebra for the locale of real numbers

Nov 21, 2022

8

Sequential colimit of iterated quotients of Cauchy sequences

Oct 3, 2023

7

Does a tight apartness relation on a subobject classifier imply the elementary topos is Boolean?

Mar 11, 2023

7

Equivalence of omniscience principles for natural numbers and analytic omniscience principles for Cauchy real numbers

Jul 6