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
revised
Does a tight apartness relation on a subobject classifier imply the elementary topos is Boolean?
added 1 character in body
comment
Constructing coproduct types and boolean types from universes
@SimonHenry Do you have any references of these definitions in the context of topos theory?
accepted
Constructing set-truncations of types from universes
revised
Constructing set-truncations of types from universes
added 14 characters in body
revised
Constructing set-truncations of types from universes
added 14 characters in body
answered
Constructing set-truncations of types from universes
asked
Constructing set-truncations of types from universes
accepted
Constructing coproduct types and boolean types from universes
awarded
 Self-Learner
revised
Constructing coproduct types and boolean types from universes
deleted 49 characters in body
revised
Constructing coproduct types and boolean types from universes
added 45 characters in body
revised
Constructing coproduct types and boolean types from universes
added 1191 characters in body
revised
Constructing coproduct types and boolean types from universes
added 446 characters in body
answered
Constructing coproduct types and boolean types from universes
revised
Constructing coproduct types and boolean types from universes
added 25 characters in body
asked
Constructing coproduct types and boolean types from universes
answered
Sequential colimit of iterated quotients of Cauchy sequences
asked
Sequential colimit of iterated quotients of Cauchy sequences
accepted
Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture
awarded
 Famous Question
1 2
3
4 5
…
10