Master's user avatar
Master's user avatar
Master's user avatar
Master
  • Member for 4 years, 10 months
  • Last seen more than 1 year ago
5 votes
Accepted

Inconsistency of Reinhardt cardinals in ZF+DC

2 votes
Accepted

Limit of Mahlo cardinals

1 vote

Proving independence with large cardinals?

4 votes

Aleph 0 as a large cardinal

-1 votes

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

-4 votes

Your favorite surprising connections in mathematics

2 votes

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

2 votes

"Bootstrapping" an unbounded class of inaccessible cardinals

2 votes
Accepted

What is the consistency status of this theory?

1 vote

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

2 votes
Accepted

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

1 vote
Accepted

Bernays' Reflection Principle Holding in Ranks?

0 votes

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

3 votes
Accepted

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

2 votes

α-Mahlo vs weakly compact cardinals

1 vote
Accepted

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

2 votes
Accepted

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

3 votes

Critical points of rank-into-rank embeddings

1 vote

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

1 vote
Accepted

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

2 votes
Accepted

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

3 votes

What do we gain with higher order logics?

9 votes
Accepted

Large cardinals ordered by cardinality of least instance

5 votes

How elementary can we go?

2 votes

Large cardinals and reflection properties