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 1946
26 votes
3 answers
2k views

Does ZF+AD settle the original Suslin hypothesis?

Everyone knows that the real line $\langle\mathbb{R},<\rangle$ is the unique endless complete dense linear order with a countable dense set. Suslin's hypothesis is the question whether we can replace …
14 votes
1 answer
809 views

Can a model of set theory be realized as a Cohen-subset forcing extension in two different w...

The question is whether, when you add a Cohen subset to a cardinal $\kappa$, that cardinal becomes a characteristic of the resulting forcing extension $V[G]$. Or can there be strange instances in whic …
30 votes
3 answers
3k views

Can there be an embedding j:V → L, from the set-theoretic universe V to the constructible un...

Main Question. Can there be an embedding $j:V\to L$ of the set-theoretic universe $V$ to the constructible universe $L$, if $V\neq L$? By embedding here, I mean merely a proper class isomorphism from …
10 votes
1 answer
462 views

If $\kappa$ is weakly inaccessible and $A\subset\kappa$, can $L[A]$ violate $\kappa^{\lt\kap...

In some current work, my co-authors and I had wanted in a certain argument to appeal to $\kappa^{\lt\kappa}=\kappa$ in $L[A]$, in a situation where $A\subset\kappa$ and $\kappa$ was weakly inaccessibl …
21 votes
2 answers
1k views

What is the large cardinal strength of the assertion that every $\kappa$-complete filter on ...

It is well-known that an uncountable regular cardinal $\kappa$ is strongly compact if and only if every $\kappa$-complete filter on any set extends to a $\kappa$-complete ultrafilter on that set. The …
2 votes
0 answers
149 views

Does the Lévy collapse obey this nice characterization? [duplicate]

This question is related to an issue in my answer to Monroe Eskew's question on the failure of Cantor-Bernstein for the Lévy collapse. Question. Is the Lévy collapse $\text{Coll}(\omega,\lt\kappa)$ …