Search Results
| 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 large-cardinals
Search options not deleted
user 5697
7
votes
0
answers
492
views
A proposed axiom of Laver (updated)
A few months back, I posted a question asking about a proposed axiom of Laver's and I, unfortunately, left out a critical piece. Here is the full axiom:
(L) Some elementary embedding $j:V_{\lambda+1 …
- 971
9
votes
1
answer
1k
views
Critical points of rank-into-rank embeddings
$\DeclareMathOperator{\crit}{\operatorname{crit}}$A rank-into-rank embedding is a non-trivial elementary embedding from a rank initial segment of $V$ into itself: $j:V_\delta\prec V_\delta$. Define th …
- 971
2
votes
Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for...
Given Victoria's wonderful comment, I wonder if the following small forcing example is relevant to your question. The argument is from Laver's article "Certain very large cardinals are not created in …
- 971
10
votes
1
answer
482
views
Generic Extensions and $L(V_{\lambda+1})$
Suppose $\lambda$ is a strong limit cardinal of cofinality $\omega$ and for $A$ a transitive set, define $L(A)$ in the usual fashion by setting
$$L_0(A)=A;$$
$$L_{\alpha+1}(A) = L_\alpha (A)\cup \mat …
- 971
7
votes
1
answer
494
views
Elementary Embeddings and Relative Constructibility
Suppose $$j:M\prec N$$ is a non-trivial elementary embedding. Under what conditions on the sets (classes?) $M$ and $N$ (or even the critical point of $j$) does $j$ extend to an elementary embedding $$ …
- 971
5
votes
1
answer
590
views
Solovay's Theorem on Partitions of Stationary Sets and Weak Choice Principles
There is a weak choice principle called $DC_\lambda$ which holds in $L(V_{\lambda+1})$ under the assumption of a non-trivial elementary embedding $$j:L(V_{\lambda+1})\prec L(V_{\lambda+1})$$ and it is …
- 971
3
votes
Very Large Cardinal Axioms and Continuum Hypothesis
There are some candidate axioms that are beginning to surface on the internet that appear to have large cardinal characteristics and could potentially settle questions like the CH. If they are consist …
- 971
6
votes
What is the definition of a large cardinal axiom?
While I think I agree with Tim Chow and Joel Hamkins in some of their comments above regarding a single formal definition of what it is to be a large cardinal, I want to suggest that a large cardinal …
- 971