Timeline for Can adding Hilbert's epsilon to a theory, and then expanding that theories axiom schema to include the new language, cause it to become inconsistent?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 17, 2017 at 3:12 | comment | added | Joel David Hamkins | Yes, but the point is that it makes it confusing to say "the answer is no," as I did in my answer. The answer to the question in the post is no, but the answer to the question in the title is yes. | |
| Sep 17, 2017 at 1:42 | comment | added | Noah Schweber | @JoelDavidHamkins Well, any answer to one yields an answer to the other, so ... :P | |
| Sep 16, 2017 at 23:41 | comment | added | Joel David Hamkins | The title question is the opposite of the question asked in the post. | |
| Sep 16, 2017 at 23:15 | vote | accept | Christopher King | ||
| Sep 16, 2017 at 23:07 | answer | added | Joel David Hamkins | timeline score: 8 | |
| Sep 16, 2017 at 21:55 | comment | added | Noah Schweber | @SimonHenry You should post that as an answer, to move this off the unanswered queue. | |
| Sep 16, 2017 at 17:59 | comment | added | Noah Schweber | @SimonHenry Why go all the way to AD - just add $\neg$AC. | |
| Sep 16, 2017 at 17:42 | comment | added | Christopher King | @SimonHenry oh dang, dah! I should probably delete this then, giving how simple that was. | |
| Sep 16, 2017 at 17:38 | comment | added | Simon Henry | Why can't you just take ZF+some axiom inconsistent with choice, like determinacy ? | |
| Sep 16, 2017 at 17:10 | history | asked | Christopher King | CC BY-SA 3.0 |