Timeline for Weakly Compact Cardinal and Iterability
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 23, 2014 at 13:43 | vote | accept | William | ||
| Feb 19, 2014 at 2:34 | comment | added | Rachid Atmai | Very nice answers (both of you Victoria and Joel). The issue of amenability is indeed important. For potential premice having extenders, we want the extenders to be amenably coded in the structure. It allows us to check Los Theorem for $\Sigma_0$ formulas and he satisfaction predicate for $\Sigma_1$ formulas is $\Sigma_1$. | |
| Feb 18, 2014 at 21:35 | comment | added | Joel David Hamkins | No problem! It is great to have fuller information, and I'm glad that you posted... | |
| Feb 18, 2014 at 21:33 | comment | added | Victoria Gitman | Sorry for the redundancies, Joel! I didn't see that you posted more details before I posted my reply. | |
| Feb 18, 2014 at 21:19 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 909 characters in body
|
| Feb 18, 2014 at 21:11 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 909 characters in body
|
| Feb 18, 2014 at 21:06 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 909 characters in body
|
| Feb 18, 2014 at 20:54 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |