Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith
  • Member for 1 year, 11 months
  • Last seen this week
12 votes
1 answer
340 views

Can we force $\mathfrak{r}<\mathfrak{s}$?

9 votes
1 answer
610 views

Small Violations of Choice: Can we force AC without collapsing the cardinalities of ordinals?

7 votes
1 answer
224 views

Can we force $\aleph_\omega^\omega<2^{\aleph_\omega}$?

6 votes
2 answers
250 views

How can we control the cardinality of $j(\kappa)$ for $\kappa$ an $\aleph_1$-strongly compact cardinal?

6 votes
1 answer
217 views

A surjection from square onto power: Is limit Hartogs/Lindenbaum number necessary?

5 votes
1 answer
126 views

References for the axiom of surjective comparability

5 votes
0 answers
129 views

When does an iteration not add functions $\eta\to V$ at the final stage?

5 votes
0 answers
154 views

Do closed subsets of the generalised Cantor space have an analogue of the perfect set property?

4 votes
1 answer
152 views

Is there a minimal first-order model that has IP theory?

4 votes
0 answers
201 views

Where can I find information about this concept of 'dual ideals'?

4 votes
1 answer
254 views

Does every ordinal appearing in a model of ZF appear in a model of ZFC?

3 votes
1 answer
242 views

What are some "easy" violations of $\mathsf{SVC}$?

2 votes
0 answers
100 views

When is the ground model $[\kappa]^\lambda$ cofinal in $[\kappa]^\lambda$ in a forcing extension?

0 votes
0 answers
136 views

Does the consistency of a large cardinal axiom imply the $\omega$-consistency of that axiom?