Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith's user avatar
Calliope Ryan-Smith
  • Member for 2 years, 1 month
  • Last seen this week
12 votes
1 answer
344 views

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

9 votes
1 answer
613 views

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

7 votes
1 answer
229 views

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

6 votes
2 answers
268 views

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

6 votes
1 answer
232 views

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

5 votes
1 answer
127 views

References for the axiom of surjective comparability

5 votes
0 answers
131 views

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

5 votes
0 answers
157 views

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

4 votes
1 answer
153 views

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

4 votes
0 answers
205 views

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

4 votes
1 answer
262 views

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

3 votes
1 answer
251 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
138 views

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