user avatar
user avatar
user avatar
Master
  • Member for 2 years, 11 months
  • Last seen this week
8 votes
Accepted

Large cardinals ordered by cardinality of least instance

5 votes
Accepted

Inconsistency of Reinhardt cardinals in ZF+DC

3 votes

Aleph 0 as a large cardinal

3 votes

How elementary can we go?

3 votes

Critical points of rank-into-rank embeddings

3 votes
Accepted

What is the consistency strength of this kind of reflection principle?

2 votes
Accepted

What is the consistency status of this theory?

2 votes

Does Con(ZF + Reinhardt) really imply Con(ZFC + I0)?

2 votes
Accepted

What is the limit to iterating class comprehension, reflection and limitation of size?

2 votes
Accepted

Consistency strength of weakly inaccessibles without $\mathsf{GCH}$

2 votes

Large cardinals and reflection properties

2 votes

α-Mahlo vs weakly compact cardinals

2 votes
Accepted

Limit of Mahlo cardinals

1 vote

Proving independence with large cardinals?

1 vote

What do we gain with higher order logics?

1 vote
Accepted

Is Ackermann's set theory minus class comprehension equal to ZF?

1 vote

Why not adopt the constructibility axiom $V=L$?

1 vote
Accepted

Reference request: for a proof of a reflection [from transitive sets] based axiomatization of ZF\Reg.?

1 vote

"Bootstrapping" an unbounded class of inaccessible cardinals

1 vote
Accepted

Bernays' Reflection Principle Holding in Ranks?

1 vote
Accepted

What's the exact consistency strength of this axiom system for classes and sets?

1 vote

Superextendibles defined analogously to superstrong cardinals: Where are they consistency strength-wise?

0 votes

Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"

-1 votes

$\Pi_0^1$-weakly indescribable cardinals are exactly the regulars

-2 votes

Your favorite surprising connections in mathematics