Timeline for Feferman's extensional and intensional applications of the method of arithmetization
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 13, 2011 at 6:38 | vote | accept | Marc Alcobé García | ||
| May 12, 2011 at 15:04 | history | answered | Andreas Blass | CC BY-SA 3.0 |