Skip to main content
Asaf Karagila's user avatar
Asaf Karagila's user avatar
Asaf Karagila's user avatar
Asaf Karagila
Moderator
  • Member for 14 years, 5 months
  • Last seen this week
5 votes
Accepted

Where do the universe embedds to in Reinhardt's cardinals setting?

5 votes

Is Extreme Parameter Free ZFC equivalent to ZFC?

5 votes

Critical points in $ZF$ without Choice

5 votes

Well-ordering of power set of $\omega$

5 votes
Accepted

Maximal chains and antichains of statements weaker than AC

5 votes
Accepted

How much choice does a linear or well-order on cardinals imply?

4 votes

Is it inconsistent for a model of set theory to contain its own first order theory?

4 votes

How "strong" is the existence of a non trivial ultrafilter on $\omega$?

4 votes
Accepted

If all reals are generic, is the set of reals generic?

4 votes
Accepted

(Maximal) almost disjoint families of true cardinality ${\frak c}$

4 votes
Accepted

Can a stage of the cumulative hierarchy violate the partition principle?

4 votes
Accepted

Existence of a branch of limit ordinal length

4 votes
Accepted

Infinite decreasing sequence for class relation without minimal elements

4 votes

Can we choose an element from a class?

4 votes
Accepted

Maximality principle in symmetric extensions

4 votes

Is acyclic ZF consistent?

4 votes

Strength of some claims about finitely additive measures on infinite sets?

4 votes
Accepted

Is definability of a basis for $\mathbb{R^N}$ independent of ZFC?

4 votes

On wild behavior of $\omega_{1}$ in the absence of some essential axioms of $ZFC$

4 votes

Joint Forcing Extension Property

4 votes

Possible Choices for Cofinality of $\aleph_n$ without Choice

4 votes

Reverse Skolem's paradox

4 votes

Independence of the countable axiom of choice

4 votes

Why doesn't choice imply global choice (in NBG)?

4 votes

is the existence of an inaccessible cardinal stronger than just CON(ZFC)?

4 votes

Are metrics borel measurable functions?

4 votes

Most 'unintuitive' application of the Axiom of Choice?

4 votes

Axiom of Choice and Vitali's theorem

4 votes
Accepted

Surjective Maps onto $\aleph$-numbers

4 votes

First-order vs second-order provability