User Binary198 - MathOverflow

Binary198

Member for 2 years, 3 months
Last seen more than a week ago

GitHub

14 Questions

Score Activity Newest Views

12 votes

1 answer

448 views

Why do we need the comparison lemma?

asked Jan 15 at 11:12

1 vote

0 answers

120 views

Can every set be ordinal definable?

asked Jun 11, 2023 at 14:54

3 votes

0 answers

149 views

Systems of elementary embeddings

asked Jan 29, 2023 at 19:30

1 vote

0 answers

181 views

A variant of Buchholz's ordinal notation

asked Aug 1, 2022 at 12:27

1 vote

1 answer

201 views

An extension of Woodin's star axiom

asked Jul 20, 2022 at 20:04

1 vote

1 answer

201 views

Minimal models in strong set theories - pt. 2

asked Jul 14, 2022 at 14:21

8 votes

1 answer

522 views

Where was the Cantor normal form theorem first proved?

asked Jun 12, 2022 at 15:10

5 votes

0 answers

111 views

What's the purpose of $\mathsf M\text-\mathsf P$-expressions?

asked May 28, 2022 at 16:59

1 vote

0 answers

124 views

What is the consistency strength of iterated sharps?

asked May 18, 2022 at 16:49

1 vote

0 answers

143 views

What's the consistency strength of this kind of cardinal?

asked May 13, 2022 at 17:02

1 vote

0 answers

180 views

Thinning chains of elementary extensions

asked May 2, 2022 at 13:10

1 vote

1 answer

162 views

How do chains of elementary extensions compare to shrewdness?

asked May 1, 2022 at 11:24

5 votes

1 answer

183 views

Equivalences of $\mathcal{F}$-Mahloness

asked Apr 23, 2022 at 10:31

8 votes

1 answer

482 views

How could we define "recursively greatly Mahlos"?

asked Apr 5, 2022 at 18:37