Timeline for Proofs that use Infinite/Finite Priority Injury Method
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 18, 2011 at 8:10 | vote | accept | user15756 | ||
| Jun 16, 2011 at 14:01 | comment | added | Carl Mummert | Thanks for the info. I was basing my comments on Martin's remarks in the first paragraph of his 1985 paper, where he describes the original argument as a priority argument. But I may be taking that intro paragraph out of larger context, and I'm not familiar with the original argument at all to comment on it. | |
| Jun 16, 2011 at 13:57 | history | edited | Carl Mummert | CC BY-SA 3.0 |
added 77 characters in body
|
| Jun 16, 2011 at 13:44 | comment | added | Andreas Blass | I agree with Carl that an important part of Martin's original proof of Borel Determinacy looks like a priority argument, but (if I remember correctly) Martin himself once told me that he didn't think of it that way. | |
| Jun 16, 2011 at 13:38 | history | answered | Carl Mummert | CC BY-SA 3.0 |