Madeleine Birchfield

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

Network profile

Summary

Reputation

2,624

2.6k
2.3k
2k

Mar
Jun
Sep
Dec

Top tag

homotopy-type-theory

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

1

7

23

Newest

Nice Question

Next badge

0/1

Excavator

Impact

~68k

people reached

0

posts edited

0

helpful flags

16

votes cast

Questions

View all 31 questions

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

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

Mar 31

Answers

View all 6 answers

5

Consistency of Generalised Continuum Hypothesis and univalence in HoTT

Jun 4, 2022

4

Eudoxus real numbers

Jul 16, 2022

4

Strong extensionality of 'membership' relation defined on the set of all morphisms of a well-pointed topos

Oct 21, 2022

4

Constructing coproduct types and boolean types from universes

Nov 7, 2023

1

Constructing set-truncations of types from universes

Nov 10, 2023

Tags

View all 37 tags

homotopy-type-theory

6

Score

12

posts

constructive-mathematics

5

Score

19

posts

type-theory

5

Score

10

posts

lo.logic

5

Score

7

posts

foundations

5

Score

3

posts

Reputation

+20

Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture

+10

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

+10

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

+10

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

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

Accounts

2,624
1
7
23

101

101
1

101
2

Proof Assistants

101
1

Active bounties (0)

This user has no active bounties

Votes cast

14

upvotes

2

downvotes

2

question votes

14

answer votes