Timeline for Foundation scheme for $\Sigma_{n+1}$-formulas
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 24, 2015 at 9:43 | vote | accept | Lawrence Wong | ||
| Feb 24, 2015 at 9:38 | answer | added | Lawrence Wong | timeline score: 1 | |
| May 9, 2014 at 16:08 | comment | added | Lawrence Wong | @WeiWang: this was also the first idea that came to my mind, but it does not seem to work out: see my latest edit to the question. I am sorry for being quite messy in the descriptions there, but organizing ideas that do not work out is really quite hard. | |
| May 9, 2014 at 15:59 | history | edited | Lawrence Wong | CC BY-SA 3.0 |
Described some attempts
|
| May 9, 2014 at 1:48 | comment | added | Wei Wang | Perhaps a silly question: when applying 4.5, how about starting with $M$ modelling $\Sigma_{n+1}$-foundation (and enough collection)? | |
| May 7, 2014 at 19:31 | comment | added | Lawrence Wong | @WeiWang: I included a rough translation in the question as requested. It is probably not a good translation since I am rather bad at French, but I hope it helps. | |
| May 7, 2014 at 19:28 | history | edited | Lawrence Wong | CC BY-SA 3.0 |
Included translation
|
| May 7, 2014 at 15:19 | comment | added | Wei Wang | Lawrence, could you please translate the French to English? | |
| May 4, 2014 at 16:17 | history | asked | Lawrence Wong | CC BY-SA 3.0 |