Asaf Karagila's user avatar
Asaf Karagila's user avatar
Asaf Karagila's user avatar
Asaf Karagila
Moderator
  • Member for 13 years, 9 months
  • Last seen this week
8 votes
Accepted

Can local $0^\#$ exists in L?

8 votes
Accepted

Does the partition principle imply (DC)?

8 votes
Accepted

Some relevant questions about the consistency strength of singularity of $\omega_1$ and $\omega_2$

8 votes
Accepted

Can we have this sequence where choice fails and returns?

8 votes

Automorphisms of algebraically closed fields without the Axiom of Choice

8 votes
Accepted

Aronszajn Trees when AC fails

7 votes

Can Tychonoff's theorem be applied to topological spaces generated by program output in ZFC?

7 votes
Accepted

Elementary countable submodels in Gödel's universe

7 votes
Accepted

Does $|\kappa^{<\kappa}|=|\lambda^{<\lambda}|$ imply $\kappa=\lambda$?

7 votes

Terminology for a set that does not surject onto $\omega$ (in ZF)

7 votes
Accepted

Can Tychonoffs theorem for a countable number of spaces be proven with ZF plus the axiom of (countable) dependent choice?

7 votes

Stationary sets and $\kappa$-complete normal ultrafilters

7 votes

Every measure on a set $X$ extends to the power set of $X$: Consistent or not with ZF?

7 votes
Accepted

Relation between AC and the axiom of foundation

7 votes

Getting PFA + GCH above $\omega$

7 votes

symmetric models and HOD

7 votes
Accepted

Number of torsion-free abelian groups

7 votes
Accepted

How big is the proper class of all sets?

7 votes

The Continuum Hypothesis and Countable Unions

7 votes
Accepted

Set Theory exercise.

7 votes

Teaching undergraduate students to write proofs

7 votes
Accepted

Distinguishing two local versions of the axiom of choice

7 votes
Accepted

Permutation models with a class-sized group

7 votes
Accepted

What sort of structure can amorphous sets support?

6 votes

Is the ordering principle preserved in generic extensions?

6 votes

Ultrainfinitism, or a step beyond the transfinite

6 votes

Does the fact that this vector space is not isomorphic to its double-dual require choice?

6 votes

Blackbox Theorems

6 votes
Accepted

Can one really construct an "ordinal table"?

6 votes

AC and Krull's theorem equivalence

1
3 4
5
6 7
10