Timeline for Can transfinite induction be defined as axiom scheme in FOL on bin-tree structures?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 8, 2011 at 11:06 | history | edited | Emil Jeřábek | CC BY-SA 3.0 |
link and clarification
|
| Apr 8, 2011 at 10:51 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |