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
Eudoxus real numbers
added 24 characters in body
revised
Eudoxus real numbers
added 82 characters in body
revised
Eudoxus real numbers
added 237 characters in body
revised
Eudoxus real numbers
deleted 6 characters in body
comment
Eudoxus real numbers
@GerritBegher I have modified my answer accordingly so that the rational numbers are characterised directly in terms of almost linear homomorphisms.
revised
Eudoxus real numbers
deleted 72 characters in body
revised
Eudoxus real numbers
added 3970 characters in body
asked
Discreteness of the higher inductive-inductive Cauchy real numbers in real cohesive homotopy type theory
awarded
 Revival
revised
Eudoxus real numbers
edited body
answered
Eudoxus real numbers
accepted
Equivalence of real numbers in terms of Dedekind cuts and Cauchy nets of rational numbers
comment
Equivalence of real numbers in terms of Dedekind cuts and Cauchy nets of rational numbers
"This seems like something that would be in the literature somewhere, but I couldn't find a reference" I couldn't find one either, which is why I asked this question.
awarded
 Curious
revised
Equivalence of real numbers in terms of Dedekind cuts and Cauchy nets of rational numbers
deleted 1 character in body
asked
Equivalence of real numbers in terms of Dedekind cuts and Cauchy nets of rational numbers
awarded
 Necromancer
comment
Proper definition of ordered field in constructive mathematics
The models of real numbers used in smooth infinitesimal analysis contains nonzero nilpotent infinitesimals and so they don't form a field.
revised
Principle of unique choice in homotopy type theory
original was correct if you parse the English in the right manner.
revised
Proof in constructive mathematics that the principal square root function exists in any Cauchy complete Archimedean ordered field
added 169 characters in body
1
…
6 7
8
9 10