Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 478588

This tag is used if a reference is needed in a paper or textbook on a specific result.

5 votes
1 answer
133 views

References for the axiom of surjective comparability

The axiom $W_\kappa$, for $\kappa$ a cardinal, is the statement that for all sets $X$, either $|X|\leq\kappa$ (that is, there is an injection $X\to\kappa$) or $\kappa\leq|X|$. Is there literature on t …
Calliope Ryan-Smith's user avatar
10 votes
1 answer
327 views

Reference request: The non-productivity of Lindenbaum numbers

For a set $X$, the Lindenbaum number of $X$, $\aleph^*(X)$, is the least non-zero ordinal $\alpha$ such that there is no surjection $X\to\alpha$. It seems to be well-known that for infinite sets $X$ a …
Calliope Ryan-Smith's user avatar
12 votes
1 answer
359 views

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

Are there models of ZFC in which $\mathfrak{r}$ is strictly less than $\mathfrak{s}$? I've not been able to find any forcings that end up with this result. Here $\mathfrak{r}$ is the reaping number $\ …
Calliope Ryan-Smith's user avatar
5 votes
0 answers
135 views

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

I am interested in better understanding the following property: Let us say that an iteration of forcings $\langle\mathbb{P}_\alpha,\dot{\mathbb{Q}}_\beta\mid\alpha\leq\gamma,\beta<\gamma\rangle$ is $\ …
Calliope Ryan-Smith's user avatar
4 votes
1 answer
147 views

Reference request: $\kappa^+$-saturated ideal from iterated Cohen forcing on measurable $\ka...

In Kunen [1] the author makes the following note: Let $\kappa$ be measurable with normal measure $\mathscr{U}$ in a model of $\mathsf{GCH}$. Let $\mathbb{P}$ be an iteration of $\operatorname{Add}(\al …
Calliope Ryan-Smith's user avatar
4 votes
0 answers
222 views

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

I have come across the following notion of (what I am calling) dual ideals, and I am looking for any work in which this notion has been considered, and particularly anything about transferring propert …
Calliope Ryan-Smith's user avatar