User Jordan Mitchell Barrett - MathOverflow

Jordan Mitchell Barrett

Member for 5 years, 1 month
Last seen more than a month ago

9 Questions

Score Activity Newest Views

33 votes

4 answers

4k views

What is the endgoal of formalising mathematics?

asked Dec 9, 2020 at 6:45

10 votes

1 answer

735 views

When does a topos satisfy the axiom of regularity?

asked Nov 3, 2020 at 7:51

8 votes

2 answers

865 views

Non-set-theoretic consequences of forcing axioms

asked Dec 9, 2020 at 5:12

5 votes

1 answer

163 views

Possible values of "Kripke rank" for formulae in IPL

asked Oct 25, 2021 at 13:46

3 votes

1 answer

509 views

Alternative definition of power object in a category

asked Sep 16, 2020 at 10:49

3 votes

0 answers

154 views

Is anything known about $\Delta_n$ bounding?

asked Apr 13, 2021 at 23:26

2 votes

1 answer

191 views

Can $\mathsf{RCA}_0$ prove that every nonempty c.e. set $A \subseteq \mathbb{N}$ has a least element?

asked Apr 13, 2021 at 5:06

2 votes

2 answers

126 views

Finding 1-generic paths through a tree $T \subseteq 2^{<\omega}$

asked Jul 6, 2020 at 1:32

1 vote

0 answers

135 views

Why doesn't $\mathsf{B}\Sigma_2$ hold in $\mathsf{RCA}_0$?

asked Mar 20, 2021 at 8:34