Timeline for Constructing a model of $\mathrm{DCF}_0$ via forcing
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2019 at 5:55 | history | bounty ended | Noah Schweber | ||
| Jun 15, 2019 at 5:47 | comment | added | Asaf Karagila♦ | @Noah: And frankly, I first thought that $\Bbb C$ was Cohen forcing... :| | |
| Jun 15, 2019 at 5:14 | vote | accept | James E Hanson | ||
| Jun 15, 2019 at 0:59 | history | edited | James E Hanson | CC BY-SA 4.0 |
Fixed notation collision
|
| Jun 15, 2019 at 0:59 | comment | added | Noah Schweber | Oof. FWIW I think renaming objects in quotations is fine (as long as you indicate that you've done so). Another thing I've seen is to have models of set theory replaced with either blackboardbold, fraktur, or genuine bold; the former looks nicest IMO, but clashes with the forcing font. | |
| Jun 15, 2019 at 0:58 | comment | added | James E Hanson | It's worse than that the next letter they use for fields after $L$ is $M$. | |
| Jun 15, 2019 at 0:56 | comment | added | Noah Schweber | +1, but you probably shouldn't overload "V" like this. | |
| Jun 14, 2019 at 22:48 | history | edited | James E Hanson | CC BY-SA 4.0 |
added 1 character in body
|
| Jun 14, 2019 at 22:34 | history | edited | James E Hanson | CC BY-SA 4.0 |
added 83 characters in body
|
| Jun 14, 2019 at 22:08 | history | edited | James E Hanson | CC BY-SA 4.0 |
Additional question
|
| Jun 14, 2019 at 21:59 | history | answered | James E Hanson | CC BY-SA 4.0 |