MathOverflow
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett's user avatar
Jordan Mitchell Barrett
  • Member for 5 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
788
reputation
8k
reached
5
answers
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
14
bronze badges
Top tags
View all tags
9
Score
9
Posts
64
Posts %
9
Score
5
Posts
36
Posts %
8
Score
3
Posts
21
Posts %
8
Score
1
Posts
7
Posts %
6
Score
4
Posts
29
Posts %
6
Score
3
Posts
21
Posts %
Top posts
View all questions and answers
question
33
What is the endgoal of formalising mathematics?
Dec 9, 2020
question
10
When does a topos satisfy the axiom of regularity?
Nov 3, 2020
answer
9
What is the endgoal of formalising mathematics?
Dec 9, 2020
question
8
Non-set-theoretic consequences of forcing axioms
Dec 9, 2020
answer
8
Definition of a profinite category
Mar 8, 2021
answer
6
Can $\mathsf{RCA}_0$ prove that every nonempty c.e. set $A \subseteq \mathbb{N}$ has a least element?
Apr 13, 2021
question
5
Possible values of "Kripke rank" for formulae in IPL
Oct 25, 2021
question
3
Alternative definition of power object in a category
Sep 16, 2020
question
3
Is anything known about $\Delta_n$ bounding?
Apr 13, 2021
answer
3
Reverse mathematics of Cousin's lemma
Dec 3, 2020
Top network posts
View all network posts
26
How can I run GitHub Actions workflows locally?
16
GitHub Actions - copy git `user.name` and `user.email` from last commit
12
Could we ever hope to integrate all functions?
12
Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?
7
Automatically updating ORCID, etc, from arXiv?