Timeline for why Skolemization?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 7, 2017 at 4:09 | comment | added | Pushpa | Lets do it and call this process "Self-reference-Alvarez-Wolskelization". | |
| Nov 21, 2012 at 21:33 | comment | added | Zack Wolske | @Mariano: Can we call the practice of rebranding those processes Suárez-Alvarezization? | |
| Nov 21, 2012 at 20:59 | comment | added | Mariano Suárez-Álvarez | The ization of names should be banned! | |
| Nov 21, 2012 at 19:58 | history | answered | Andreas Blass | CC BY-SA 3.0 |