User Reflecting_Ordinal

8 votes

1 answer

389 views

Precipitous ideal and inner model

asked Dec 4, 2023 at 22:04

2 votes

0 answers

325 views

What's the definition of a mouse in Mitchell's handbook article "the covering lemma"?

asked Nov 29, 2023 at 1:57

5 votes

1 answer

444 views

How to solve this exercise about large countable ordinals?

asked Jun 15, 2023 at 13:44

17 votes

1 answer

416 views

End-extension which Mostowski collapses a fake well ordering

asked Jun 13, 2023 at 4:03

6 votes

1 answer

508 views

Parameter-free effective cardinals

asked Jun 5, 2023 at 14:39

2 votes

1 answer

208 views

Is stable ordinals in non-well-founded model the same as well founded models?

asked Jun 4, 2023 at 5:30

7 votes

1 answer

321 views

Which one of the following two ordinals is larger?

asked May 30, 2023 at 4:56

1 vote

0 answers

105 views

Is there an error in W. Buchholz's paper "A simplified version of local predicativity"?

asked Apr 14, 2023 at 15:19

1 vote

0 answers

257 views

Is Jensen's covering lemma meaningful in a platonist's view?

asked Apr 1, 2023 at 8:58

2 votes

1 answer

303 views

What's the order type of the following set?

asked Oct 25, 2022 at 2:27

3 votes

0 answers

243 views

Is this recursion theoretic analogue of a criterion of weakly compact cardinal accurate?

asked May 26, 2022 at 3:22

1 vote

0 answers

152 views

Can Jensen's covering lemma be proven easier in generic extensions of L?

asked Mar 28, 2022 at 15:44

4 votes

2 answers

285 views

Can local $0^\#$ exists in L?

asked Mar 24, 2022 at 6:23

0 votes

0 answers

143 views

How to define BHO alternatives below admissible ordinals?

asked Mar 18, 2022 at 6:14

7 votes

1 answer

377 views

If $L_\alpha \vDash ZFC$, then do we have $L_{\alpha+1} \vDash \alpha\text{ is inaccessible}$?

asked Mar 15, 2022 at 5:15

5 votes

0 answers

182 views

Consistency strength about Ramsey M-rank and Mahlo-Ramsey cardinal

asked Mar 3, 2022 at 8:07

5 votes

1 answer

401 views

Is this relation about elementary embedding transitive?

asked Feb 28, 2022 at 3:28

7 votes

1 answer

333 views

Existence of a generalized stable ordinal

asked Feb 19, 2022 at 12:28

6 votes

0 answers

196 views

Consistency strength of Sy Friedman's result about admissibility spectrum

asked Jan 26, 2022 at 12:02

5 votes

1 answer

395 views

Height of diamond

asked Jan 25, 2022 at 4:48

3 votes

0 answers

180 views

How much results in Calabi-Yau manifolds and mirror symmetry depends on the existence of a ricci-flat metric?

asked Jan 17, 2022 at 12:32

2 votes

1 answer

195 views

Ordinal notations in α-recursion theory

asked Oct 25, 2021 at 4:19

3 votes

1 answer

179 views

How to use Manuel Lerman's framework of priority method as blackbox?

asked Sep 25, 2021 at 14:25

9 votes

1 answer

405 views

Are there some interesting propositions independent with ZF+V=L that do not increase consistency strength?

asked Sep 17, 2021 at 5:17

4 votes

1 answer

321 views

Which step is wrong in the following simplification of Silver's forcing?

asked Sep 1, 2021 at 3:40

2 votes

0 answers

182 views

Are there some algorithms which have high consistency strength?

asked Jun 30, 2021 at 0:43

1 vote

0 answers

261 views

The most simple proof of projective determinacy

asked Jun 24, 2021 at 9:44

8 votes

1 answer

546 views

Is the supremum of L-definable cardinals silver-indiscernible

asked Jun 3, 2021 at 9:25

Stack Exchange Network

28 Questions

Precipitous ideal and inner model

What's the definition of a mouse in Mitchell's handbook article "the covering lemma"?

How to solve this exercise about large countable ordinals?

End-extension which Mostowski collapses a fake well ordering

Parameter-free effective cardinals

Is stable ordinals in non-well-founded model the same as well founded models?

Which one of the following two ordinals is larger?

Is there an error in W. Buchholz's paper "A simplified version of local predicativity"?

Is Jensen's covering lemma meaningful in a platonist's view?

What's the order type of the following set?

Is this recursion theoretic analogue of a criterion of weakly compact cardinal accurate?

Can Jensen's covering lemma be proven easier in generic extensions of L?

Can local $0^\#$ exists in L?

How to define BHO alternatives below admissible ordinals?

If $L_\alpha \vDash ZFC$, then do we have $L_{\alpha+1} \vDash \alpha\text{ is inaccessible}$?

Consistency strength about Ramsey M-rank and Mahlo-Ramsey cardinal

Is this relation about elementary embedding transitive?

Existence of a generalized stable ordinal

Consistency strength of Sy Friedman's result about admissibility spectrum

Height of diamond

How much results in Calabi-Yau manifolds and mirror symmetry depends on the existence of a ricci-flat metric?

Ordinal notations in α-recursion theory

How to use Manuel Lerman's framework of priority method as blackbox?

Are there some interesting propositions independent with ZF+V=L that do not increase consistency strength?

Which step is wrong in the following simplification of Silver's forcing?

Are there some algorithms which have high consistency strength?

The most simple proof of projective determinacy

Is the supremum of L-definable cardinals silver-indiscernible