Timeline for Why are model theorists free to use GCH and other semi-axioms?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 12, 2016 at 14:35 | comment | added | Alex Kruckman | @RamiGrossberg Indeed! By the way, it should have occurred to me that the questioner might be interested in these slides of John Baldwin's. | |
| Oct 12, 2016 at 13:40 | comment | added | Rami Grossberg | Unfrotunately the organizers deciedd to close this question. I would like to add few remarks. ZFC is an incomplete theory, therefore there are matehmatically interesting statements that are not proveable from it. It is quite reasonable to consider mathematical statements that are consistent with ZFC, perhaps in the (near?) future after ZFC will be replaced or revised they might become theorems. | |
| Oct 9, 2016 at 7:00 | comment | added | Asaf Karagila♦ | @Michael: Abstract Elementary Classes. | |
| Oct 9, 2016 at 5:07 | comment | added | Michael Greinecker | Excuse me, what are AECs? | |
| Oct 9, 2016 at 1:25 | history | answered | Alex Kruckman | CC BY-SA 3.0 |