Binary198's user avatar
Binary198's user avatar
Binary198's user avatar
Binary198
  • Member for 2 years, 3 months
  • Last seen this week
12 votes
1 answer
446 views

Why do we need the comparison lemma?

8 votes
1 answer
476 views

How could we define "recursively greatly Mahlos"?

8 votes
1 answer
521 views

Where was the Cantor normal form theorem first proved?

5 votes
1 answer
180 views

Equivalences of $\mathcal{F}$-Mahloness

5 votes
0 answers
110 views

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

3 votes
0 answers
147 views

Systems of elementary embeddings

1 vote
0 answers
119 views

Can every set be ordinal definable?

1 vote
1 answer
160 views

How do chains of elementary extensions compare to shrewdness?

1 vote
0 answers
180 views

Thinning chains of elementary extensions

1 vote
0 answers
143 views

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

1 vote
0 answers
124 views

What is the consistency strength of iterated sharps?

1 vote
1 answer
200 views

Minimal models in strong set theories - pt. 2

1 vote
1 answer
197 views

An extension of Woodin's star axiom

1 vote
0 answers
180 views

A variant of Buchholz's ordinal notation