Timeline for Forcing over models without the axiom of choice
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 26, 2011 at 23:15 | comment | added | Noah Schweber | Actually, now that I look at it a bit more carefully (and with coffee), I'm not sure this is what you're looking for, although I think you probably will find it interesting. I don't think Friedman spends much time really getting into what happens when AC fails; I think he just works in a little more generality than, say, Kunen. Still, it might be helpful. | |
| Sep 26, 2011 at 19:39 | comment | added | Asaf Karagila♦ | The online catalog of the local library shows the copy is on the shelf somewhere in the library. I'll go look at it tomorrow and let you know how 'spot on' this suggest was. Thanks! | |
| Sep 26, 2011 at 18:52 | history | answered | Noah Schweber | CC BY-SA 3.0 |