Timeline for Subtler than meets the eye: does x=y imply forall x forall y x=y?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 29, 2011 at 7:24 | comment | added | GH from MO | I learned Bilaniuk's definition, in particular I learned that the truth of a formula is unchanged by universal closure. How wide-spread is Enderton's definition? | |
| Jul 29, 2011 at 7:15 | history | answered | Andreas Blass | CC BY-SA 3.0 |