User C7X

11 votes

1 answer

445 views

1970 question of Reinhardt - how large is this ordinal?

asked Feb 14 at 4:11

9 votes

0 answers

276 views

Has a computer search for inconsistency of large cardinals been carried out before?

asked Sep 7 at 21:42

7 votes

1 answer

795 views

Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?

asked Apr 24 at 21:57

7 votes

1 answer

579 views

Progress on determining which partial orders embed into the rationals

asked Sep 7, 2023 at 21:54

6 votes

0 answers

182 views

Iterated $\Pi^1_1$-reflection and non-Gandiness underrepresented in ordinal analyses?

asked Jul 29, 2023 at 6:42

6 votes

0 answers

188 views

Is there a characterization of measurables in terms of indiscernibles?

asked Nov 14 at 0:55

5 votes

1 answer

311 views

How closely do ordinal collapsing functions relate to Mostowski collapse?

asked Jun 13, 2022 at 23:24

4 votes

0 answers

154 views

Slicing large countable ordinal properties, from $\Pi_3$-reflection to $\Sigma_2$-admissibility

asked Oct 3, 2022 at 7:31

4 votes

0 answers

177 views

Recording of 2009 lecture on Harvey Friedman's work

asked Jun 10 at 3:03

4 votes

0 answers

143 views

Part II to Ketonen's "Set Theory for a Small Universe I. The Paris-Harrington Axiom"

asked Aug 18 at 6:28

3 votes

1 answer

304 views

When does $\Pi_2$-reflection on $X$ fail to imply iterated $\Pi_1$-reflection on $X$?

asked Apr 8, 2022 at 5:51

3 votes

0 answers

203 views

Reverse-mathematical strength of Banach-Tarski

asked Dec 13, 2023 at 7:37

2 votes

0 answers

211 views

Some questions about the Hyperuniverse Program

asked Apr 11, 2023 at 2:21

2 votes

0 answers

194 views

How closely do ordinal collapsing functions relate to Skolem hulls?

asked Jul 14, 2023 at 6:07

2 votes

1 answer

159 views

Ordering patterns of projecta by least witness

asked Jul 23, 2022 at 23:26

Stack Exchange Network

15 Questions

1970 question of Reinhardt - how large is this ordinal?

Has a computer search for inconsistency of large cardinals been carried out before?

Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?

Progress on determining which partial orders embed into the rationals

Iterated $\Pi^1_1$-reflection and non-Gandiness underrepresented in ordinal analyses?

Is there a characterization of measurables in terms of indiscernibles?

How closely do ordinal collapsing functions relate to Mostowski collapse?

Slicing large countable ordinal properties, from $\Pi_3$-reflection to $\Sigma_2$-admissibility

Recording of 2009 lecture on Harvey Friedman's work

Part II to Ketonen's "Set Theory for a Small Universe I. The Paris-Harrington Axiom"

When does $\Pi_2$-reflection on $X$ fail to imply iterated $\Pi_1$-reflection on $X$?

Reverse-mathematical strength of Banach-Tarski

Some questions about the Hyperuniverse Program

How closely do ordinal collapsing functions relate to Skolem hulls?

Ordering patterns of projecta by least witness